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}}
-'''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 ''nature'' 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 sebagai suatu studi tentang konsep-konsep dasar matematis ([[bilangan]], bentuk [[Bentuk geometri|bentuk geometris]], [[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, 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.
 == Catatan ==