和姜咏江老师讨论图灵机与冯·诺伊曼机的区别

姜老师的博文：

《图灵与冯·诺伊曼的区别》 姜咏江

本文引用地址：http://blog.sciencenet.cn/blog-340399-860479.html  转载请注明来自科学网博客，并请注明作者姓名。

和姜老师探讨：

《图灵的秘密-他的生平，思想及论文解读》一书还没看完且对纯数学而言，俺数学基础只是高中水平，因此俺下面的认识必有不少错误之处，望指正。


1)"最早人们将机器的工作主要放到数学计算上，因而数学计算是焦点。图灵机解决的正是这个问题。在冯诺依曼计算机中，一种数学计算已经变成了一条指令。"
================================
[a]就数学家来说，最大的问题就是如何证明数学定理在"无限"上也正确(无矛盾)，大家都学习过的一个基本方法就是数学归纳法。但数学归纳法的使用很依赖问题(要证明的数学定理)和技巧。
[b]大数学家康托将对无限的探讨映射到了实数上(康托的连续统)，因此，对数学家而言，讨论实数中的问题就是讨论"所有"无限问题，这也是为何作为外行的俺看得到的当时文章多是关于数的。而大数学家希尔伯特提出的20世纪的23个23个最重要的数学问题中第一个就是关于数(康托的连续统基数问题)，第二个就是关于计算(算术公理系统的无矛盾性)的。故，作为当时焦点的数，并不是一般人所理解的"数学计算"中的数。
[c]图灵是数学家，而非计算机科学家(这样说