kurt godel

mantıkçı, matematikçi ve matematik felsefecisidir.
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.
(bkz: Eksiklik Teoremi)

detaylı bilgi için;
http://tr.wikipedia.org/wiki/Kurt_G%C3%B6del * *
© copyright 2005 - 2026