24 Saatte Kargoda |
Siparişleriniz aşağıda belirtilen şartlar dâhilinde, 24 saat içinde ilgili kargo firmasına teslim edilmektedir. Hafta içi saat 17.00'ye kadar verilen siparişlerde geçerlidir. Cumartesi-Pazar ve resmi tatil günlerinde alınan siparişlerde geçerli değildir. Saat 17.00'den sonra verilen; ödemesi veya onayı 17.00'den sonra yapılan siparişler ertesi gün işleme alınır. Sepetteki tüm ürünlerin "24 Saatte Kargoda" taahhütüne sahip olması gerekmektedir. Stoklu ürünlerde, sonradan tespit edilecek ürün kusurları sebebiyle gecikme yaşanabilir. İade veya iptal gibi işlemler sebebiyle düzenlenen siparişlerde geçerli değildir. 24 saat içinde kargo firmasına verilen siparişlerin adrese teslim süresi, kargo firmasına ve teslimat adresine göre değişebilmektedir. Mücbir sebep halleri saklıdır. KitapSeç bu taahhütte değişiklik yapma hakkını saklı tutar. |
Gödel Kanıtlaması Alfa Yayınları |
|||
|
|||
|
|||
|
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 olarak kanıtlanabilen önermeler oldukları, dolayısıyla matematikte kesinlik ve tutarlılığın tam olarak egemen olduğu kabul edilmişti. Gödel bu kabullerin ve beklentilerin sanıldığı gibi sağlam olmadığını yine matematikten yola çıkarak kesin olarak kanıtlamıştır. Whitehead ve Russell’ın matematiğin mantıksal temelleri konusundaki anıtsal çalışması olan Principia Mathematica’yı ele alarak, temellerin hep eksik kalacağını göstermiştir. Gödel, doğal sayılar aritmetiğini kapsayan bir biçimsel dizgede, karar verilemeyen önermeler olduğunu kanıtlamıştır; yani bu önermeler ne kanıtlanabilirler ne de bunların biçimsel değillemeleri kanıtlanabilir. Ama öte yandan, bu karar verilemeyen önermelerin doğru oldukları üst-matematiksel akıl yürütmelerle gösterilebilir. Ayrıca Gödel, doğal sayılar aritmetiğini kapsayan bir biçimsel dizgenin tutarlılığının, bu dizgenin içinde kanıtlanamayacağını da kanıtlamıştır. Gödel’in çalışmalarının sonuçları matematiğin kendi içsel sınırlılıkları olduğunu ortaya koymuştur.
Kategoriye Ait En Çok Satan Ürünler |
||||||||||||||||||||||||||||||||||||||||||||
|