Genel ve Özel İfadeler

Birçok aksiyom hipotez doğurur. Ama bir aksiyomu tek bir şey doğurur; çünkü aksiyom hipotez gibi bir şeyin resmi değildir. Ya bir şeyin (nesnenin) resmini yaparız, aksiyomları bunun için kullanırız. Ya da aksiyomlardan bir resim oluştururuz: Herhangi bir şeyin resmi olmayan bir resim. Bu teoremdir.Bir teorem verilmişse, söz konusu aksiyomlardan elde
edilebiliyor mu? Verili resim parçacıklarından o resim yapılabiliyor mu, buna bakılır.
Bu, ispat yöntemidir. Teorem bir totolojidir. Hipotez ise yanlışlanabilirdir.
Yanlışlanamasa bile bunu sonradan bilebiliriz teoremin aksine. Aksiyom da bir totolojidir.
Ama aksiyom ispatlanamaz; a=a ispatlanamaz.

Dil: Türkçe
ISBN: 9789944126533
Sayfa Sayısı: 128
Boyutları: 12,0 x 19,5 cm
Basım Tarihi: 2008 - Nisan
Konu: Türkçe Kitap - Felsefe - Düşünce - Genel Felsefe