Alan TuringDönem: 1912 – 1954Alan: Matematiksel Mantık / Hesaplanabilirlik / Bilgisayar Bilimi 1. Gödel’den Sonra Sorulan Yeni Soru Kurt Gödel, matematiğin sınırlarını göstermişti:Her doğru ifade, sistem içinde ispatlanamazdı. Bu sonuçtan sonra mantık dünyasında yeni bir soru doğdu:… Alan Turing – Mantığın Makineye Dönüşmesi Mantık Serisi – Bölüm 6