Hilbert's
program was applied in three steps:
1)
Formalize the branch of mathematics
to get a
formal system, S.
a) Design an
appropriate formal language for the
branch.
b) axiomatize
the theory in that language.
2)
Show that the formal system, S, is adequate.
In
other words, the axioms must really give a formal system for the desired branch
of mathematics. There are two things that must be proven to imply adequacy.
a) Soundness. Every theorem derivable from
the
formal system
must be true in the branch of
mathematics the
formal system implements.
No false
consequences may follow from the
axioms.
b) Completeness. Everything true in a
branch of
mathematics must be derivable as a theorem
from the axioms of the formal system.
3)
Prove that S is consistent.
Anggoro Yugo Pamungkas
ReplyDelete18709251026
S2 Pend.Matematika B 2018
Assalamualaikum Warahmatullahi Wabarakatuh.
Berdasarkan artikel diatas, menjelaskan bahwa dalam matematika, program Hilbert dirumuskan oleh ahli matematika Jerman yaitu David Hilbert, hal itu merupakan solusi yang diusulkan Hilbert untuk krisis dasar matematika, ketika awal mencoba untuk mengklarifikasi dasar matematika, yang ditemukan menderita paradoks dan inkonsistensi. Sebagai solusinya, Hilbert mengusulkan ke semua teori yang ada untuk lebih lengkap ke aksioma, dan memberikan bukti bahwa aksioma itu adalah konsisten. Hilbert mengusulkan bahwa konsistensi sistem yang lebih rumit, seperti analisis real, dapat dibuktikan dalam hal sistem sederhana. Pada akhirnya, konsistensi semua matematika dapat dikurangi.
Fabri Hidayatullah
ReplyDelete18709251028
S2 Pendidikan Matematika B 2018
Menurut bacaan di atas, program Hilbert dalam membuktikan kekonsistenan matematika formal secara umum dilakukan dalam tiga langkah. Langkah pertama ialah menyusun secara formal cabang matematika untuk mendapatkan sistem formal, S. Kemudian menunjukkan bahwa sistem formal, S adalah sesuai. Dengan kata lain aksioma harus benar-benar memberikan sistem formal untuk keinginan cabang matematika. Menurut Hilbert, dalam langkah ini terdapat dua hal yang harus dibuktikan untuk menyatakan kesesuaian, yaitu ketepatan dan kelengkapan. Kemudian, langkah yang terakhir ialah membuktikan bahwa S adalah konsisten.
Dini Arrum Putri
ReplyDelete18709251003
S2 P Math A 2018
Dijelaskan bahwa formalize adalah sebuah cabang dari matematikan yang dijadikan sebagai formal sistem . Matematika dijadikan dasar sebagai sebuah pembuktian untuk membuktikan bahwa hal tersebut atau sebuah konsep itu benar, seperti membuktian teorema, postulat ataupun aksioma . Yang berujung bahwa sesuatu itu harus konsisten, dimana matematika disebut sebagai ilmu yang pasti atau konkret.
Janu Arlinwibowo
ReplyDelete18701261012
PEP 2018
Pemikiran Hilbert dimulai dengan matematika dikemas dalam suatu sistem formal yang dipaparkan dalam suatu bahasa dengan pokok bahasan yang lebih spesifik, selanjutnya paparan tersebut menjadi suatu aksioma. Aksioma tersebut tidak serta merta ditanggapi secara mentah. Namun harus ada analisis terlebihdahulu mengenai kapasitasnya. Yang pertama harus dibuktikan adalah apakah aksioma tersebut memiliki komponen lain yang akan mengganggu dan yang kedua kelengkapan aksioma tersebut, apakah sudah koheren. Dengan demikian maka gong terakhir didaulatnya teorema adalah pengkajian mengenai konsistensinya.
Fany Isti Bigo
ReplyDelete18709251020
PPs UNY PM A 2018
Program Hilbert yang ke tiga dalam artikel ini mau menunjukkan kekonsistenan dalam matematika. Namun berbeda dengan program Hilbert yang pertama dan kedua, pada program Hilbert yang ketiga ini diterapkan dalam tiga langkah yang meliputi: pertama, menformalkan cabang matematika untuk mendapatkan sistem formal, S ; kedua, menunjukkan bahwa sistem formal, S memadai yang berarti bahwa aksioma harus benar-benar memberikan sistem formal untuk cabang Matematika yang diinginkan; ketiga membuktikan bahwa S adalah konsisten.
Amalia Nur Rachman
ReplyDelete18709251042
S2 Pendidikan Matematika B UNY 2018
Dalam membuktikan sebuah konsistensi, Hilbert menerapkan tiga langkah. Sebagai contohnya Hilbert membuktikan konsistensi sistem formal S. Langkah pertama yaitu menyusun cabang dari matematika untuk mendapatkan sistem formal S. Langkah kedua, menunjukkan bahwa sistem formal S memenuhi syarat. Langkah ketiga membuktikan bahwa S konsisten
Rosi Anista
ReplyDelete18709251040
S2 Pendidikan Matematika B
Dalam matematika, aksioma harus benar-benar memberikan sistem formal untuk keinginan cabang matematika. Menurut Hilbert, dalam langkah yang ketiga terdapat dua hal yang harus dibuktikan untuk menyatakan kesesuaian, yaitu ketepatan dan kelengkapan.
Nur Afni
ReplyDelete18709251027
S2 Pendidikan Matematika B 2018
Assalamualaikum warahmatullahi wabarakatuh.
Hilbert menerapkan program dalam tiga langkah: yang pertama memformalkan cabang matematika untuk mendapatkan a sistem formal, S. Berdarkan Desain bahasa formal yang sesuai untuk cabang dan aksioma teori dalam bahasa itu. Yang kedua dengan menunjukkan bahwa sistem formal, S, memadai. Dengan kata lain, aksioma harus benar-benar memberikan sistem formal untuk cabang matematika yang diinginkan. Ada dua hal yang harus dibuktikan menyiratkan kecukupan. Kesehatan. Setiap teorema berasal dari sistem formal harus benar di cabang matematika mengimplementasikan sistem formal. Tidak ada konsekuensi yang keliru yang dapat terjadi dari aksioma. sesuai Kelengkapan. Semuanya benar di cabang matematika harus diturunkan sebagai teorema dari aksioma sistem formal. Yang ketiga dengan membuktikan bahwa S konsisten. terimakasih
Sintha Sih Dewanti
ReplyDelete18701261013
PPs S3 PEP UNY
Jika dipahami keseluhan mulai dari Hilbert’s Program 1 hingga ketiga ini, program formalis Hilbert bertujuan untuk menerjemahkan matematika ke dalam sistem tafsiran formal. Dengan arti yang terbatas tetapi bermakna sistem formal metamatematika terbukti memadai untuk matematika, dengan menurunkan keformalan dari semua kebenaran matematika, dan aman untuk matematika melalui bukti yang konsisten.
M. Ikhsan Ghozali
ReplyDelete19701261003
PEP S3 2019
Assalamu'alaikum wr.wb.
Tulisan di atas merupakan sambungan dari dua tulisan sebelumnya tentang Program Hilbert. Dalam tulisan di atas, dijelaskan tentang tiga langkah program untuk membuktikan bahwa sistem formal matematika memadai: bersesuaian, lengkap, dan konsisten.
Demikian yang bisa saya sampaikan. Mohon maaf dan terima kasih.
Wassalamu'alaikum wr.wb.
Sri Ningsih
ReplyDelete19709251064
S2 Pendidikan Matematika kelas D
Program Hilbert diterapkan dalam tiga langkah:
1) Memformalkan cabang matematika untuk mendapatkan sebuah sistem formal
2) Menunjukan bahwa sistem formal memadai.
3) Membuktikan bahwa sistem formal konsisten.