Program Hilbert adalah sebuah teori yang dirumuskan oleh matematikawan Jerman, David Hilbert. Teori ini diusulkan sebagai solusi untuk mengatasi krisis dasar dalam matematika, yang pada saat itu menghadapi paradoks dan inkonsistensi. Sebagai tanggapan, Hilbert mengusulkan untuk mendasarkan semua teori matematika pada satu set aksioma terbatas yang lengkap dan memberikan bukti bahwa aksioma-aksioma ini konsisten. Hilbert berpendapat bahwa konsistensi sistem yang lebih kompleks, seperti analisis real, dapat dibuktikan dengan menggunakan sistem yang lebih sederhana. Pada akhirnya, ia menyatakan bahwa konsistensi seluruh matematika dapat direduksi menjadi aritmetika dasar.

Teorema ketidaklengkapan Gödel, yang diterbitkan pada tahun 1931, menunjukkan bahwa program Hilbert tidak dapat dicapai untuk bidang-bidang utama matematika. Dalam teorema pertamanya, Gödel menunjukkan bahwa setiap sistem yang konsisten dengan serangkaian aksioma yang dapat dihitung yang mampu mengekspresikan aritmetika tidak akan pernah lengkap: adalah mungkin untuk membangun pernyataan yang dapat dibuktikan benar, tetapi itu tidak dapat diturunkan dari aturan formal sistem. Dalam teorema keduanya, ia menunjukkan bahwa sistem seperti itu tidak dapat membuktikan konsistensinya sendiri, sehingga tentu saja tidak dapat digunakan untuk membuktikan konsistensi sesuatu yang lebih kuat dengan pasti. Ini menyangkal asumsi Hilbert bahwa sistem finitistik dapat digunakan untuk membuktikan konsistensi dirinya sendiri, dan karena itu hal lain.

Pernyataan dari Program Hilbert

sunting

Tujuan utama dari program Hilbert adalah untuk memberikan dasar yang aman untuk semua matematika. Secara khusus ini harus mencakup: Sebuah formalisasi semua matematika, dengan kata lain semua pernyataan matematika harus ditulis dalam bahasa formal yang tepat, dan dimanipulasi sesuai dengan aturan yang ditetapkan dengan baik.

  • Kelengkapan: bukti bahwa semua pernyataan matematika yang benar dapat dibuktikan dalam formalisme.
  • Konsistensi: bukti bahwa tidak ada kontradiksi dapat diperoleh dalam formalisme matematika. Bukti konsistensi ini sebaiknya harus menggunakan hanya "finitistic" penalaran tentang objek matematika yang terbatas.
  • Konservasi: bukti bahwa setiap hasil tentang "benda nyata" diperoleh dengan menggunakan penalaran tentang "benda-benda yang ideal" (seperti set terhitung) dapat dibuktikan tanpa menggunakan benda-benda yang ideal.
  • Desikadilitas: harus ada algoritma untuk menentukan kebenaran atau kesalahan pernyataan matematika.

Referensi

sunting
  1. Hilbert program then and now
Ikon rintisan

Artikel bertopik matematika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.

📚 Artikel Terkait di Wikipedia

David Hilbert

Hilbert's 23 Problems Address Hilbert's Program Karya David Hilbert di Project Gutenberg Pidato radio Hilbert yang direkam di Königsberg 1930 (dalam bahasa

Ruang Hilbert

Konsep matematika dari ruang Hilbert, dinamai David Hilbert, menggeneralisasi gagasan ruang Euklides. Maka memperluas metode aljabar vektor dan kalkulus

Teorema ketaklengkapan Gödel

tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa program Hilbert untuk menghitung himpunan lengkap dan konsisten dari aksioma-aksioma

Matematika

Contoh maksimal formalisme adalah seruan David Hilbert pada awal abad ke-20, sering disebut program Hilbert, untuk mengodekan semua matematika dengan cara

Masaki Kashiwara

Bersama rekan-rekannya, Kashiwara juga membuktikan korespondensi Riemann-Hilbert yang menjadi masalah dalam matematika untuk modul-D holonomik. Kashiwara

Matematika murni

mengambil metode aksioma lebih dipengaruhi oleh pemeikiran dari David Hilbert. Perumusan logis matematika murni yang diusulkan oleh Bertrand Russell

Geometri mutlak

cukup menjadi dasar dari geometri Euklides, sistem lain, seperti aksioma Hilbert tanpa menggunakan aksioma paralel, dipilih menjadi dasar. Istilah ini diperkenalkan

Kerang gajah

n/a. doi:10.1029/2004GL019440. S2CID 15853307. Bates, Dawn; Hess, Thom; Hilbert, Vi (1994). Lushootseed Dictionary. Seattle: University of Washington Press