Fondasi matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dibuat dengan menerjemahkan halaman "Foundations of mathematics" |
k Clean up, replaced: hirarki → hierarki, added orphan, underlinked tags using AWB |
||
| Baris 1: | Baris 1: | ||
{{Underlinked|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 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">[''<span title="This claim needs references to reliable sources. (September 2014)">citation needed</span>'']</sup> sebagai suatu studi tentang konsep-konsep dasar matematis (bilangan, bentuk bentuk geometris, himpunan, fungsi...) dan bagaimana keseluruhannya membentuk sebuah |
||
{{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 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">[''<span title="This claim needs references to reliable sources. (September 2014)">citation needed</span>'']</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, algoritma-algoritma...) 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. |
||
== See also == |
== See also == |
||
| Baris 5: | Baris 8: | ||
== Notes == |
== Notes == |
||
<references /> |
<references /> |
||
[[Kategori:Logika matematika]] |
[[Kategori:Logika matematika]] |
||
Revisi per 8 Oktober 2016 09.43
 | Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini.
Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan.
|
 | Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini. Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala. Tag ini diberikan pada Oktober 2016. |
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 teori-teori filsafat dasar tentang natur 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[citation needed] 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, algoritma-algoritma...) 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.