Akış
Ara
Ne Okusam?
Giriş Yap
Kaydol

Ernest Nagel

Ernest NagelGödel Kanıtlaması yazarı
Yazar
9.3/10
8 Kişi
45
Okunma
4
Beğeni
834
Görüntülenme

Hakkında

Unvan:
Filozof, Yazar
Doğum:
Slovakya, 16 Kasım 1901
Ölüm:
New York, ABD, 20 Eylül 1985

Okurlar

4 okur beğendi.
45 okur okudu.
1 okur okuyor.
28 okur okuyacak.
1 okur yarım bıraktı.
Reklam

Sözler ve Alıntılar

Tümünü Gör
Sicim teorisi çalışırken beynim :D
Arı matematik, ne neden söz ettiğimizi, ne de söylediklerimizin doğru olup olmadığını bilmediğimiz bir alandır.³
3 Mistisizm ve Mantık [ -Çev.]
Matematiği özetle deseler :
Temel geometriyi öğrenmiş olan herkes onun tümdengelimli bir bilim kolu olarak öğretildiğini anımsayacaktır. Temel geometri, teoremleri gözlemlerle uyum içinde olsa da, deneye dayanan bir bilim olarak sunulmamıştır. Bir önermenin açık mantıksal kanıtlamaların bir sonucu olabileceği anlayışı, "aksiyomatik yöntem" diye bilinen yöntemi bulan ve bu yöntemi dizgesel bir biçimde geometriyi geliştirmek için kullanmış olan Eski Yunanlılara kadar geri gitmektedir. "Aksiyomatik yöntem", bazı önermelerin kanıtlanmaksızın aksiyom ya da postulat olarak kabul edilerek (Örneğin, "Bir noktadan başka bir noktaya ancak bir tek doğru çizilebilir" aksiyomu), dizgenin diğer tüm önermelerinin bu aksiyomlardan teorem olarak türetilmesidir. Aksiyomlar dizgenin "temellerini" oluştururlar; teoremler de "üstyapıyı" oluşturur ve mantık ilkelerinin yardımıyla aksiyomlardan elde edilirler.
Reklam
Eukleides-dışı geometrilerin ortaya çıkması hem bilgi felsefelerini alt üst etmiştir, hem de matematikte asıl önemin içerikten önce biçime verilmesi gerektiğini öne çıkarmıştır. Nitekim Eukleides-dışı geometrilerden sonra, kusursuz bir biçimselliğin sağlanması arı matematiğin en önemli konusu oluyor ve aksiyomların içerik olarak doğru olma fikri, yerini, biçimsel olarak tutarlılık fikrine bırakıyor. Matematikte asıl önemin içerikten önce biçime verilmesi gerektiği fikrinin, XIX. yüzyılın sonlarına doğru tüm sanatsal ifade biçimlerindeki soyuta ve biçime yönelmeyle de ilişkilendirilebileceğini sanıyorum. Matematikte biçime verilen önemle, "matematik için matematik" yapmakla, "sanat için sanat" yaklaşımı arasında bir koşutluk kurulabilir. 1870'lerden sonra şiirde, plastik sanatlarda ve müzikte ortaya çıkan içerikten önce biçime yönelen soyut ifade biçimleriyle, matematikte ve bilimsel yaklaşımda öne çıkan anlayış değişikliği bir bütün olarak değerlendirilebilir..
Matematiksel fiziğin doğuşu :)
Gödel'in çalışmasından çıkan genel sonuç matematiğin mutlak sınırlarının çizildiği anlamına gelmiyor. Kendisi de bir Platoncu Gerçekçi olan Gödel'in açısından değerlendirerek şu yorum getirilebilir: Eğer matematiksel nesneler bizim tanımlarımızdan ve inşamızdan bağımsız olarak varsalar, matematikte karar verilemezliğe, tam olmamaya neden, matematiğin kendinden, kendi nesnelerinden gelen bir şey olmayabilir. Sorun bizim matematiğin nesnelerini aksiyomatikleştirmemizdeki sınırlardadır.
Bülent Gözkân
Gödel'in ulaştığı sonuç iki yönlüdür. İlkin tüm aritmetiği kapsayacak ölçüde kapsamlı bir dizgenin tutarlılığının üst-matematiksel bir kanıtlamasını vermenin olanaksız olduğunu göstermiştir... Gödel'in ulaştığı ikinci ana sonuç daha da şaşırtıcı ve devrimcidir; çünkü aksiyomatik yöntemin gücü için temel bir sınırlandırma olduğunu kanıtlamaktadır. Gödel, Principia'nın veya içinde aritmetiği geliştirilebileceği herhangi bir dizgenin özsel olarak tamamlanmamış olduğunu göstermiştir.
Sayfa 78
Henüz kayıt yok

Yorumlar ve İncelemeler

Tümünü Gör
Reklam
136 syf.
9/10 puan verdi
·
11 günde okudu
Şu anda okuyacağınız bu incelemeyi beni yazmaya iten iki sebep bulunmakta. Birincisi ilk duyduğum zamanlar oldukça ilgimi çeken bir teoremin ispatına ilişkin yazılara ve kitaplara bakarak bu kitabı bulmam ve beğenmiş olmam. İkincisi ise az sonra… “Gödel Kanıtlaması” adından da anlaşılacağı üzere Kurt Gödel’in 1931 yılında yayımlanan makalesine
Gödel Kanıtlaması
Gödel KanıtlamasıErnest Nagel · Alfa Yayınları · 202039 okunma
136 syf.
6/10 puan verdi
Sayılar
Gödel kanıtlamasının üzerine yazılmış anlaşılır bir kitap yorumlaması bazı yerlerde yetersiz kalıyor fakat biçimsel dizgenin tutarlılığını, bu dizgenin içinde kanıtlanamayacağını da kanıtlamasını harika ele alıyor. Genel olarak çürütme ve yerini doldurma üzerine ilerleyen bir süreç.
Gödel Kanıtlaması
Gödel KanıtlamasıErnest Nagel · Alfa Yayınları · 202039 okunma