Gödel Kanıtlaması
Gödel Kanıtlaması

Gödel Kanıtlaması (9786254491849)

0,00
Yayınevi - Tedarikçi : Alfa Yayınları
İndirim Oranı : %10 İndirim
Fiyat : ₺85,00
İndirimli : ₺76,50
Stoklarda Bulunan Adet : 2
Barkod : 9786254491849

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. “Hiç kuşku yok ki, benim ortaya çıkardığım çalışma bir yanıyla, Nagel ve Newman’ın kitabından kaynaklanmıştır.” –Douglas R. Hofstadter, Gödel, Escher, Bach’ın yazarı ‘Gödel’in kanıtlaması üzerine yazılmış en iyi kitap.” –Scientific American “Olağanüstü bir yorumlama.” –Nature K Tanıtım MetniTanıtım Metni
Yayın Evi
Alfa Yayınları
Cilt Bilgisi
Ciltsiz
Ürün Tipi
Kitap
Baskı Durumu
Satışta
Baskı Sayısı
1.Baskı
Basım Tarihi
Aralık 2020
Sayfa Sayısı
136
Kitap Boyutu
13,50 x 21,00 cm
Kağıt Cinsi
2.Hamur
Çevirmen
Bülent Gözkan
Yayın Dili
Türkçe
AZ ÖNCE SİPARİŞ VERİLEN ÜRÜNLER
BU ÜRÜNE BAKANLARIN SEPETİNE EKLEDİKLERİ
EKSTRA İNDİRİMLİ ÜRÜNLER
SON BAKTIĞINIZ ÜRÜNLER
 
GERÇEK STOK ADETLERİ HIZLI KARGO İMKANI
ŞİMDİ SİPARİŞ VERİN %10 MÜPTELA PUAN KAZANIN!
SİPARİŞ VERİN SEPET ALTIHEDİYE FIRSATLARINI KAÇIRMAYIN
ÖDEMENİZİ KREDİ KARTI, EFT YA DA KAPIDA YAPABİLİRSİNİZ
Cem Şahin

Sivas doğumlu olan Cem Şahin, 2005 yılından bugüne yazılı ve görsel meydanın içinde yer almaktadır.

Cem Şahin’in Gölge, 129, Tamu isimli polisiye romanları ve kendi düzenlediği boyama kitabı bulunmaktadır. Ayrıca, Kitap Müptelası ve Müptela Dükkan’ın kurucusudur.

Devamı
Turan Ekinci

1967 yılında beş çocuklu bir ailenin üçüncü çocuğu olarak Tokat’ta doğdu. İlk ve orta öğrenimimi Tokat’ta tamamladı. Turizm İşletmeciliği ve Otelcilik ve Halkla İlişkiler Yüksekokul eğitimlerini aldı.

Kamuda 25 yıl hizmetten sonra emekli oldu.

Devamı
Deniz Uysal

1964 yılında Ankara'da doğdu.

Marmara Üniversitesi Atatürk Eğitim Fakültesi Tarih Öğretmenliği bölümünden mezun oldu, otuz altı yıllık tarih öğretmenidir.

Devamı
İnanç Özgen

İnanç Özgen, 1974 yılında Elazığ'da doğdu.

Halen bir devlet üniversitesinde öğretim görevlisi olarak çalışmaktadır.

Devamı
Abbas Turan

Abbas Turan, 1968 yılında Sivas'ın Yıldızeli İlçesi Sarıkaya Köyü'nde doğdu.

Altı yıl boyunca yatılı olarak okuyarak eğitimini tamamladı.

Devamı
Kemal Doğan

Kemal Doğan, 1970 yılında Sivas'ta dünyaya geldi Evli ve 3 çocuk babasıdır.

Sivas merkeze bağlı Kavak Köyü'ndendir.

Devamı
Dilek Olgun

Dilek Olgun, 1991 yılında Üsküdar'da doğdu. Dilek Olgun, astroloji, numareoloji alanında uzmanlığına devam etmektedir.

Devamı
Nermin Güday Kaçar

Yazar 1969 Bolu doğumludur. Duru ve Uras adlı iki torunu vardır. Emekli memurdur. Ayrıca resim çalışmaları da yapmaktadır.

Devamı
Faruk Güzel

1 Eylül 1981 Ankara Şereflikoçhisar doğumludur. Asıl mesleği muhasebeciliktir.

Devamı
Gamze Kurban

09.08.1986 Ankara doğumludur. 2004 yılında Kırıkkale Üniversitesi Hukuk Fakültesine girdi. 2008 yılında mezun oldu. 2009 yılından bu yana Ankara Barosu'nda serbest avukatlık yapmaktadır.

Devamı
PAYLAŞ:
cultureSettings.RegionId: 0 cultureSettings.LanguageCode: TR
Çerez Kullanımı

Sizlere en iyi alışveriş deneyimini sunabilmek adına sitemizde çerezler(cookies) kullanmaktayız.