图灵机批判与量子计算

h
heteroclinic
楼主 (未名空间)

电子管与集成电路计算机最擅长的是重复,处理函数和可以正则表达的套路“。”。

以前我在programming 版探讨过,图灵机能解决的问题,一涉及到时间就不自洽了。自然界有还有无穷的问题没有更好的理解,时间就是其一。时间充满了漏洞。比如闰年,甚至闰秒的问题。哪怕是计算机专业的学生甚至有若干年的经验的软件工程师,真正尝试理解时间函数和人类的calendar历史我觉得不超过千分之一。比如说两亿年前恐龙如何如何,那么漏洞就是年是最近2000年左右的概念,误差的漏洞要几百万年左右。又说铯原子计时,来衡量宏观的宇宙,那么铯原子的振动频率在宇宙初期就相对天体运动不变么?

进一步,我尝试谈到不变性的问题invriance.不变性就是物理规律不随时间变化而变化,比如绝对零度的推到,在室温下,PV=nRT导出数轴的一个交点,有点忘记了严格的推导。“在室温的情况下”,实在地球上看似随意的一个严格限定,但又是negotiable,
你要拿来较真就是哲学问题了,信就可以用来设计发动机,锅炉水泵。较真较到亚原子的
级别,我就完全不懂了。

举一个现实生活的例子,比如奥运会或者赛马,某种化学成份被认为是有害的兴奋剂禁物,而且有一定的回溯期。那么若干年以前的比赛成绩就要被取消。这是一个规律可变性的活生生例子。物理上的微观粒子是什么样的属性呢?我只能说以我的理解不知道。

图灵机解决时间的问题是很有待商榷的,赛马禁赛取消成绩,是在现实的财务、审计、交易系统、健保计划经常出现的问题。

对于量子计算,我理解是希望通过粒子类似布朗运动,通过对大量样品的筛选,满足预期的要求。这个理解太民科。但是我还是两个问题,一是筛选条件的复杂性,而是粒子运动规律的不变性。

认知可以有限,对神学的盲从是可怕的。

Y
Yellen

民科你好
S
SnowDen

现代计算机叫冯架构,是一个姓冯的老中设计的。

图灵机是人工智能的蓝图,风马牛不相及。。。
l
laodongzhe

你还是没学好,那个明明是二马结构。姓马的都很牛逼,譬如马克思,马斯克,马明宇,马保国,。。。
【 在 SnowDen (叔就是陈光诚) 的大作中提到: 】
: 现代计算机叫冯架构,是一个姓冯的老中设计的。
: 图灵机是人工智能的蓝图,风马牛不相及。。。

h
heteroclinic

比较小心依一的回一句,图灵的贡献还是说编译器清楚编译成功的条件吧,我是搞计算机图形的,这门课学的不好不过学了两三遍
图灵的贡献,不应该因为他个人有什么取向被无限夸大吧?

一说解旖旎格玛了,但是又说美国还是英国的船长活捉了一整船uboat,搞不好带着密码本投诚的。当然就算有算法,改了iv也不好破译。不懂。就是说觉得造神造的有点hype。神都没想当神,hype得都拉稀了。

【 在 SnowDen (叔就是陈光诚) 的大作中提到: 】
: 现代计算机叫冯架构,是一个姓冯的老中设计的。
: 图灵机是人工智能的蓝图,风马牛不相及。。。

s
stm32

图灵机解决啥问题了,设计了寄存器?

现代计算机就是状态机,不用图灵计算机也会设计成这样,因为生活里到处都是状态机

h
heteroclinic

如果我没记错,逻辑应该是笛卡尔公式化的,图灵搞了更复杂的符号分析,并且给出变量迭代停止的条件。
【 在 stm32 (www) 的大作中提到: 】
: 图灵机解决啥问题了,设计了寄存器?
: 现代计算机就是状态机,不用图灵计算机也会设计成这样,因为生活里到处都是状态机

s
stm32

他就弄了个抽象模型,就像易经一样

图灵因为同性恋所以被追捧

真的计算机,还是冯诺依曼型计算机

【 在 heteroclinic (asymptotically stable) 的大作中提到: 】
: 如果我没记错,逻辑应该是笛卡尔公式化的,图灵搞了更复杂的符号分析,并且给出变
: 量迭代停止的条件。

h
heteroclinic

I am vely sure we will make greater achievement next sprint
【 在 stm32 (www) 的大作中提到: 】
: 他就弄了个抽象模型,就像易经一样
: 图灵因为同性恋所以被追捧
: 真的计算机,还是冯诺依曼型计算机