bugün

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 * *
© 2005 – 2026 uludagsozluk.com