| [Visitor (58.214.*.*)]sagot [Tsino ] | Oras :2020-10-27 | Tinukoy ng Aristotle ang matematika bilang "matematika na dami Ang mga matematiko at pilosopo ay nagsimulang magmungkahi ng iba`t ibang mga bagong kahulugan. Ang ilan sa mga kahulugan na ito ay binibigyang diin ang pagiging likas ng maraming matematika, ang ilan ay binibigyang diin ang pagkakabukas nito, at ang ilan ay binibigyang diin ang ilang mga paksa sa matematika. Kahit sa mga propesyonal, Walang pinagkasunduan sa kahulugan ng matematika. Kahit na walang pagsang-ayon sa kung ang matematika ay sining o agham. Maraming mga propesyonal na matematiko ay hindi interesado sa kahulugan ng matematika o sa tingin nito ay hindi matukoy. Ang ilan ay nagsasabi lamang, "Ang Matematika ay ginagawa ng mga matematiko . "..
Ang tatlong pangunahing uri na tinukoy ng matematika ay tinatawag na mga logician, intuitionist, at pormalista, at ang bawat isa ay sumasalamin ng iba't ibang paaralan ng kaisipang pilosopiko. Mayroong mga seryosong problema, walang sinumang tumatanggap dito, at walang pagkakasundo na tila magagawa.
Ang maagang kahulugan ng lohika sa matematika ay ang "agham ng pagguhit ng mga kinakailangang konklusyon" ni Benjamin Peirce (1870). Sa Principia Mathematica, iminungkahi ni Bertrand Russell at Alfred North Whitehead ang isang programang pilosopiko na tinatawag na lohika at sinubukang patunayan na ang lahat ng mga konsepto, pahayag, at prinsipyong matematika ay maaaring tukuyin at mapatunayan ng lohikal na lohika. Ang lohikal na kahulugan ng matematika ay ang "Lahat ng matematika ay simbolikong lohika" ni Russell (1903).
Ang kahulugan ng intuitionism, mula sa dalub-agbilang na si L.E.J. Brouwer, ay kinikilala ang matematika na may ilang mga phenomena sa pag-iisip. Ang isang halimbawa ng kahulugan ng intuitionistic ay "ang matematika ay isang aktibidad na pangkaisipan na binuo isa-isa." Ang katangian ng intuitionism ay na tinatanggihan nito ang ilang mga ideya sa matematika na itinuturing na wasto alinsunod sa iba pang mga kahulugan. Sa partikular, bagaman pinapayagan ng iba pang mga pilosopiya sa matematika ang mga bagay na maaaring mapatunayan na mayroon, kahit na hindi ito maitatayo, pinapayagan lamang ng intuitionism ang mga bagay sa matematika na maaaring talagang maitayo.
Ang kahulugan ng pormalista ay gumagamit ng mga simbolo at operating rules upang matukoy ang matematika. Tinukoy lamang ni Haskell Curry ang matematika bilang "agham ng pormal na mga sistema." Ang pormal na sistema ay isang hanay ng mga simbolo, o token, at may mga patakaran na nagsasabi kung paano pinagsama ang mga token sa mga formula. Sa pormal na sistema, ang salitang axiom ay may isang espesyal na kahulugan, na naiiba mula sa ordinaryong kahulugan ng "self-maliwanag na katotohanan". Sa isang pormal na sistema, ang isang axiom ay isang kumbinasyon ng mga token na nilalaman sa isang naibigay na pormal na sistema, at hindi kailangang makuha gamit ang mga patakaran ng system. |
|
