Gödel Paradoksu ve Kanıtlanması

Gödel'in Tamamlanmamışlık Kuramı

Rebecca Goldstein

En Yeni Gödel'in Tamamlanmamışlık Kuramı Sözleri ve Alıntıları

En Yeni Gödel'in Tamamlanmamışlık Kuramı sözleri ve alıntılarını, en yeni Gödel'in Tamamlanmamışlık Kuramı kitap alıntılarını, etkileyici sözleri 1000Kitap'ta bulabilirsiniz.
Felsefe en başından beri Kurt Gödel'in zorlu matematik kariyerine ilham vermişti. Çoğu soyutlama âşığı gibi, düşünsel aşkına karşılık veren bir gerçeklik görüşünü Platon'da bulan Gödel, Viyana Üniversitesinde aldığı ilk felsefe tarihi dersinden beri bu alana odaklanmıştı. Felsefe varış noktası olduğu için, sonunda hayatının tamamlanmamış olduğu düşüncesine de felsefe ışığında vardı. İnsanların zihinlerini, a priori bir kanıtla bile değiştirmenin mümkün olduğuna artık inanmadığı için, kendisininkini değiştirecek bir aydınlanma anı bekliyordu. Kendi tamamlanmamışlık duygusuyla -ve belki de sekiz yaşındaki kalbinin ölümcül bir şekilde hasar gördüğüne inanan bir çocuğun gizli ölüm korkusuyla- kişisel ölüm gerçekliğini baltalayan bir model olan, döngüsel zamandan oluşan sonsuz bir hayatla ilgili kendi modeline yakınlaştı.
Sayfa 230Kitabı okudu
Gödel'in Viyana Çevresinden eski bir tanıdığı olan ve mutlu bir şekilde Notre Dame'a yerleşen Karl Menger şöyle yazdı: Nadiren de olsa Princeton'a yaptığım her gezide Gödel´le uzun sohbetler ediyorduk. Einstein ve Morgenstern'le olan arkadaşlığının dışında (özellikle Morgenstern'in ölümünün ardından) oldukça yalnız görünüyordu. “Artin şimdi
Sayfa 217Kitabı okudu
Reklam
Gödel'in Viyana'daki eski dünyası şimdi tamamen Nazileştirilmişti. Menger hâlâ Viyana'da yaşarken Veblen'e, "Ben Avusturya'da %45'ten fazla Nazi olduğuna inanmazken, üniversitelerde bu oran kesinlikle %75 ve bazı öğrencilerim [dışında]... tanıdığım matematikçiler arasında neredeyse %100" diye yazmıştı.
Sayfa 200Kitabı okudu
Çıkarımlara ulaşmak matematiksel kurnazlık gerektirecek kadar dolambaçlı olsa da biçimsel sistemlerin sezginin önüne geçen bir şeffaflığı vardır. Sezgi (Söylenilene göre) fiili şeylerin temel bulanıklığı etrafında dolaşmaya çalışmanın bir yolu, onlarla iletişim kurma yöntemidir ve diğer her alanda olduğu gibi matematikte de güvenilmezliği açıkça ortaya koymuştur. Biçimsel olarak yapılan matematik, "doğuştan gelen" her bir doğruluktan -"şeylerin gerçek doğasında" özünde sorgulanamayan bir kaynağa işaret edenler- arınmış bir matematiktir.
Sayfa 118Kitabı okudu
Sezgi biçimsel bir sistemde sağlam bir yer edinemez. Sezgiler fiili şeyler konusunda -uzay, sayılar ve kümeler hakkında- ne düşüneceğimizi anlatır. Uydurulmuş, anlamsız simgeler ve bunları kontrol etmek için koyduğumuz katı kurallarla ilgili sezgilerimiz yok. Aslında bunlara ihtiyacımız da yok. A priori aklımızın biçimsel bir sistemde yapması gereken her şey kurallarla belirlenir, işte bu nedenle biçimsel bir sistem fikri bilgisayar fikriyle, bilgisayarların ne yapabilecekleri ile ve yaptıklarını nasıl yaptıklarıyla bu denli ilişkilidir. Bu nedenle hesaplanabilir kavramı biçimsel sistem fikrini kuşatan kavram karmaşasının parçasıdır.
Sayfa 117Kitabı okudu
"Dille ilgili ne kadar çok düşünürsen, insanların birbirlerini anlamayışları beni bir o kadar şaşırtıyor."
Reklam
28 öğeden 11 ile 20 arasındakiler gösteriliyor.