20. yüzyıl matematiksel mantık tarihinin en önemli olayı Kurt Gödel'in matematiğin temelleri hakkında kanıtladığı teoremlerdir. Kesinlik, tutarlılık, tamlık gibi niteliklerin matematiğe yüklenmesinin en önemli nedeni, matematiğin aksiyomlardan türetilen doğru önermelerinin, yani teoremlerin kesin olarak kanıtlanabilir olmasıydı. Böylece doğruluk ve kanıtlanabilirlik örtüştürülüyordu. Matematiğin teoremlerinin doğru iseler doğrulukları kesinlikle kanıtlanabilen, doğru değilseler yine doğru olmadıkları kesin
Toplam 1 kayıt bulunmuştur
Gösterilen 1-20 /
Aktif Sayfa : 1
Sitemizden en iyi şekilde faydalanabilmeniz için, amaçlarla sınırlı ve gizliliğe uygun şekilde çerez konumlandırmaktayız. Çerezleri nasıl kullandığımızı incelemek ve öğrenmek için Çerez Politikamızı inceleyebilirsiniz.