Gödel’in Eksiklik Teoremi

Matematik uzun zamandır evrenin dili olarak kabul edilmiştir. Mantıksal kesinlik tarafından yönetilen mutlak doğrular sistemi. Ancak Kurt Gödel'in çığır açan eksiklik teoremleri, matematiksel bütünlük kavramını yerle bir ederek, yeterince güçlü herhangi bir matematiksel sistemde, sistemin kendi içinde kanıtlanamayan doğruların her zaman olacağını ortaya koymuştur. Bu keşif, matematiği dönüştürmekle kalmamış, aynı zamanda gerçeğin, bilginin ve hatta daha yüksek bir zekânın varlığı hakkında derin felsefi ve teolojik tartışmaları da ateşlemiştir.

Peki İnsan akıl yürütmesinden bağımsız olarak var olabilir mi? Gerçekliğimizi yöneten daha yüksek bir anlaşılabilirlik düzeyi var mıdır? Ve Gödel'in içgörüleri, Tanrı'nın varlığı için rasyonel bir temel sağlayabilir mi?

Gödel'in teoremi, matematik ve mantığa muazzam bir katkı sunarak, matematiksel ilkeler ve bunların felsefi çıkarımları hakkındaki anlayışımızı yeniden şekillendirir. Özünde, Gödel'in Eksiklik Teoremleri, yeterince güçlü herhangi bir matematiksel sistemde, sistemin aksiyomları kullanılarak kanıtlanamayan veya çürütülemeyen önermeler olduğunu ortaya koyar. Bu çığır açan keşif, matematiksel bütünlük kavramına meydan okur ve matematik anlayışımızın doğası gereği sınırlı olduğunu öne sürer.

Kurt Gödel'in çalışmaları yalnızca matematik için değil, aynı zamanda felsefe, özellikle metafizik ve zihin felsefesi alanında da derin çıkarımlara sahiptir. Gödel, biçimsel kanıtların ötesinde hakikatler olduğu kavramını ortaya atarak, daha yüksek düzeyde anlaşılabilirliğin varlığı ve insan aklının sınırları hakkındaki tartışmalara kapı aralamıştır. Teoremi, matematiğin evrene dair derin içgörüler sağlayabildiğini, ancak tüm bilginin nihai kaynağı olamayacağını hatırlatmakta fayda var.

Gödel'in keşfinden bu yana geçen 89 yılda, matematikçiler tam da teoremlerinin öngördüğü türden cevapsız sorularla karşılaştılar. Örneğin, Gödel'in kendisi, sonsuzluğun büyüklükleriyle ilgili olan süreklilik hipotezinin kararsız olduğunu, tıpkı rastgele bir girdiyle beslenen bir bilgisayar programının sonsuza kadar çalışıp çalışmayacağını yoksa sonunda durup durmayacağını soran durma probleminin de kararsız olduğunu ortaya koymaya yardımcı oldu. Kararsız sorular fizikte bile ortaya çıktı. Gödelci eksikliğin yalnızca matematiği değil, aynı zamanda biraz yanlış anlaşılmış bir şekilde gerçekliği de etkilediğini öne sürmektedir.

Yukarıdan Aşağıya Matematik

"Süper aksiyom" fikri, tüm matematiksel gerçekleri kapsayabilecek teorik bir yapı olarak Gödel teoreminden ortaya çıkmıştır. Matematiksel sistemleri sıfırdan inşa eden geleneksel aksiyomların aksine, bir süper aksiyom yukarıdan aşağıya bir çerçeve sağlayarak matematiksel gerçeklerin önceden var olduğunu ve insan zihinleri tarafından keşfedildiğini öne sürer. Bu kavram, daha yüksek bir form veya fikir alemine inanan Platon ve Pisagor gibi düşünürlerin felsefi görüşleriyle örtüşmektedir.

Bu yukarıdan aşağıya yaklaşımda, matematik bir dizi artımlı gelişme olarak değil, önceden var olan anlaşılabilir bir yapının keşfi olarak görülür. Bu bakış açısı, matematiksel ilerlemeye dair geleneksel bakış açısına meydan okur ve matematik anlayışımızın yeni gerçekler inşa etmekten ziyade evrensel gerçekleri ortaya çıkarmakla ilgili olduğunu öne sürer. Bir süper aksiyomun varlığı, matematiksel gerçekliğin insan yapılarını aşan ve daha derin bir anlaşılabilirlik kaynağına işaret eden daha yüksek bir düzeni olduğunu ima eder.

Yüksek Matematiğin Anlaşılabilirliği Nasıl Oldu?

İnsan sezgisi, daha yüksek matematiksel anlaşılırlığın keşfinde önemli bir rol oynar. Tarih boyunca matematikçiler, daha önce bilinmeyen kavramları sezgisel olarak kavrayarak anlayışta önemli sıçramalar yapmışlardır. Bu sezgisel süreç, insan düşüncesinden bağımsız bir matematiksel gerçekler dünyasının var olduğunu ve keşfedilmeyi beklediğini gösterir.

Gödel'in teoremi, sezginin bu gerçekleri ortaya çıkarmak için olmazsa olmaz bir araç olduğu fikrini destekler. Belirli bir sistem içinde tüm matematiksel önermeler kanıtlanamayacağından, sezgi biçimsel mantığın sınırlarının ötesini keşfetmede yol gösterici bir güç haline gelir. Bu sezgisel yetenek, insan bilişi ile daha yüksek bir matematiksel bilgi kaynağı arasında bir bağlantıya işaret eder ve zihinlerimizin daha derin bir anlaşılırlık kuyusuna erişebilecek donanıma sahip olduğunu gösterir.

Evrim Ağacı'ndan Mesaj

Neden Desteğe İhtiyacımız Var?

Aslında maddi destek istememizin nedeni çok basit: Çünkü Evrim Ağacı, bizim tek mesleğimiz, tek gelir kaynağımız. Birçoklarının aksine bizler, sosyal medyada gördüğünüz makale ve videolarımızı hobi olarak, mesleğimizden arta kalan zamanlarda yapmıyoruz. Dolayısıyla bu işi sürdürebilmek için gelir elde etmemiz gerekiyor.

Bunda elbette ki hiçbir sakınca yok; kimin, ne şartlar altında yayın yapmayı seçtiği büyük oranda bir tercih meselesi. Ne var ki biz, eğer ana mesleklerimizi icra edecek olursak (yani kendi mesleğimiz doğrultusunda bir iş sahibi olursak) Evrim Ağacı'na zaman ayıramayacağımızı, ayakta tutamayacağımızı biliyoruz. Çünkü az sonra detaylarını vereceğimiz üzere, Evrim Ağacı sosyal medyada denk geldiğiniz makale ve videolardan çok daha büyük, kapsamlı ve aşırı zaman alan bir bilim platformu projesi. Bu nedenle bizler, meslek olarak Evrim Ağacı'nı seçtik.

Eğer hem Evrim Ağacı'ndan hayatımızı idame ettirecek, mesleklerimizi bırakmayı en azından kısmen meşrulaştıracak ve mantıklı kılacak kadar bir gelir kaynağı elde edemezsek, mecburen Evrim Ağacı'nı bırakıp, kendi mesleklerimize döneceğiz. Ama bunu istemiyoruz ve bu nedenle didiniyoruz.

Destek Ol

Gödel Teoreminin Kökleri

Gödel teoreminin kökleri, daha yüksek bir form veya fikir aleminin varlığını varsayan Platon ve Pisagor gibi antik düşünürlere kadar uzanır. Platon'un form teorisi, maddi dünyanın daha mükemmel ve ebedi bir gerçekliğin yansıması olduğunu varsayar ve bu düşünce, Gödel'in süper aksiyom kavramıyla örtüşür. Her iki fikir de insan algısını ve anlayışını aşan daha yüksek bir gerçeklik düzeni olduğunu ileri sürer.

Gödel'in teoremi, modern bir matematiksel çerçeve sunarak, antik metafizik ile çağdaş mantık arasında bir köprü kurar. Gödel, biçimsel kanıtların ötesinde gerçekler olduğunu göstererek, insan bilgisinin sınırlı olduğu ve evreni daha yüksek bir gerçekliğin yönettiği fikrini pekiştirir. Bu felsefi bağlantı, antik bilgeliğin modern bilimsel söylemdeki kalıcı önemini vurgular.

Örneğin;

Gödel'in temel numaralandırması, bir aksiyom sistemi hakkındaki ifadeleri sistem içindeki ifadelere, yani sayılar hakkındaki ifadelere eşlemekti. Bu eşleme, bir aksiyom sisteminin kendisi hakkında tutarlı bir şekilde konuşmasını sağlar.

Bu süreçteki ilk adım, olası herhangi bir matematiksel ifadeyi veya ifadeler dizisini Gödel sayısı adı verilen benzersiz bir sayıya eşlemektir.

Gödel şemasının biraz değiştirilmiş versiyonu, bir dizi temel aksiyomu ifade etmek için kullanılan 12 temel sembolle başlar. Örneğin, bir şeyin var olduğu ifadesi ∃ sembolüyle, toplama işlemi ise + ile ifade edilebilir. Daha da önemlisi, "halef" (belirli bir sayı veya terim veya değerden hemen sonra gelen bir terimdir) anlamına gelen s sembolü, sayıları belirtmenin bir yolunu sunar; örneğin ss 0, 2'yi ifade eder.

Bu on iki sembole daha sonra 1'den 12'ye kadar olan Gödel sayıları atanır.

Buna örnek olarak, 0 = 0 olduğunu varsayalım. Formülün üç sembolü 6, 5 ve 6 numaralı Gödel sayılarına karşılık gelir. Gödel'in bu üç sayı dizisini tek ve benzersiz bir sayıya, başka hiçbir sembol dizisinin üretemeyeceği bir sayıya dönüştürmesi gerekir. Bunu yapmak için ilk üç asal sayıyı (2, 3 ve 5) alır, her birini dizide aynı konumdaki sembolün Gödel sayısına yükseltir ve bunları birbiriyle çarpar. Böylece 0 = 0, 2 6 × 3 5 × 5 6 veya 243.000.000 olur.

Hiçbir iki formül aynı Gödel sayısını vermeyecek çünkü, Gödel sayıları tam sayılardır ve tam sayılar yalnızca tek bir şekilde asal çarpanlara ayrılır. Dolayısıyla 243.000.000 sayısının tek asal çarpanlara ayrılması 2 6 × 3 5 × 5 6’dır, yani Gödel sayısını çözmenin tek bir yolu vardır: 0 = 0 formülü.

Gödel daha sonra bir adım daha ileri gitti. Matematiksel bir kanıt, bir formül dizisinden oluşturdu. Dolayısıyla Gödel, her formül dizisine benzersiz bir Gödel sayısı verdi. Bu durumda, daha önce olduğu gibi asal sayılar listesiyle başladı- 2, 3, 5 vb. Ardından, her asal sayıyı, dizideki aynı konumdaki formülün Gödel sayısına yükseltti (örneğin, 0 = 0 önce gelirse, 2 243.000.000 × …) ve hepsini birbiriyle çarptı.

Bunu Nasıl Mı Yaptı?

Önce, "sıfır sıfıra eşit değildir" anlamına gelen ~(0 = 0) formülünü ele alalım. Bu formül açıkça yanlıştır. Yine de, bir Gödel sayısına sahiptir: 2'nin 1. kuvveti (~ sembolünün Gödel sayısı), 3'ün 8. kuvveti ("açık parantez" sembolünün Gödel sayısı) ile çarpılması ve böylece 2¹ × 3 8 × 5 6 × 7 5 × 11 6 × 13 9 elde edilir.

Agora Bilim Pazarı

Hayvanlar Üzerine (3 Kitap)

Hayvan Olmak: Bir İnsanın Hayvana Dönüşmesinin İzini Sürmek

Charles Foster

Bu değerli gezegeni herkes ve her şey gibi paylaşan insanlara, canlı olmaya dair samimi ve radikal bir bakış açısı sunan Hayvan Olmak, hayvan olmayı deneyimleyebilmek gerçekten mümkün müdür, sorusunu hep yakınında tutarak diğer canlı türleriyle aramızda zaman içinde oluşmuş sınırları belirsizleştirmeye dönük bir çabanın ürünüdür.

Bir imkansızın peşinden giderek hayvan olmanın doğasını keşfe çıkan tutkulu doğabilimci Charles Foster, porsuk, susamuru, alageyik, tilki ve ebabil “olmayı” tecrübe etmeye kalkışarak, yitirdiğimiz vahşiliğimizin, inkar ettiğimiz vahşiliğimizin ve vahşileşebilmemizin nükteli hikâyesiyle zamanda unuttuğumuz tabiatımızı yeniden hatırlamamızı sağlıyor.

“Doğa yazını genellikle etrafı sömürgeci adımlarla arşınlayan ve iki metrelik mesafeden yeryüzünde gördüklerini anlatan insan hikayelerinden ya da hayvanların giyindiğini savunan insanlardan ibarettir. Bu kitap dünyayı, çıplak Welsh porsukları, Londra tilkileri, Exmoor susamurları, Oxford ebabilleri, İskoç ve West Country alageyikleriyle aynı düzlemde görerek anlatmak üzerine bir çabadır. Aynı zamanda koklama ve işitmenin görme duyusundan daha işlevsel olduğu bir yaşam alanında hareket etmenin nasıl bir his olduğunu öğrenmenin de hikayesi… Bir nevi edebi Şamanizm, ve itiraf etmeliyim ki, çok ama çok eğlenceliydi.”

Hayvanların Gizli Yaşamı

Peter Wohlleben

“Geyikler, yabandomuzları ya da kargaların, kendi içinde mükemmel olan hayatlarını yaşarken eğlenebildiklerini de kavrayan biri, kadim ormanlardaki yapraklar arasında neşeyle dolaşan o minik hortumluböceklerine de saygı duyabilir belki.”

Kimisi evimizin sakini, kimisi sokakların, kimisiyle penceremizde karşılaşıyoruz kimisiyle yabanda, ama kesin olan şu ki ne zaman seslerine kulak versek günümüz güzelleşiyor. Ne kadar farkında olduğumuz bir yana onları duyuyor, onları görüyor, onları etkiliyor ve onlardan etkileniyoruz. Bu kitap farklılıklarıyla bizi büyüleyen hayvanlarla duygu, düşünce ve değerler dünyamızdaki ortaklıkları gösteriyor. Bu sayede bizi hayvanlar âleminin diğer üyeleriyle ilgili varsayımlarımızı sorgulamaya ve bizimki kadar kırılgan yaşamlarına iştirak ederken bu bilgiyle hareket etmeye davet ediyor.

Doğa üzerine yazdığı kitapları onlarca dile çevrilip milyonlarca okura ulaşan Peter Wohlleben bu kitabında birbirlerine adlarıyla seslenen kuzgunlardan kendi yaptıklarına kafa yorup pişman olan sıçanlara, tavukları kandıran horozlardan sadık domuzlara, utangaç atlardan yas tutan geyiklere ve yavrularını eğiten keçilere kadar yeryüzünü paylaştığımız türlü çeşit hayvanın hikâyesine yer veriyor.

“Etkileyici ve okunaklı diliyle Peter Wohlleben’ın bu kitabı da başka bir cevher. Yazarın bilimsel keşiflerle kendi deneyimlerini harmanlamaktaki ustalığı sayesinde her bir sayfasını zevkle okudum. Siz de okuyun ve bir daha asla yeryüzünü diğer canlıların renkli ve zengin yaşamlarıyla paylaştığımız konusunda şüpheye düşmeyin.”

―Jonathan Balcombe

Hayvanların Tarihi – Felsefi Bir Deneme

Oxana Timofeeva

Sunuş: Slavoj Žižek

“Hayvanlar gitgide, teker teker sahneyi terk edip insanlığı kendi temsilleriyle, evcil hayvanları ve oyuncaklarıyla baş başa bırakıyor.”

Çalışmalarını çağdaş felsefenin sorunları merkezinde sürdüren akademisyen Oxana Timofeeva, Aristoteles’ten ödünç aldığı adla Hayvanların Tarihi’ni felsefi bir hat üzerinde kuruyor, tabiri caizse, “felsefe tarihini hayvanların tarihi olarak okumayı” öneriyor.

Hayvanlar bugün daha ziyade evcilleştirme, kapatma ya da imgeleştirme yoluyla gündelik hayatımıza, dilimize, düşünce dünyamıza dahil olurken bu çalışma “hayvan meselesi”ni Aristoteles’ten Hegel’e, Adorno’dan Deleuze’e uzanan geniş bir felsefe geleneğine ve Bataille, Kafka, Platonov gibi yazarların metinlerine atıfta bulunarak ele alıyor, hayvanla insan arasında aşina olduğumuz tüm ayrımlardan, insanlığa ve hayvanlığa dair tüm keskin tanımlardan azade yeni bir düşünme ve tartışma imkânı sunuyor.

“Eğer felsefe bilgelik sevgisiyse, Oxana Timofeeva’nın Hayvanların Tarihi, hayvan sevgisinden mürekkep bir felsefe çalışmasıdır. Felsefeyi hayvanlara karşı yanlış tutumundan ötürü kolayca mahkûm etmek yerine, hayvanlara haysiyetlerini iade etmek üzere Aristoteles’ten Deleuze’e filozofların nasıl daha farklı yorumlanabileceğini yeni baştan anlama çabasına giriyor. Hayvanların Tarihi, bize, biz insanlara, yeni bir dünya kazanmak için tüm ‘devrimci hayvanlar’la birlik olmayı öğretiyor. “

— Benjamin Noys

Devamını Göster

₺500.00

Satın Al Tüm Ürünler

Çünkü tüm formüller için, hatta yanlış olanlar için bile Gödel sayıları üretebildiğimizden, bu formüllerin Gödel sayılarından bahsederek onlar hakkında mantıklı bir şekilde çözüm bulabiliriz.

Gödel Teoremi ve Tanrı'nın Varlığı

Şimdiye kadar ki noktaları birleştirecek olursak, Gödel teoreminin en ilgi çekici çıkarımlarından biri, Tanrı'nın varlığıyla olası bağlantısıdır. Nihai matematiksel gerçeğin kaynağı olan bir süper aksiyom kavramı, ilahi bir akıl veya yaratıcı kavramıyla paralellik gösterir. Eğer böyle bir aksiyom varsa, matematiksel gerçekliği kavrayıp sürdürebilen daha yüksek bir zekânın varlığına işaret eder.

Gödel, daha yüksek bir gücün varlığına inanıyordu ve teoremi, Tanrı'nın varlığına dair matematiksel bir argüman olarak yorumlanabilir. İnsan kavrayışının ötesinde nihai bir anlaşılabilirlik kaynağı olduğunu öne sürerek, Gödel, Tanrı'yı tüm hakikat ve bilginin temeli olarak gören teolojik bakış açılarıyla örtüşmektedir. Matematik ve teolojinin bu kesişimi, gerçekliğin doğası ve insan anlayışının sınırları üzerine daha derin bir keşfe davet eder.

Sonuç olarak, Gödel teoremi matematiksel bir keşiften çok daha fazlasıdır; gerçekliğin doğası ve insan bilgisinin sınırları hakkında derin bir felsefi ifadedir. Teoreminin etkilerini keşfederek, matematik, felsefe ve teolojinin birbiriyle nasıl bağlantılı olduğunu, evreni ve içindeki yerimizi anlama yolundaki süregelen arayışımızı daha iyi anlayabiliriz.