涂林本事 不可計算的一生功業
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
DOI
Abstract
.涂林以涂林機模型的觀點掌握可計算性的意義，而涂林機最後走出另一條歷史別徑，發展成日後的電腦。實際製作電腦的馮諾曼將此歸功於涂林。
.如同哥德爾不完備定理，涂林發現任何具有合理強度的數學理論都是不可判定的，亦即其中都包含了不可計算的定理，挫敗希爾伯特的樂觀思想。
.涂林晚期仍深入思考現實世界的問題，發展型態發生學的理論，解釋型態突現的機轉。另外更發展體稟與人造智慧的想法，發明影響深遠的涂林測試．