PHILOSOPHICAL GROUNDS FOR MATHEMATICS RESEARCH

PHILOSOPHICAL GROUNDS FOR MATHEMATICS RESEARCH

Oleh : Marsigit

Ikhtisar oleh : Fatikha Akfini Anantaputri (09313244012)

            Hal itu menunjukkan bahwa, dalam jangka waktu penelitian fondasinya, matematika dianggap sebagai ilmu logis, terstruktur bersih, dan baik-didirikan atau dalam matematika singkat adalah ilmu logis yang sangat terstruktur, namun jika kita menggali cukup dalam dan dalam penelitian mendalam, kita masih menemukan beberapa pasir yang membuat discursion melibatkan filosofi matematika. Ini adalah kenyataan bahwa, dalam jangka waktu penelitian fondasinya, berbagai macam sejarah datang, dimulai di Yunani kuno, berjalan melalui ini bergejolak menuju masa depan yang keluar, sedangkan dalam jangka sistem yayasan logis, metode matematika deduktif , dan logika karena itu memiliki peran mendasar dalam pengembangan matematika. Kerangka kerja logis yang cocok di mana matematika dapat diteliti sehingga dapat disebut sistem yayasan logis untuk matematika.

            Thompson, P., 1993, bersikeras bahwa analisis menggabungkan account, kognitif psikologi dari "intuisi" besar yang mendasar untuk penelitian dalam matematika, dengan account epistemis tentang apa peran intuitif proposisi matematika harus bermain dalam pembenaran mereka. Dia diperiksa bahwa sejauh mana penelitian intuitif kita terbatas baik oleh sifat pengalaman-pengertian kita, dan oleh kapasitas kita untuk konseptualisasi

            Thompson menunjukkan bahwa penelitian matematika, seperti dalam Gödel dan rasa Herbrand, berkenaan dengan klaim mereka secara bersama demarkasi batas intuitif komputabilitas, adalah fitur ini masalah tertentu bahwa itu adalah rentan terhadap keragaman sama intuitif membatasi ulang penokohan, yang tak terduga pertemuan masing-masing memberikan rekomendasi intuitif yang kuat dan pertemuan ini ternyata menjadi aset berharga dalam menilai mengejutkan bukan kita lebih terpendam ekstensi dari konsep intuitif kita. Thompson menyimpulkan bahwa Gödel, dengan kepercayaan dasarnya dalam logika transendental, suka berpikir bahwa optik logis kita hanya sedikit tidak fokus, dan berharap bahwa setelah beberapa koreksi kecil dari itu, kita akan riset tajam, dan kemudian semua orang akan setuju bahwa kita benar, namun, dia yang tidak mempercayai saham tersebut akan terganggu oleh tingginya tingkat kesewenang-wenangan dalam sistem seperti itu Zermelo, atau bahkan dalam sistem Hilbert. Thompson menyatakan bahwa Hilbert tidak akan mampu meyakinkan kita konsistensi selamanya, karena itu kita harus puas jika sistem aksiomatis matematika sederhana telah memenuhi uji matematika penelitian kami sejauh ini.