Olay / yayın / deneyDallar1931

Gödel'in eksiklik teoremleri

Bu sayfa bir hüküm vermez; iddiaları ve kanıtları kaynaklarıyla sunar. Bilimde hiçbir teori mutlak değildir. Yöntem

Herkes için

Gödel, aritmetiği içerecek kadar güçlü ve çelişkisiz her kurallı sistemde doğru olup o sistem içinde ispatlanamayan önermeler bulunduğunu ispatladı. Böyle bir sistem kendi çelişkisizliğini de ispatlayamaz. Bu sonuç, matematiğin tamamen biçimsel ve eksiksiz bir temele oturtulması umudunu (Hilbert programı) değiştirdi.

Uzmanlar için

Birinci teorem: özyinelemeli olarak aksiyomlanabilir, ω-tutarlı (Rosser'den sonra yalnızca tutarlı) ve Robinson aritmetiğini içeren her T kuramı eksiktir. Ne kendisi ne değillemesi T'de ispatlanabilen bir G_T cümlesi vardır. İkinci teorem: böyle bir T tutarlıysa Con(T) cümlesi T'de ispatlanamaz. İspat, Gödel numaralandırması ve köşegen lemması ile "bu cümle ispatlanamaz" diyen bir cümlenin kurulmasına dayanır.

İddialar

Yeterince güçlü, tutarlı biçimsel sistemler eksiktir ve kendi tutarlılıklarını ispatlayamaz.^[1]

Kanıtlar

Destekleyen

Matematiksel ispat

1931 makalesindeki ispat, sonraki on yıllarda defalarca incelenmiş ve ispat asistanlarıyla biçimsel olarak da doğrulanmıştır.^[1][2]

Karşı çıkan / sorgulayan

—

Görüşler

Penrose–Lucas argümanı: Teoremler, insan zihninin bir algoritmaya indirgenemeyeceğini gösterir.^[3]
Bu argümanın eleştirmenleri: Argüman, insanın kendi tutarlılığını bildiğini varsayar. Teoremler bu sonucu desteklemez.^[2]

Bağlantılar

Kaynaklar

MakaleGödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38, 173–198DOI 10.1007/BF01700692 arşiv
AnsiklopediRaatikainen, P.Gödel's Incompleteness Theorems. Stanford Encyclopedia of Philosophyplato.stanford.edu arşiv
KitapPenrose, R. (1989). The Emperor's New Mind. Oxford University Press

Literatürde ara

Bu konudaki akademik yayınları başka dizinlerde de arayabilirsiniz:

Google Scholar ↗Semantic Scholar ↗BASE ↗CORE ↗arXiv ↗DergiPark ↗

Bu sayfayı kaynak göster

APA

Athena katkıcıları. (2026). Gödel'in eksiklik teoremleri. Athena: İnsanlığın bilgi ağacı. Erişim: 1 Kasım 2026, https://latifkedi.github.io/athena/d/godel/

BibTeX

@misc{athena_godel,
  title        = {Gödel'in eksiklik teoremleri},
  author       = {{Athena katkıcıları}},
  year         = {2026},
  howpublished = {\url{https://latifkedi.github.io/athena/d/godel/}},
  note         = {Athena: İnsanlığın bilgi ağacı. Erişim: 2026-11-01}
}

Eklendi: 27 Eylül 2026 · Son değişiklik: 27 Eylül 2026 · Sayfa geçmişi

✎ Düzeltme öner