Fondasi matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Areumareum (bicara | kontrib) k menambahkan pranala dalam |
Areumareum (bicara | kontrib) k menambahkan tanda hubung - |
||
Baris 2:
{{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
== Catatan ==
|