SayılarMatematik
Gödel kanıtlamasının üzerine yazılmış anlaşılır bir kitap yorumlaması bazı yerlerde yetersiz kalıyor fakat biçimsel dizgenin tutarlılığını, bu dizgenin içinde kanıtlanamayacağını da kanıtlamasını harika ele alıyor. Genel olarak çürütme ve yerini doldurma üzerine ilerleyen bir süreç.
·
100 Gösterim
Yorumlar
Lütfen giriş yapınız.