Teorema Godel dan Filosofinya

Dengan mengkodekan referensi diri ke dalam aritmetika, Godel membuktikan bahwa setiap sistem formal konsisten yang cukup kaya untuk aritmetika mengandung kalimat benar yang tidak dapat dibuktikannya.

Definition

Teorema ketidaklengkapan pertama Godel menyatakan bahwa setiap sistem formal yang konsisten, teraksiomatisasi secara efektif, dan mampu mengekspresikan aritmetika dasar mengandung kalimat benar yang tidak dapat dibuktikan maupun disangkal; teorema kedua menyatakan bahwa sistem semacam itu tidak dapat membuktikan konsistensinya sendiri.

Scope

Topik ini mencakup teorema ketidaklengkapan Godel dan interpretasi filosofisnya. Ini membahas teknik aritmetisasi (penomoran Godel) dan lemma diagonal yang membangun kalimat referensi diri 'Saya tidak dapat dibuktikan'; teorema pertama (sistem tersebut tidak lengkap) dan teorema kedua (sistem tersebut tidak dapat membuktikan konsistensinya sendiri); serta penggunaan filosofis kontroversial dari teorema-teorema tersebut — klaim tentang batas-batas formalisme dan program Hilbert, serta argumen Lucas-Penrose bahwa pikiran manusia melampaui algoritma apa pun.

Core questions

• Bagaimana penomoran Godel memungkinkan aritmetika berbicara tentang buktinya sendiri?
• Apa sebenarnya yang ditetapkan oleh teorema ketidaklengkapan, dan untuk sistem apa?
• Apa arti teorema-teorema tersebut bagi program Hilbert dan logisisme?
• Apakah teorema-teorema tersebut menunjukkan bahwa pikiran melampaui mesin?

Key concepts

• Penomoran Godel (aritmetisasi)
• Lemma diagonal
• Kalimat Godel
• Teorema ketidaklengkapan pertama dan kedua
• Program Hilbert
• Konsistensi dan omega-konsistensi

Key theories

Ketidaklengkapan melalui diagonalisasi

Godel mengaritmetisasi sintaks sehingga suatu formula dapat mengekspresikan ketidakmampuannya untuk dibuktikan; kalimat yang dihasilkan adalah benar (jika sistem konsisten) namun tidak dapat dibuktikan, menetapkan ketidaklengkapan, dan teorema kedua menunjukkan bahwa konsistensi itu sendiri tidak dapat dibuktikan dalam sistem.

Argumen Lucas-Penrose

Lucas berargumen dari teorema Godel bahwa, karena manusia dapat melihat kebenaran kalimat Godel dari mesin konsisten apa pun yang memodelkan pikiran, pikiran tidak mungkin menjadi mesin semacam itu; argumen ini banyak diperdebatkan.

History

Godel membuktikan teorema ketidaklengkapan pada tahun 1931, secara tegas membatasi program Hilbert untuk membuktikan matematika lengkap dan konsisten dengan cara finit. Hasil-hasil ini bergema dalam filsafat matematika dan pikiran, dengan Lucas (1961) dan kemudian Penrose menarik kesimpulan anti-mekanistik yang memicu literatur kritis yang luas.

Debates

Apakah teorema-teorema tersebut menyangkal mekanisme tentang pikiran?

Apakah argumen Lucas-Penrose secara valid menyimpulkan dari ketidaklengkapan bahwa wawasan matematika manusia melampaui algoritma apa pun, atau apakah itu berlebihan dengan berasumsi bahwa kita selalu dapat mengetahui konsistensi kita sendiri dan mengenali kalimat Godel yang relevan.

Key figures

• Kurt Godel
• David Hilbert
• J. R. Lucas
• Roger Penrose
• Peter Smith

Seminal works

• godel1931
• smith2013

Frequently asked questions

Apakah teorema Godel berarti matematika rusak?

Tidak. Ini berarti tidak ada sistem formal konsisten tunggal yang dapat membuktikan setiap kebenaran aritmetika, dan tidak ada yang dapat mengesahkan konsistensinya sendiri dari dalam. Matematika berjalan dengan sangat baik; teorema-teorema tersebut justru menempatkan batas berprinsip pada apa yang dapat dicapai oleh sistem aksiomatik tetap mana pun, menyangkal harapan untuk satu fondasi yang lengkap dan dapat mengesahkan diri sendiri.