Abstrak Secara garis besar tulisan ini membahas mengenai perkembangan matematika dan matematika model. Pendahuluan pada tulisan ini berisi alasan penting mempelajari filsafat, kemudian fisolosofi matematika dan matematika model. Selanjutnya pada pembahasan dibahas mengenai aliran-aliran perkembangan matematika, objek-objek matematika dan ontology, epistemology matematika model serta perkembangan matematika dan matematika model. Pembahasan mendalam mengenai perkembangan matematika dan matematika model diawali dengan penjelasan konsep kalkulus atau limit neizbi, matematika formal Hilbert, kemudian munculnya teorema ketidaklengkapan Godel. Selanjutnya adalah Tarski's Undefinability Theorem dan penyelesaian Entscheidungsproblem oleh Alan Turing, dimana masalah pada Entscheidungsproblem yang awalnya diungkapkan oleh Hilbert akhirnya dapat diselesaikan oleh Alan Turing. Tulisan ini diakhiri dengan penjelasan mengenai Mathematics Nonstandart dan Transformasi. Pendahuluan P...
Comments
Post a Comment