kurt gödel

matematik sistemlerin daima, sistem içinde kanıtlanması veya tersinin kanıtlanması mümkün olmayan cümlelerden oluştuğunu göstermiştir.

şu an çaylak olduğum için başlık açamıyormuşum.burdan devam.(bkz:gödel escher bach)fıldır fıldır aradığım bulduklarımın ise fiyatının çok olmasından dolayı elime -henüz-geçmemiş olan kitaptır.matematik,müzik,felsefe,yapay zeka konularını ele alan multidisipliner manyak bir yapıttır.silmarillon bir geb iki.bu iki kitaba bulaşılmadan diğer tarafa göçmemeli.sanat inceliğini matematik ve yapay zekayı felsefeyle de harmanlayarak bizlere sunmuştur.ingilizcesinin okunması tavsiye edilir.kitap hakkında konuşmak isteyen varsa ulaşabilir bana.

1906/1978 yılları arasında yaşamış avusturya/ amerikalı mantıkçı/ filozof ve matematik felsefecisi.

en büyük mantıkçılardan biri kabul edilir.
gödel'in eksiklik teoremi ile tanınmıştır.


kitabı

tamamlanmamışlık kurâmı

kurt gödel'in sadece eksiklik teoremleriyle ünlü olması birçok insan için oldukça tatmin edici olurdu. ancak en önemli çalışmalarından bazıları şunlardır:

- eksiklik teoremi (modern mantığın temel sonuçlarından biri)
- zf'in tutarlılığının zfc+ch'nin tutarlılığını gerektirdiğini kanıtlaması (aksiyom seçimle ilgili onlarca yıl süren endişelerin sona ermesine ve modern küme teorisinin temel bir parçası olan yapılabilir hiyerarşi l'nin tanıtılmasına yol açtı)
- klasik mantığın yapıcı mantığa gömülebileceğini kanıtlaması (yapısalcı endişeleri sona erterek klasik mantığın tutarsız olabileceği endişesini sona erdirmiştir.)
- ayrıca genel görelilikte de bazı önemli katkılarda bulunmuştur.

bu kayıtlarına dayanarak onu tüm zamanların en büyük matematikçisi olarak adlandırmak bana aşırı görünüyor (ve daha önce hiçbir kişinin bunu iddia ettiğini duymadım), ancak kesinlikle 20. yüzyılın büyük matematikçilerinden biri olmasını sağlıyor.