Kurt Gödel: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Senior Nora (mesaj | katkılar) Değişiklik özeti yok Etiketler: Mobil değişiklik Mobil ağ değişikliği Gelişmiş mobil değişikliği |
Senior Nora (mesaj | katkılar) Değişiklik özeti yok Etiketler: Mobil değişiklik Mobil ağ değişikliği Gelişmiş mobil değişikliği |
||
25. satır:
| ek_bilgi =
}}
'''Kurt Gödel''' (28 Nisan 1906 - 14 Ocak 1978), [[Avusturyalılar|Avusturyalı]]-[[Amerikalılar|Amerikalı]] mantıkçı, [[matematik]]çi ve matematik felsefecisidir. Kendi ismiyle anılan [[Gödel'in Eksiklik Teoremi]] ile tanınır.<ref>{{Web kaynağı|url=https://www.britannica.com/biography/Kurt-Godel|başlık=Kurt Gödel {{!}} American mathematician {{!}} Britannica|erişimtarihi=2022-04-12|dil=en|çalışma=www.britannica.com}}</ref> [[Aristoteles]]'ten bu yana en büyük mantıkçılardan biri olarak kabul edilir.<ref>{{Web kaynağı|url=https://www.britannica.com/biography/Kurt-Godel|başlık=Kurt Gödel {{!}} American mathematician {{!}} Britannica|erişimtarihi=2022-04-12|dil=en|çalışma=www.britannica.com}}</ref>
Teoremlerinde [[tam sayılar|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. Meşhur teoremini [[Viyana]] Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20. yüzyıl matematiğinin yönünü değiştirmiştir.
| |||