Alan Mathison Turing(1912~1954)
1.解決了希爾伯特(David Hilbert 1862~1943)的判定性問題(Entscheidungs problem)。
1928年,Hilbert在國際數學家會議上呼籲數學家研究數學的基礎。他特別指出:1.數學是否完備(complete)? 2.數學是否相容的(consistent)? 3.數學是否可判定的(decidable)?
1931年,Godel:「對於明確建構起來的形式化算術理論系統而言，如果這個系統是相容的，那麼它就不可能是完備的。」
會不會有一種"機械程序"，把它用在數學命題上時，能辨識此命題在系統裡能否得證?
1935年,涂林寫出"On computable numbers,with an application to the Entscheidungs problem"，確定了可計算性理論。堪稱計算機科學之父。
2.密碼學
3.1952年，Alan Turing發表"形態生成的化學基礎"，借用化學的反應-擴散系統建立研究形態生成的數學模型。
The Chemical Basis of Morphogenesis 1952(down loaded from http://plus.maths.org/content/decoding-da-vinci)
Turing模式在現實世界裡最好的例子就是B-Z反應---同心圓與旋轉的螺線 。
Alan Turing與形態生成 費伯納西葉序(Fibonacci phyllotaxis)
用Turing方程式模擬台灣瓢蟲的斑紋與豹紋----------動手玩碎形 p.242
4.非線性動力學
紀念館 Alan Turing(1912~1954)