Teorema Ketidaklengkapan Goedel

Teorema ketidaklengkapan Goedel menetapkan bahwa setiap teori formal konsisten yang mampu menyatakan aritmetika dasar adalah tidak lengkap dan tidak dapat membuktikan konsistensinya sendiri, sehingga menetapkan batasan fundamental pada metode aksiomatik.

Definition

Teorema ketidaklengkapan pertama menyatakan bahwa setiap teori yang konsisten, teraksiomatisasi secara efektif, dan menginterpretasikan fragmen aritmetika yang sederhana memiliki kalimat yang tidak dapat dibuktikan oleh teori tersebut maupun negasinya; yang kedua menyatakan bahwa teori semacam itu tidak dapat membuktikan pernyataan formal yang menegaskan konsistensinya sendiri.

Scope

Topik ini mencakup aritmetisasi sintaksis dan penomoran Goedel, lemma diagonal dan konstruksi kalimat rujukan diri, teorema ketidaklengkapan pertama tentang keberadaan kalimat benar yang tidak dapat dibuktikan, teorema ketidaklengkapan kedua tentang ketidakmampuan membuktikan konsistensi, serta kondisi dan konsekuensi standar seperti teorema Tarski tentang ketidakdefinisi kebenaran.

Core questions

• Bagaimana sintaksis suatu teori dikodekan dalam aritmetika itu sendiri?
• Bagaimana lemma diagonal menghasilkan kalimat yang menegaskan ketidakmampuannya sendiri untuk dibuktikan?
• Mengapa teori konsisten yang cukup kuat harus tidak lengkap?
• Mengapa teori semacam itu tidak dapat membuktikan konsistensinya sendiri?

Key theories

Lemma diagonal

Untuk setiap rumus dengan satu variabel bebas, ada kalimat yang dibuktikan oleh teori setara dengan rumus yang diterapkan pada kode kalimat itu sendiri, memungkinkan rujukan diri yang terkontrol.

Teorema ketidaklengkapan pertama

Menerapkan lemma diagonal pada predikat keterbuktian menghasilkan kalimat yang benar tepat ketika tidak dapat dibuktikan, sehingga teori aritmetika yang konsisten dan teraksiomatisasi secara efektif memiliki kalimat yang tidak dapat dibuktikan maupun disangkal.

Teorema ketidaklengkapan kedua

Memformalkan bukti teorema pertama dalam teori menunjukkan bahwa teori membuktikan konsistensinya sendiri hanya jika tidak konsisten, sehingga teori yang konsisten tidak dapat menetapkan konsistensinya sendiri.

Clinical relevance

Teorema ketidaklengkapan membentuk kembali fondasi matematika dengan menunjukkan bahwa tidak ada satu pun sistem formal konsisten yang dapat menyelesaikan setiap pertanyaan aritmetika atau mengesahkan keandalannya sendiri, yang membatasi program Hilbert dan memotivasi ukuran kekuatan teoretis berbasis ordinal serta studi konsistensi relatif.

History

Goedel mengumumkan teorema ketidaklengkapan pada tahun 1930 dan menerbitkannya pada tahun 1931, membalikkan ekspektasi bahwa aritmetika dapat diaksiomatisasi secara lengkap dan dapat disertifikasi sendiri. Rosser memperkuat hipotesis pada tahun 1936, dan teorema Tarski yang sezaman tentang ketidakdefinisi kebenaran memberikan hasil limitatif yang sangat terkait.

Key figures

• Kurt Goedel
• Alfred Tarski
• J. Barkley Rosser
• David Hilbert

Seminal works

• smith2013
• godel1931
• boolos2007

Frequently asked questions

Apakah teorema ketidaklengkapan mengatakan matematika tidak konsisten?

Tidak. Teorema tersebut mengatakan bahwa setiap sistem formal tunggal yang konsisten dan cukup kuat adalah tidak lengkap dan tidak dapat mengesahkan konsistensinya sendiri. Teorema tersebut tidak meragukan kebenaran matematika, hanya pada jangkauan setiap sistem aksiomatik.

Apakah ketidaklengkapan berarti beberapa kebenaran tidak dapat diketahui?

Tidak dalam arti mutlak. Kalimat yang tidak dapat dibuktikan dalam satu teori mungkin dapat dibuktikan dalam teori yang lebih kuat, misalnya dengan menambahkan pernyataan konsistensi atau aksioma yang lebih kuat. Ketidaklengkapan adalah batasan setiap sistem yang tetap, bukan penghalang bagi pengetahuan matematika secara keseluruhan.