Systems of Logic Based on Ordinals

Alan Turing: Bilimin ve Teknolojinin Öncüsü olmayı başarmış dahi bir bilim insanıdır. Modern bilgisayar biliminin ve yapay zekanın temellerini atan İngiliz matematikçi, mantıkçı ve kriptolog olarak tarihe geçti. Turing, 20.yüzyılın …