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.

İade Şartları

Değerli Müşterilerimiz;

Satın aldığınız ürünü, kargodan teslim aldığınız günden itibaren 7 gün içinde Kitapsec.com’ a başvuruda bulunarak aşağıdaki koşullar dahilinde iade edebilirsiniz.

İadelerinizle Alakalı Her Türlü Sorularınızda www.kitapsec.com Adresinin Size Atamış Olduğu Sipariş Numarasını Örneğin: (Siparişlerim Bölümündeki Sipariş ID:43525) Belirtmeniz Gerekmektedir.

Kitapsec.com tüketici lehine hareket etmeyi, her türlü sorunu yasaca belirlenmiş süreden daha erken ve kalite politikasına uygun olarak çözmeyi temel ilke edinmiştir.

• Kitapsec.com ‘dan satın alınan ürünler, teslim tarihinden itibaren (7) gün içerisinde değişim yapabilmektedir.

• Bir ürünün iade edilebilmesi genel olarak aşağıdaki şartlara bağlıdır:

• Satın aldığınız ürünleri tahrip etmeden, kullanmadan ve ürünün tekrar satın alabilirliğini bozmadan, teslim tarihinden itibaren yedi (7) günlük süre içinde neden belirterek iade edebilirsiniz.

• Kullanılmış, ambalajı açılmış, tahrip edilmiş vb. şekildeki ürünler iade edilemez.

• Görüntülü DVD, Flash Disk görüntülü Eğitim Setleri vb. için; ürün kutusunda yer alan koruma bandı çıkarılmamış olmalıdır. Ürünlerin diğer yerlerinde çizik, hasar, darbe, sıvı teması vs. olmamalıdır.

• Orijinal ambalaja sahip ürünlerin iadesi, orijinal ambalaj ile yapılmalıdır.

• İade edilecek ürünün şirketimiz adına kesilecek bir iade faturası ile iade faturası düzenleme imkanı bulunmayan durumlarda, ürüne ait fatura ve sevk irsaliyesinin aslıyla birlikte iade edilmesi gerekmektedir. İade faturası ya da fatura ve sevk irsaliyesi asıllarının temin edilemediği durumlarda, bundan kaynaklanan KDV vb. mali yükümlülükler iade edilecek bedelden indirilir.

• Üründe ve ambalajında herhangi bir yazı yazma, açılma, bozulma, kırılma, tahrip, yırtılma, kullanılma vb. durumlar tespit edildiği hallerde ve ürünün müşteriye teslim edildiği andaki hali ile iade edilememesi durumunda, ürün iade alınmaz ve bedeli iade edilmez.

• İade şartlarına uygun durumlarda yapılan gönderimlerde taşıma masrafı müşteri tarafından ödenecektir.

• İade edilecek ürünler PTT kargo ile kurumumuzdan aldığınız iade mağaza koduyla gönderilmelidir.

• Baskısında hata bulunan, eksik, fazla veya yanlış basılmış ürünlerin iadesinde kargo ücreti geliş ve gidiş olarak www.kitapsec.com`a aittir.

• Siparişin yanlış gönderilmesinden kaynaklanan değişimlerde kargo ücreti geliş ve gidiş olarak www.kitapsec.com’a aittir.