Godel Teoremleri ve Felsefesi
Godel, öz-referansı aritmetiğe kodlayarak, aritmetik için yeterince zengin herhangi bir tutarlı biçimsel sistemin, kanıtlayamayacağı doğru önermeler içerdiğini kanıtlamıştır.
Tanım
Godel'in birinci eksiklik teoremi, temel aritmetiği ifade edebilen herhangi bir tutarlı, etkili bir şekilde aksiyomatize edilmiş biçimsel sistemin, ne kanıtlayabileceği ne de çürütebileceği doğru bir önerme içerdiğini belirtmektedir; ikincisi ise, böyle hiçbir sistemin kendi tutarlılığını kanıtlayamayacağını ifade etmektedir.
Kapsam
Bu konu, Godel'in eksiklik teoremlerini ve felsefi yorumlarını kapsamaktadır. Aritmetizasyon (Godel numaralandırması) tekniğini ve 'Ben kanıtlanamazım' şeklinde öz-referanslı bir önerme oluşturan köşegen lemmasını; birinci teoremi (bu tür sistemlerin eksik olduğunu) ve ikinci teoremi (kendi tutarlılıklarını kanıtlayamayacaklarını); ve teoremlerin tartışmalı felsefi kullanımlarını — formalizmin ve Hilbert programının sınırları hakkındaki iddiaları ile insan zihninin herhangi bir algoritmayı aştığına dair Lucas-Penrose argümanlarını ele almaktadır.
Temel sorular
- Godel numaralandırması, aritmetiğin kendi kanıtları hakkında konuşmasını nasıl sağlamaktadır?
- Eksiklik teoremleri tam olarak neyi ortaya koymaktadır ve hangi sistemler için geçerlidir?
- Teoremler, Hilbert programı ve mantıkçılık (logicism) için ne anlama gelmekteydi?
- Teoremler, zihinlerin makineleri aştığını göstermekte midir?
Anahtar kavramlar
- Godel numaralandırması (aritmetizasyon)
- köşegen lemma
- Godel önermesi
- birinci ve ikinci eksiklik teoremleri
- Hilbert programı
- tutarlılık ve omega-tutarlılık
Temel kuramlar
- Köşegenleştirme yoluyla eksiklik
- Godel, bir formülün kendi kanıtlanamazlığını ifade edebilmesi için sözdizimini aritmetize etmektedir; ortaya çıkan önerme doğru (sistem tutarlıysa) ancak kanıtlanamaz olup, eksikliği ortaya koymaktadır ve ikinci teorem, tutarlılığın kendisinin sistem içinde kanıtlanamaz olduğunu göstermektedir.
- Lucas-Penrose argümanı
- Lucas, Godel teoremini temel alarak, bir insanın zihni modelleyen herhangi bir tutarlı makinenin Godel önermesinin doğruluğunu görebilmesi nedeniyle, zihnin böyle bir makine olamayacağını savunmaktadır; bu argüman geniş çapta tartışılmaktadır.
Tarihçe
Godel, eksiklik teoremlerini 1931'de kanıtlamış, böylece Hilbert'in matematiği sonlu yollarla eksiksiz ve tutarlı kılma programını kesin bir şekilde sınırlamıştır. Bu sonuçlar, matematik ve zihin felsefesinde yankı uyandırmış; Lucas (1961) ve daha sonra Penrose, kapsamlı eleştirel literatürü tetikleyen anti-mekanist sonuçlar çıkarmışlardır.
Tartışmalar
- Teoremler, zihin hakkındaki mekanizmayı çürütmekte midir?
- Lucas-Penrose argümanının, eksiklikten yola çıkarak insan matematiksel kavrayışının herhangi bir algoritmayı aştığını geçerli bir şekilde çıkarıp çıkarmadığı veya kendi tutarlılığımızı her zaman bilebileceğimizi ve ilgili Godel önermesini tanıyabileceğimizi varsayarak aşırıya kaçıp kaçmadığı tartışılmaktadır.
Öne çıkan isimler
- Kurt Godel
- David Hilbert
- J. R. Lucas
- Roger Penrose
- Peter Smith
İlgili konular
Temel eserler
- godel1931
- smith2013
Sıkça sorulan sorular
- Godel teoremi, matematiğin bozuk olduğu anlamına mı gelmektedir?
- Hayır. Bu, hiçbir tek tutarlı biçimsel sistemin her aritmetiksel doğruyu kanıtlayamayacağı ve hiçbirinin kendi tutarlılığını içeriden doğrulayamayacağı anlamına gelmektedir. Matematik gayet iyi ilerlemektedir; teoremler bunun yerine, herhangi bir sabit aksiyomatik sistemin başarabileceklerine ilkesel bir sınır koyarak, tek bir eksiksiz, kendi kendini doğrulayan temel umudunu çürütmektedir.