Kurt Gödel
Mantıkçı
Genel bilgiler
Kurt Gödel (28 Nisan 1906 — 14 Ocak 1978), Avusturyalı-Amerikalı mantıkçı, matematikçi ve matematik felsefecisidir.
Kendi ismiyle anılan Gödel'in Eksiklik Teoremi ile tanınır. Aristoteles'ten bu yana en büyük mantıkçılardan biri olarak kabul edilir.
Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır. Bunun için ise Gödel numaralandırması ismi verilen bir metot geliştirmiştir.