Kurt Gödel
Gödel, sınırlı sayıda aksiyom ve çıkarım kurallarından oluşan biçimsel sistemlerin, hiçbir zaman matematiksel gerçeklerin tamamını kapsamakta başarılı olamayacağını göstermiştir.
·
57 views
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.