Analisis Ordinal

Analisis ordinal mengukur kekuatan suatu teori formal berdasarkan ordinal terkecil yang tidak dapat dibuktikan oleh teori tersebut sebagai terurut rapi (well-ordered), menetapkan ordinal teori-bukti yang tepat untuk setiap teori.

Definition

Ordinal teori-bukti suatu teori adalah supremum dari tipe urutan (order types) pengurutan rapi rekursif (recursive well-orderings) yang keteraturan-dasarnya (well-foundedness) dapat dibuktikan oleh teori tersebut; analisis ordinal adalah program untuk menghitung invarian ini dan menggunakannya untuk membandingkan serta mengkalibrasi teori-teori.

Scope

Topik ini mencakup bukti konsistensi Gentzen untuk aritmetika menggunakan induksi transfinit hingga ordinal epsilon-nol, sistem notasi ordinal, ordinal teori-bukti sebagai invarian suatu teori, metode eliminasi potongan (cut-elimination) untuk derivasi infinitari, dan analisis subsistem aritmetika serta teori predikatif.

Core questions

• Bagaimana ordinal mengukur kekuatan suatu teori aritmetika?
• Mengapa induksi transfinit hingga epsilon-nol membuktikan konsistensi aritmetika?
• Bagaimana notasi ordinal didefinisikan sehingga dapat dipertimbangkan secara terbatas?
• Ordinal apa yang sesuai dengan subsistem standar aritmetika orde kedua?

Key theories

Bukti konsistensi Gentzen

Gentzen membuktikan konsistensi aritmetika orde pertama dengan menetapkan ordinal di bawah epsilon-nol pada bukti dan menunjukkan bahwa reduksi potongan (cut reduction) menguranginya, sehingga induksi transfinit hingga epsilon-nol mengesahkan konsistensi.

Ordinal teori-bukti

Setiap teori yang cukup kuat memiliki ordinal karakteristik yang menangkap induksi transfinit yang dapat dibenarkannya, menyediakan skala kekuatan logis yang terperinci dan sebagian besar linear.

Sistem notasi ordinal

Ordinal besar direpresentasikan oleh notasi sintaksis terbatas, seperti fungsi Veblen dan fungsi kolaps, memungkinkan ordinal tak hingga dimanipulasi dalam teori finitari atau aritmetika.

Clinical relevance

Analisis ordinal menyediakan ukuran kekuatan teori matematika yang paling halus: analisis ini secara tepat menentukan induksi transfinit mana yang dibutuhkan suatu teori, mengklasifikasikan fungsi rekursif yang dapat dibuktikan dari suatu teori, dan menyediakan informasi konsistensi relatif yang melengkapi informasi yang diperoleh dari kardinal besar.

History

Bukti konsistensi Gentzen pada tahun 1936 dan 1938 untuk aritmetika memperkenalkan analisis ordinal melalui induksi transfinit hingga epsilon-nol. Schuette, Feferman, dan lainnya memperluas metode ini ke teori predikatif dan analisis bercabang (ramified analysis), dan pengembangan fungsi kolaps (collapsing functions) kemudian mendorong analisis ordinal ke dalam sistem impredikatif yang kuat.

Key figures

• Gerhard Gentzen
• Kurt Schuette
• Solomon Feferman
• Wolfram Pohlers

Seminal works

• pohlers2009
• takeuti1987
• schutte1977

Frequently asked questions

Apa ordinal teori-bukti dari aritmetika orde pertama?

Ini adalah epsilon-nol, batas dari menara eksponensial omega. Aritmetika orde pertama membuktikan induksi transfinit hingga ordinal apa pun di bawah epsilon-nol tetapi tidak hingga epsilon-nol itu sendiri, yang merupakan prinsip yang tepat yang digunakan Gentzen untuk membuktikan konsistensinya.

Bagaimana analisis ordinal berhubungan dengan ketidaklengkapan?

Teorema kedua Goedel menyatakan bahwa aritmetika tidak dapat membuktikan konsistensinya sendiri. Analisis ordinal mengidentifikasi prinsip tambahan, induksi transfinit hingga epsilon-nol, yang membuktikannya, sehingga secara tepat mengukur seberapa jauh di luar teori seseorang harus mencapai untuk menetapkan konsistensinya.