Fondasi matematika: Perbedaan antara revisi

Konten dihapus Konten ditambahkan

Sebaris

Revisi terkini sejak 23 Juli 2023 00.45

Fondasi matematika adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika,^[1] atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari beberapa filsafat dasar tentang nature dari matematika itu sendiri.^[2] Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika, dan filsafat matematika sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga sebagai suatu studi tentang konsep-konsep dasar matematis (bilangan, bentuk-bentuk geometris, himpunan, fungsi) dan bagaimana keseluruhannya membentuk sebuah hierarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis yang memberikan makna kepada rumus-rumus, definisi-definisi, pembuktian-pembuktian, algoritme-algoritme) yang juga sering disebut sebagai konsep-konsep matematis, dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini.

Catatan

^ "Joachim Lambek (2007), "Foundations of mathematics", Encyc. ". Diarsipkan dari versi asli tanggal 2015-05-11. Diakses tanggal 2015-08-13.
^ "Leon Horsten (2007, rev. 2012), "Philosophy of Mathematics" SEP". Diarsipkan dari versi asli tanggal 2018-03-11. Diakses tanggal 2015-08-13.

[1] "Joachim Lambek (2007), "Foundations of mathematics", Encyc. ". Diarsipkan dari versi asli tanggal 2015-05-11. Diakses tanggal 2015-08-13.

[2] "Leon Horsten (2007, rev. 2012), "Philosophy of Mathematics" SEP". Diarsipkan dari versi asli tanggal 2018-03-11. Diakses tanggal 2015-08-13.

[1]

[2]

@@ Baris 1: / Baris 1: @@
+'''Fondasi matematika '''adalah sebuah studi tentang dasar-dasar [[logika]] dan [[filsafat]] dari [[matematika]],<ref>{{Cite web |url=http://www.britannica.com/EBchecked/topic/369221/foundations-of-mathematics |title=Joachim Lambek (2007), "Foundations of mathematics", ''Encyc. '' |access-date=2015-08-13 |archive-date=2015-05-11 |archive-url=https://web.archive.org/web/20150511005725/http://www.britannica.com/EBchecked/topic/369221/foundations-of-mathematics |dead-url=no }}</ref> atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari beberapa filsafat dasar tentang ''nature'' dari matematika itu sendiri.<ref>{{Cite web |url=http://plato.stanford.edu/entries/philosophy-mathematics/#MatLogFouMat |title=Leon Horsten (2007, rev. 2012), "Philosophy of Mathematics" ''SEP'' |access-date=2015-08-13 |archive-date=2018-03-11 |archive-url=https://web.archive.org/web/20180311101239/https://plato.stanford.edu/entries/philosophy-mathematics/#MatLogFouMat |dead-url=no }}</ref> Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika, dan [[filsafat matematika]] sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga sebagai suatu studi tentang konsep-konsep dasar matematis ([[bilangan]], bentuk-[[bentuk geometri]]s, [[Himpunan (matematika)|himpunan]], [[Fungsi (matematika)|fungsi]]) dan bagaimana keseluruhannya membentuk sebuah hierarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis yang memberikan makna kepada rumus-rumus, definisi-definisi, pembuktian-pembuktian, algoritme-algoritme) yang juga sering disebut sebagai [[Metamatematika|konsep-konsep matematis]], dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini.
-{{Underlinked|date=Oktober 2016}}
-{{Orphan|date=Oktober 2016}}
+== Catatan ==
-'''Fondasi matematika '''adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika,<ref>[http://www.britannica.com/EBchecked/topic/369221/foundations-of-mathematics Joachim Lambek (2007), "Foundations of mathematics", ''Encyc. '']</ref> atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari teori-teori filsafat dasar tentang natur dari matematika itu sendiri.<ref>[http://plato.stanford.edu/entries/philosophy-mathematics/#MatLogFouMat Leon Horsten (2007, rev. 2012), "Philosophy of Mathematics" ''SEP'']</ref> Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika dan [[filsafat matematika]] sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga<sup class="noprint Inline-Template Template-Fact" style="white-space:nowrap;" contenteditable="false">&#x5B;''<span title="This claim needs references to reliable sources. (September 2014)">citation needed</span>''&#x5D;</sup> sebagai suatu studi tentang konsep-konsep dasar matematis (bilangan, bentuk bentuk geometris, himpunan, fungsi...) dan bagaimana keseluruhannya membentuk sebuah hierarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis yang memberikan makna kepada rumus-rumus, defenisi-defenisi, pembuktian-pembuktian, algoritme-algoritme...) yang juga sering disebut sebagai [[Metamatematika|konsep-konsep matematis]], dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini.
-== Notes ==
 <references />