KURT GÖDEL
(1906-19..)
Avusturya asıllı Amerikan mantıkcısı ve matematikçisidir. Princeton Üniversitesinde Principia Mathematica'nın Benzeri Sistemlerin Formel Hükme Bağlanamayan Önermeleri Üstüne yazılar yazdı. Buradaki iki teoremin yazarıdır. Bu önermelere göre, çelişkisiz bir aritmetik eksiksiz olamaz; çelizmezlik sistemde kararsızlığa yol açan bir önermedir. Modern mantığın kurucusudur.
Kaydol:
Kayıt Yorumları (Atom)
Hiç yorum yok:
Yorum Gönder