Pumunta sa nilalaman

Matematika

Mula sa Wikipedia, ang malayang ensiklopedya
(Idinirekta mula sa Queen of sciences)
Isa ang matematika sa mga larangang itinuturo sa lahat ng antas ng edukasyon.

Matemátiká[1][a] ang larangan ng kaalaman na pangunahing nakatuon sa mga bilang, komputasyon, pormula, estraktura, hugis, espasyo, kantidad, at ang mga pagbabago nito. Dahil sa lawak ng saklaw ng larangan, wala itong napagkakasunduang isang tiyak na kahulugan, bagamat may mga matematiko at akademikong nagsubok na bigyang-kahulugan ito sa kasaysayan. Ang modernong matematika ay nahahati sa mga pangunahing sangay na kinabibilangan ng teorya ng bilang, alhebra, heometriya, at pagsusuri. Itinuturing ito bilang isang napakahalagang larangan kung saan nakaangkla ang ibang mga larangan, tulad halimbawa ng likas na agham, inhinyera, medisina, pananalapi, agham pangkompyuter, at agham panlipunan. Bagamat ginagamit ang larangan sa pagmomodelo sa mga penomena, hiwalay sa mga maagham na teorya at eksperimento ang mga pangunahing katotohanan ng matematika. May ilang sangay na nadebelop upang magamit sa ibang mga larangan, tulad ng estadistika at teorya ng laro, at madalas na ginugrupo sa ilalim ng matematikang nalalapat. Samantala, may mga sangay naman na hiwalay na nadebelop nang walang gamit sa simula, at ginugrupo sa ilalim ng purong matematika, bagamat kalauna'y nakahanap rin ang mga ito ng paggamit dahil sa samu't saring dahilan, tulad ng pag-usad ng teknolohiya.

Sentro sa mga gawain sa matematika ang paghahanap sa mga katangian ng mga basal na bagay (Ingles: abstract objects) gamit ang pagdadahilan upang patunayan ang mga ito. Madalas ito ay isang likas na kabasalan, o di kaya'y mga entidad na itinuturing na may mga partikular na katangian o mga aksoma. Patunay ang tawag sa mga resultang ginamitan ng sunod-sunod na paglalapat ng mga tuntunin sa imperensiya upang masabing totoo nga ito. Kasama sa mga resultang ito ay ang mga napatunayan na'ng teorema, aksoma, at ilang mga panimulang katangian na kinilala bilang mga tunay na simulain sa paggawa ng teorya.

Mga Griyego ang nagpasimula sa paggamit ng mga patunay sa matematika. Pinakasikat sa mga patunay ng matematikang Griyego ang Mga Elemento ni Euclides. Simula pa noon, hinahati na ang matematika sa dalawang sangay: heometriya at aritmetika. Nagbago ito simula noong ika-16 na siglo, nang sinama ang alhebra at kalkulo. Mula sa puntong yon, naging madalas na ang paggamit ng matematika upang makagawa ng mga pagtuklas sa agham. Naging sentro ng debate noong ika-19 na siglo ang mga haligi ng matematika, na nagbigay-daan upang mabuo ang sistemang aksomatiko. Sa modernong panahon, kasalukuyang kinilala ng Mathematics Subject Classification ang 60 larangan bilang mga pangunahing sangay ng matematika.[3]

Etimolohiya

Nagmula ang salitang "matematika" sa wikang Kastila na matemática,[1] na nagmula naman mula sa wikang Griyego na mathēmatiká (Griyego: μαθηματικά). Nagmula naman ito mula sa sinaunang Griyegong máthēma (Griyego: μάθημα, lit. na 'mga bagay na nalalaman'), na nanganguhulugang "agham" o "pag-aaral", bagamat nagkaroon ito ng mas makitid na kahulugan pagsapit ng panahong klasikal sa Gresya.[4][b] Ang pang-uri nito ay mathēmatikós (Griyego: μαθηματικός), na nangangahulugang "mahilig mag-aral"; dito nanggaling ang salitang "matematikal".[6] Mathēmatikoi (Griyego: μαθηματικοί) ang tawag noon sa mga estudyante, bagamat dito nanggaling ang salitang "matematiko". Ang mga tagasunod ng Pitagorasismo ang nagpakitid sa kahulugan nito upang tukuyin lamang ang aritmetika at heometriya. Pagsapit ng kapanahunan ni Aristoteles, ganito na ang kahulugan ng matematika.[7]

Astrolohiya (o sa ibang kaso, astronomiya) ang karaniwang ibig sabihin ng matematika hanggang noong bago ang ika-16 na siglo. Nagbago ang kahulugan nito patungo sa modernong kahulugan nito pagsapit ng ika-19 na siglo. Nagresulta ang pagbabagong ito sa mga maling pagsasalin sa naturang salita; halimbawa, maling naisalin ang babala ni San Agustin sa mga Kristiyano sa kanyang kasulutan kontra sa mga mathematici. Astrologo ang ibig sabihin nito nung panahong niya, hindi matematiko, bagamat ginagamit pa rin ang pagkakamaling ito ng mga panatiko upang ikondena ang mga matematiko.[8]

Sa wikang Kastila nagmula ang modernong salitang Tagalog na "matematika". Ang matemática ay isang pangngalang isahan (Ingles: singular noun); ang maramihan nito ay matemáticas, na siyang opisyal na salin nito sa wikang Kastila.[9] Ganito rin ang kaso sa ibang mga wikang Romanse, lalo na sa wikang Ingles na mathematics. May mga teorya na dahil ito sa pagsalin sa sinaunang Griyego na ta mathēmatiká (Griyego: τὰ μαθηματικά), na nangangahulugang "lahat ng mga may kinalaman sa matematika", bagamat posible rin na nagmula lang din ito sa pang-uri nito at ginaya ng mga mananalitang Ingles ang lohika ng mga salitang physics (pisika) at metaphysics (metapisika), na parehong nasa anyong maramihan kahit na isahan lang ito. Pinapaikli rin ang salita bilang math, na popular na ginagamit din sa Pilipinas, o maths sa Britanikong Ingles.[10][11]

Samantala, isang neolohismo ang salitang "sipnayan". Nagmula ito sa diksiyonaryong Maugnaying Talasalitaan (1969) bilang bahagi ng mga mungkahi ng paggawa ng mga salitang Pilipino na kombinasyon ng mga wikang rehiyon ng Pilipinas. Sa salitang ito, nabuo ito mula sa pinagsamang salitang Bisaya na isip ("matematika") at hanayan. Tulad ng marami sa mga mungkahi ng diksiyonaryo, hindi ito madalas gamitin sa karaniwang diskurso.[12][2]

Kasaysayan

Sinaunang panahon

Taas pababa, kaliwa pakanan: Euclides, Arkimedes, Pitagoras. at Hiparco.

Tinatayang nagbibilang na ang mga sinaunang tao simula pa noong 44000 BKP.[13] Kaya nilang magbilang ng parehong mga pisikal at abstraktong bagay tulad ng araw, buwan, taon, at panahon.[14] Ganito nagsimula ang matematika hanggang noong 3000 BKP, nang nagsimulang gamitin ng mga taga-Babylonia at Ehipto ang mga panimulang elemento ng aritmetika, heometriya, at maging alhebra sa kanilang mga gawain, tulad ng pagbubuwis, pera, konstruksiyon, at astronomiya.[15] Tinatayang ginawa noong 2000 BKP hanggang 1800 BKP ang mga pinakalumang tekstong pangmatematika sa Mesopotamia at Ehipto. Marami sa mga ito ang nagpapahiwatig na alam na nila (o may ideya sila kahit papaano) ang konsepto ng teorema ni Pitagoras, . Sa matematika ng Babylonia unang lumitaw sa kasaysayan ang apat na pangunahing operasyon ng mababang aritmetika: pagdaragdag, pagbabawas, pagpaparami, at paghahati. Gumamit din sila ng notasyong posisyonal na nakaayon sa seksahesimal na sistema ng bilang, na ginagamit pa rin sa modernong panahon para sa pagbibilang ng oras at anggulo.[16]

Nagsimulang maging ganap na larangan ang matematika ng mga sinaunang Griyego pagsapit ng ika-6 na siglo BKP, at hinihiwalay na ito mula sa agham ng ilang mga Griyego tulad ng mga tagasunod ni Pitagoras.[17] Bandang 300 BKP, sinimulang kolektahin ni Euclides ang kaalaman ng mga Griyego sa matematika sa pamamagitan ng paggawa ng mga palagay at mga unang prinsipyo, na kalauna'y nagresulta upang mabuo ang kaparaanang aksomatiko na ginagamit sa matematika magpahanggang ngayon.[18] Kinokonsidera ang kanyang aklat na Mga Elemento bilang isa sa mga pinakamatatagumpay na nalathalang aklat sa kasaysayan.[19] Si Arkimedes ang itinuturing na pinakamahusay na matematiko ng sinaunang panahon dahil sa kanyang mga nagawa sa larangan,[20] kabilang na ang mga solido ng paglibot (Ingles: solid of revolution) at ang paraang sapilitan (Ingles: method of exhaustion) upang makompyut ang sukat ng isang parabola gamit ang sumasyon ng isang seryeng walang-hanggan, paraang di nalalayo sa modernong konsepto ng kalkulo.[21] Bukod dito, ilan sa mga natatanging ambag ng mga sinaunang Griyego ay ang pag-aaral sa mga apa (Ingles: conic), trigonometriya, at mga simulain ng alhebra.[22][23][24]

Ang pinakaginagamit na sistema ng bilang ngayon, sistemang Hindu-Arabo, ay nagsimula sa India noong unang milenyo KP at naipasa sa Kanluraning Mundo sa pamamagitan ng matematikang Islam.[25] Bukod dito, sa India rin nagsimula ang modernong kahulugan at pagtataya sa sine at cosine, gayundin sa isang sinaunang anyo ng seryeng walang-hanggan.[26][27]

Mula Gitnang Kapanahunan

Noong Ginintuang Panahon ng Islam, lalo na noong ika-9 at ika-10 siglo, nagkaroon ng mga mahahalagang pag-abante sa pag-aaral sa matematikang Griyego sa Gitnang Silangan. Pinakamahalaga sa mga ito ay ang pagdebelop sa alhebra, gayundin sa trigonometriyang pang-ispero (Ingles: spherical trigonometry) at tuldok pandesimal sa sistema ng bilang.[28] Nagmula sa Persia ang karamihan sa mga mahahalagang matematiko ng panahong ito, tulad nina Al-Khwarizmi, Omar Khayyam, at Sharaf al-Dīn al-Ṭūsī.[29] Sinalin ang mga gawa nila gayundin ang mga gawa ng mga Griyego at Arabo sa wikang Latin, na kalauna'y nakarating sa Europa noong Gitnang Kapanahunan.[30]

Bumilis ang pag-usad ng matematika sa kanlurang Europa pagsapit ng maagang modernong panahon. Sa panahong ito lumitaw ang mga baryable at notasyong simboliko na unang ginamit ni François Viète. Ginawa naman ni John Napier ang konsepto ng logaritmo, na nagpabilis sa mga kalkulasyon sa astronomiya at paglalayag. Si Rene Descartes ang nagpakilala sa konsepto ng koordinado, na nakatulong upang magamit ang alhebra sa heometriya. Samantala, magkahiwalay namang naimbento nang sabay ang kalkulo nina Isaac Newton at Gottfried Leibniz. Si Leonhard Euler naman ang kinokonsidera bilang ang pinakamahalagang matematiko ng ika-18 siglo dahil sa kanyang paggawa ng isang pamantayang terminolohiya para sa mga larangang ito gayundin sa mga pagkumpleto niya sa mga ito sa pamamagitan ng pagtuklas at pagpapatunay sa samu't-saring mga teorema.[31]

Si Carl Friedrich Gauss naman ang kinokonsiderang pinakamahalagang matematiko ng ika-19 na siglo dahil sa kanyang mga ambag sa alhebra, pagsusuri, heometriyang deribatibo, matris, teorya ng bilang, at estadistika.[32] Samantala, nilathala naman ni Kurt Gödel ang kanyang mga teorema ng di-pagkakumpleto (Ingles: incompleteness theorems) na nagpabago sa matematika dahil sa ideya na may mga totoong proposisyon na hindi kailanman mapapatunayan sa isang konsistent na sistemang aksomatiko na kayang ilarawan ang aritmetika.[33]

Mabilis ang pag-usad ng matematika sa ika-20 siglo at papasok sa ika-21 siglo, lalo na sa tulong ng mga makabagong teknolohiya tulad ng mga kompyuter at superkompyuter. Noong 2006 halimbawa, nasa database ng dyornal na Mathematical Reviews ang mahigit kumulang 1.9 milyong papeles at aklat simula noong unang isyu nito noong 1940, na nadadagdagan pa nang 75 libo kada taon, karamihan mga bagong teorema at ang kani-kanilang mga patunay.[34]

Pagsulat at terminolohiya

Pagsulat sa sumasyon.

Ginagamit ang notasyong pangmatematika sa agham at inhinyera para ipakita ang mga komplikadong konsepto at katangian sa paraang konsistent, tiyak, at tumpak. Gumagamit ang mga ito ng mga simbolo para sa mga operasyon, di-tiyak na bilang, relasyon, at ibang mga bagay sa matematika, kung saan pinagsasama sila sa isang ekspresyon o pormula. Baryable ang tawag sa mga simbolong ginagamit para sa mga bilang at ibang mga bagay, na kadalasan nakasulat sa sulat Latin o Griyego, at minsan ay nakaangat (Ingles: superscript). Ipinapakita ang mga operasyon at relasyon gamit ang mga partikular na simbolo o glipo, such halimbawa ng + (pagdagdag), (integral), at = (katumbas).

Nakabuo ang mga matematiko ng isang malawak na bokubularyo upang ilarawan nang tiyak at tumpak ang mga konsepto sa matematika. Nagdebelop rin sila ng mga pamantayang kahulugan upang magkaintindihan. Aksoma (Ingles: axiom) ang tawag sa mga pahayag na totoo at hindi na kailangan pang patunayan. Konhetura (Ingles: conjecture) naman ang tawag sa mga pahayag na kailangan pa munang patunayan. Kung sakaling mapatunayan ito, magiging teorema (Ingles: theorem) ito. Lema (Ingles: lemma) ang tawag sa mga teoremang ginawa upang patunayan ang isa pang teorema. Korolaryo (Ingles: corrolary) naman ang tawag sa isang napatunayang bahagi ng mas malawak na teorema.

Neolohismo ang marami sa mga salitang ginagamit sa matematika, tulad halimbawa ng polinomial at homeomorpismo (parehong mula sa wikang Kastila) o baskagan (Ingles: matrix). May ilan ding mga termino na iba nang bahagya ang kahulugan mula sa karaniwang paggamit.[35] Minsan, ginagamit ang mga karaniwang salita sa isang teknikal na konteksto, na nagiging dahilan tuloy ng kalituhan sa mga wala sa larangan; halimbawa nito ay "lahat ng parang ay singsing" (Ingles: all fields are ring), na isang totoong pahayag sa alhebra.

Sangay

Dalawa ang pangunahing sangay ng matematika sa maagang kasaysayan nito: aritmetika at heometriya. Bukod dito, kinonsidera din noon bilang mga sangay ng matematika ang numerolohiya at astrolohiya, na ngayo'y itinuturing na'ng mga seudosiyensiya.[36] Pagsapit ng Renasimiyento, nadagdagan ito ng dalawa: alhebra at kalkulo. Ganito ang pagsasangay sa larangan hanggang sa dulo ng ika-19 na siglo,[37] kung saan naging sangay din ang kombinatorika gayundin ang mekanika, na ngayo'y bahagi na ng pisika.[38][39]

Sa ika-19 na siglo din unang pinagdebatehan ang mga haligi ng matematika, na nagresulta sa isang pamantayang sistemang aksomatiko at ang paglitaw ng marami pang mga sangay.[40] Noong 2020, hindi bababa sa 60 pangunahing sangay ang kinilala ng Mathematics Subject Classification.[3]

Teorya ng bilang

Ang pilipit ni Ulam, na nagpapakita sa distribusyon ng mga pangunahing bilang. Maraming mga palagay ang nilatag ng mga matematiko ukol sa pagkakaroon ng mga pahalang na linya nito simula noong una itong ginawa noong 1963, bagamat hindi pa ito malinaw na naipapaliwanag magpahanggang ngayon.

Teorya ng bilang ang sangay ng matematika na nakatuon sa pagmamanipula ng mga bilanglikas , buo , at makatuwiran . Kilala rin ito sa tawag na "mataas na aritmetika" lalo na noon, bagamat mas ginagamit na ang terminong ito para tumukoy sa pagsusuri.[41] Unang lumitaw ang teorya ng bilang sa Babylonia at posibleng sa Tsina rin. Sina Euclides at Diofante ang ilan sa mga unang nag-aral sa larangan.[42] Ang modernong pag-aaral sa teorya ng bilang ay nagsimula kina Pierre de Fermat at Leonhard Euler, at naging pormal itong sangay dahil sa mga ambag nina Carl Friedrich Gauss at Adrien-Marie Legendre.[43]

Ilan sa mga sikat na mga halimbawa ng problema sa teorya ng bilang ay ang Huling Teorema ni Fermat, na nagsasabing walang tatlong positibong buumbilang na na magpapatotoo sa ekwasyong para sa . Una itong ipinahayag noong 1637, ngunit napatunayan lamang ito ni Andrew Wiles noong 1994 sa pamamagitan ng mga iskema mula sa heometriyang alhebraiko, gayundin sa teorya ng kategorya at alhebrang homolohikal.[44] Isa rin sa mga sikat na problema ay ang konhetura ni Goldbach, na nagsasabing lahat ng mga tukol na buumbilang na higit sa 2 ay ang suma ng dalawang pangunahing bilang. Una itong ipinahayag noong 1742, at di tulad ng naunang halimbawa, wala pa rin itong malinaw na solusyon.[45]

Heometriya

Bagamat parehong tatsulok, magkaiba ang mga anggulo ng dalawang halimbawa. Saklaw ito ng dalawang magkaibang larangan sa heometriya: Euclides at esperiko.

Isa sa mga pinakamatandang sangay ng matematika ang heometriya, na nakatuon sa mga hugis, linya, bilog, at anggulo. Nagmula ito sa pangangailangan sa agrimensura at inhinyera.[46]

Sa heometriya nagsimula ang konsepto ng pagpapatunay, nang ginamit ito ng mga sinaunang Griyegong matematiko upang tukuyin ang mga pahayag na siguradong totoo. Sa sistemang ito, hindi sapat ang pagsukat sa isang bagay; dapat patunayan kung magkapareho sila sa pamamagitan ng paggamit sa mga pahayag na napatunayan na noon. Maaari ring gamitin ang mga likas na pahayag (hal. "walang sulok ang bilog") at mga napagkasunduang mga aksoma. Ang prosesong ito ay pormal na isinakodigo sa Mga Elemento ni Euclides noong 300 BKP.[47]

Si Euclides din ang nagpasimula sa isang sangay ng heometriya na ipinangalan sa kanya, ang heometriyang Euclides. Nakatuon ito sa mga hugis na nabuo gamit ang mga linya at bilog na nasa kalapagang Euclides (Ingles: Euclidean plane) o, sa kaso ng tatlong dimensiyon, sa isang espasyong Euclides.[46]

Walang nagbago sa pag-aaral sa heometriya hanggang noong ipinakilala ni Ren Descartes ang sistema ng koordinado sa larangan. Imbes na ituring na mga sukat sa isang linyang pambilang ang mga tunay na bilang, ginawa na itong mga punto sa isang kalapagan sa anyong koordinado na . Dahil rito, nagawang magamit ng mga matematiko ang alhebra sa pag-aaral, gayundin ang kalkulo at iba pang mga larangan kalaunan, na nagresulta sa paghati sa heometriya sa dalawang pangunahing sangay: sintetiko o tradisyonal, at pasuri o koordinado.[48]

Sa heometriyang pasuri mapag-aaralan ang mga kurba, na maipapakita sa isang grap ng punsiyon, na kalauna'y magiging sentro ng pag-aaral ng heometriyang deribatibo. Mabibigyang-kahulugan din sila gamit ang mga ekwasyong pahiwatig (Ingles: implicit equation), madalas mga ekwasyong polinomial; ito ang pinag-aaralan sa heometriyang alhebraiko. Naging posible ring pag-aralan dahil sa heometriyang pasuri ang mga espasyong Euclides na higit sa tatlong dimensiyon.[46]

Nadiskubre ng mga matematiko ang mga heometriyang di-Euclides, na hindi sumusunod sa palagay ng pagkaayon (Ingles: parallel postulate). Nagresulta ito sa kabalintunaan ni Russell at sa mas malawak na krisis sa haligi ng matematika. Naresolba ito sa pamamagitan ng pagsasagawa ng isang sistematikong kaparaanang aksomatiko, at ipahayag na hindi isang problema sa matematika ang katotohanan ng mga piling aksoma.[49] Dahil dito, pinayagan ng kaparaanang aksomatiko na mapag-aralan ang mga heometriyang nagagawa sa pamamagitan ng pagbago sa mga aksoma o sa pagkonsidera sa mga katangian na hindi nagbabago sa ilalim ng mga partikular na transpormasyon sa espasyo.[50]

Alhebra

refer to caption
Ang pormulang kwadratiko, na ginagamit sa alhebra upang hanapin ang mga solusyon sa isang ekwasyong kwadratiko.

Sa pinakasimpleng kahulugan, alhebra ang sangay ng matematika na nakatuon sa pagmamanipula sa mga ekwasyon at pormula. Pinasimulan ito nina Diofante at al-Khwarizmi.[51] Niresolba ni Diofante ang ilang mga ekwasyon na may mga likas na bilang na hindi tukoy sa pamamagitan ng paghahanap sa mga relasyon hanggang sa makita niya ang solusyon.[52] Samantala, gumawa naman si al-Khwarizmi ng mga sistematikong kaparaanan para baguhin ang mga ekwasyon, tulad halimbawa ng paglipat ng isang bahagi nito papunta sa kabila.[53] Ang salitang alhebra ay nagmula sa pamagat ng kanyang aklat, Al-Jabr, isinulat noong bandang 820 KP sa Baghdad.[54]

Naging isang ganap na sangay ng matematika ang alhebra noong ipinakilala ni François Viète ang paggamit sa mga baryable upang kumatawan sa mga di-tukoy na mga halaga. Dahil dito, nagawang mailarawan ng mga matematiko ang mga operasyong gagawin sa mga bilang gamit ng mga pormula.[55]

Hanggang noong ika-19 na siglo, limitado lang ang alhebra sa pag-aaral sa mga ekwasyong linyar (ngayo'y bahagi ng alhebrang linyar) at polinomial na may nag-iisang hindi alam na halaga (tinatawag noon na mga ekwasyong alhebraiko, bagamat hindi na ngayon ito ginagamit dahil sa pagiging malabo ng naturang salita). Pagsapit ng ika-19 na siglo, nagsimulang gumamit ang mga matematiko ng mga baryable upang kumatawan hindi lang sa mga bilang kundi sa ibang mga matematikal na bagay kagaya ng matris, kung saan madalas tama ang mga operasyon sa aritmetika.[56] Dahil dito, ipinakilala sa alhebra ang konsepto ng estrakturang alhebraiko, na nagresulta kalaunan sa alhebrang basal sa pangunguna ni Emmy Noether.[57]

Pinag-aaralan sa alhebrang pangkalahatan at teorya ng kategorya ang mga estrakturang alhebraiko bilang mga bagay sa matematika.[58] Hindi limitado ang teorya ng kategorya sa mga estraktura sa alhebra; magagamit ito sa lahat ng mga estraktura sa matematika. Una itong ipinakilala kasama ng alhebrang homolohikal upang mapag-aralan sa alhebra ang mga bagay na di-alhebraiko, tulad ng mga espasyong topolohikal. Nagresulta ito sa pag-aaral na topolohiyang alhebraiko.[59]

Kalkulo at pagsusuri

Ang sekwensiyang Cauchy, na nagpapakita sa mga elemento (mga punto) na papalapit nang papalapit sa isa't-isa sa paglipas ng sekwensiya.

Kalkulo, sa pinakasimpleng paliwanag, ang pag-aaral sa relasyon ng mga baryableng nakadepende sa isa't-isa. Magkahiwalay itong nadebelop noong ika-17 siglo nina Isaac Newton at Gottfried Leibniz, na nagresulta sa isang panandaliang kontrobersiya ukol sa sinong unang nakaimbento sa larangan.[60] Pinalawak pa ito nang husto sa sumunod na siglo ni Leonhard Euler na nagpakilala sa konsepto ng punsiyon at sa marami pang iba.[61] Sa kasalukuyan, itinuturing ang kalkulo bilang ang mababang antas ng pag-aaral at pagsusuring matematikal ang tawag sa mas mataas na pag-aaral sa larangan.[62]

Nahahati rin ang pagsusuri sa dalawang sangay: pagsusuring tunay, na nakatuon sa pagsusuri sa mga tunay na bilang, at pagsusuring komplikado, na nakatuon naman sa mga komplikadong bilang. Kaugnay rin sa pagsusuri ang pagsusuring pambilang, na ginagamit madalas sa agham pangkompyuter.

Matematikang diskreto

Ang kadenang Markov, na may dalawang estadong at . Kumakatawan ang mga bilang sa probabilidad ng pagbago ng estado.

Sa pangkalahatang kahulugan, matematikang diskreto ang pag-aaral sa mga indibidwal at mabibilang na mga bagay sa matematika, kagaya ng pangkat ng lahat ng mga buumbilang.[63] Dahil diskreto ang mga bagay na pinag-aaralan dito, hindi magagamit ang mga kaparaanan sa kalkulo at pagsusuri.[c] Mahalaga sa sangay na ito ang mga algoritmo, lalo na ang kanilang implementasyon at pagkakomplikado sa pagkompyut.[64]

Ang teorema ng apat na kulay at ang optimal na pagpapakete sa espero ang dalawa sa mga problema sa matematikang diskreto na nalutas pagsapit ng ika-20 siglo.[65] Mahalaga din sa sangay ang problemang P o NP, isa sa mga pinakamahahalagang problemang di pa nalulutas, dahil malaki ang implikasyon ng magiging solusyon nito sa mga problema itinuring na mga mahirap makompyut, na madalas basehan sa modernong kriptograpiya.[66]

Lohika at teorya ng pangkat

A blue and pink circle and their intersection labeled
Ang diagramang Venn, na madalas gamitin bilang representasyon sa mga pangkat. Ipinapakita ng ang salubungan ng pangkat at . Sa madaling salita, ipinapakita nito ang lahat ng mga elemento na meron ang dalawang pangkat.

Bagamat matagal na'ng pinag-aaralan ang lohika at teorya ng pangkat, naging pormal itong bahagi ng matematika pagsapit ng dulo ng ika-19 na siglo.[67] Bago ito, hindi kinokonsiderang mga bagay sa matematika ang mga pangkat, at mas ginugrupo naman ang lohika sa pilosopiya, bagamat ginagamit rin ito sa mga pagpapatunay sa matematika.[68]

Bago pag-aralan ni Georg Cantor ang mga walang-hanggang pangkat, hindi tinatanggap ng mga matematiko ang ideya ng isang koleksyong tunay na walang-hanggan, at mas kumikiling sa ideya ng kawalang-hangganan bilang resulta ng walang katapusang enumerasyon. Kontrobersiyal ang ideyang ito ni Cantor, dahil sa implikasyon na may iba't-ibang laki ang kawalang-hangganan na pinapatunayan ng argumentong pahalang ni Cantor.[69][70] Sa panahon ding ito natukoy sa maraming sangay ng matematika na may mga bagay sa matematika na hindi sapat ang kahulugan upang masiguro ang kahigpitan.[71] Kalaunan, nagresulta ito sa isang krisis sa mga haligi ng matematika.[72]

Naresolba rin ito kalaunan sa matematika sa pamamagitan ng pagsasagawa sa isang sistematikong kaparaanan ng paggawa ng mga aksoma sa loob ng isang pormalisadong teorya ng pangkat. Sa madaling salita, binibigyang-kahulugan ang bawat bagay sa matematika gamit ang pangkat ng lahat na magkakatulad na mga bagay at ang mga katangiang dapat meron ito.[40] Halimbawa, sa aritmetika ni Peano, binibigyang-kahulugan ang likas na bilang sa pahayag na "isang bilang ang sero", "may natatanging susunod ang bawat bilang", "may natatanging nauna ang bawat bilang maliban sa sero", at ibang mga tuntunin.[73] Nakaayon sa pilosopiya ng pormalismo ni David Hilbert ang kabasalan sa matematika mula sa realidad.[74]

Nananatiling isang problema sa pilosopiya ang kalikasan ng matematika, bagamat may mga matematikong may opinyon patungkol rito. Dahil dito, kinonsidera ang mga lohika, pangkat, patunay, at iba pa bilang mga bagay sa matematika, upang mabigyan sila ng mga teorema magpapatunayan sa mga ito. Halimbawa, sa mga teorema ng di-pagkakumpleto ni Gödel, sinasabi na sa bawat konsistent na pormalisadong sistema na naglalaman ng mga likas na bilang, may mga teorema na totoo (na mapapatunayan sa isang mas malakas na sistema) na hindi mapapatunayan sa sistemang yon.[75]

Estadistika at agham pandesisyon

Distribusyong normal na nagpapakita rin sa pamantayang paglihis.

Estadistika ang sangay ng matematika na nakatuon sa pagkolekta at pagproseso sa mga datos, gamit ang mga kaparaanang hango sa matematika, lalo sa probabilidad. Gumagawa ng mga datos ang mga estadistiko gamit ang naka-random na sample o eksperimento.[76]

Pinag-aaralan sa teorya ng estadistika ang mga problema sa pagdedesisyon tulad ng pagpapababa ng panganib (inaasahang pagkalugi) sa isang gawain. Gumagamit sila ng isang proseso para rito: pagtatáya, pagte-test, at pagpili sa pinakatama. Sa tradisyonal na sangay na ito ng estadistikang pangmatematika, nagagawa ang isang problema sa pagdedesisyon sa pamamagitan ng pagpapababa sa punsiyon ng pagkalugi o gastos sa ilalim ng ilang partikular na balakid. Halimbawa, madalas na napapababa ng mga sarbey ang gastos sa pagtatáya sa medya (Ingles: mean) ng populasyon para sa isang partikular na antas ng pagkasigurado (Ingles: confidence level).[77] Dahil gamit nito sa optimisasyon, madalas na kasama rin ang estadistika sa ibang mga agham pandesisyon, tulad ng pananaliksik pang-operasyon, teorya ng kontrol, at matematikang pang-ekonomika.[78]

Matematikang komputasyonal

Ang teorema ng apat na kulay ang unang teoremang napatunayan sa tulong ng kompyuter.[79] Ayon sa teoremang ito, apat na kulay lang ang kailangan upang kulayan ang mapa nang walang magkatabing magkaparehong kulay, na ipinapakita nitong mapa ng mundo.

Matematikang komputasyonal ang pag-aaral ng mga problema sa matematika na madalas malaki masyado para makompyut ng mga tao.[80] Pinag-aaralan sa pagsusuring pambilang ang mga kaparaanang para sa mga problema sa pagsusuri gamit ang pagsusuring punsiyonal at teorya ng pagtatáya.[81] Nakatuon ito sa pagtatáya at pagdidiskreto na may pokus sa mga error sa pag-round. Ginagamitan madalas ang mga ito ng kompyuter o superkompyuter upang makagawa ng mga patunay.

Relasyon

Sobra-sobrang pagkamabisa

Ang sobra-sobrang pagkamabisa ng matematika sa ibang mga larangan, na unang napansin ni Eugene Wigner, ay isang penomenang kung saan maraming teorya sa matematika, kahit maging mga teorya sa purong sangay nito, ay nakahanap ng gamit labas sa mga layunin nito. May mga teorya kasi na nagawa bago lumitaw ang teknolohiyang makakagamit nito. Halimbawa nito ang pangunahing pagsasalik (Ingles: prime factorization) sa mga likas na bilang, na unang nadiskubre 2,000 taon na ang nakararaan at nagamit lang sa praktikal na paraan nang maimbento ang kriptosistemang RSA para sa seguridad sa internet. Noong ika-19 na siglo, dumating kalaunan ang heometriya sa punto na natuklasan ng mga matematiko ang mga heometriyang di-Euclides, mga dimensiyon na higit sa tatlo, at mga manipoldo. Sa puntong ito ng kasaysayan, wala itong direktang gamit sa pisikal na realidad, hanggang noong nadebelop ni Albert Einstein ang kanyang teorya ng relatibidad na gumagamit sa tatlong konseptong ito; isang espasyong di-Euclides ang espasyo-panahon na inilarawan sa natatanging relatibidad na may apat na dimensiyon, at ang espasyo-panahon naman ng pangkalahatang relatibidad ay isang nakakurbang manipoldo na may apat na dimensiyon.

Sa pisika naman, ginagamit ang matematika upang makagawa ng mga hinuha ukol sa mga posibleng partikulo na meron sa kalikasan. Halimbawa nito ang pagkadiskubre sa positron at baryon, na unang nailarawan sa teoryang matematikal bago natuklasan ang mga ito sa mga sumunod na taon sa pamamagitan ng mga eksperimento.

Mga agham

Ginagamit madalas ang matematika sa agham sa pagmomodelo ng mga penomena upang makagawa ng mga prediksiyon base sa mga eksperimental na batas. Matuturing na nakadepende lamang ang katumpakan ng mga prediksiyong ito sa kakayahan ng modelo dahil sa kalayaan ng katotohanan sa matematika mula sa kahit anong mga pag-eeksperimento. Dahil dito, masasabing mali ang modelong ginagamit kung mali ang prediksiyon, imbes na mali ang mismong konseptong matematikal. Halimbawa, maipapaliwanag lamang ang perihelyon ng Merkuryo sa pangkalahatang relatibidad ni Albert Einstein, na pumalit sa naunang batas sa grabidad ni Isaac Newton.

Matematikang puro at nalalapat

Hanggang noong ika-19 na siglo, nakaangkla ang pag-aaral sa matematika dahil sa pangangailangan ng teknolohiya at agham; walang malinaw na pagkakaiba ang matematikang puro at nalalapat. Halimbawa, ipinakilala ang mga likas na bilang at aritmetika dahil sa pangangailangan ng pagbibilang, at heometriya naman ang resulta ng agrimensura, arkitektura, at astronomiya. Naipaliwanag ang paggalaw ng mga planeta pagsapit ng pag-usbong ng kalkulo. Sa panahong ito, tipikal na siyentipiko rin ang mga matematiko, at kabaligtaran. Gayunpaman, sa sinaunang Gresya, may hiwalay na pag-aaral para sa matematikang puro. Walang gamit labas sa matematika ang pagsasalik sa buumbilang (Ingles: integer factorization), na unang inimbestigahan ni Euclides noong 300 BKP, hanggang noong naimbento ang kriptosistemang RSA na ginagamit ngayon sa mga network ng kompyuter.

Noong ika-19 na siglo, nagsimulang mag-imbestiga nang malaliman ang mga matematiko tulad nina Karl Weierstrass at Richard Dedekind sa mga problema ng matematika. Nahati ang matematika bilang resulta nito, sa dalawang sangay na puro at nalalapat. Bagamat magkahiwalay, madalas na walang malinaw na hangganan ang dalawang sangay na ito. Matapos ng Ikalawang Digmaang Pandaigdig, mabilis na umusad ang pagdebelop sa matematikang nalalapat sa Estados Unidos at ibang lugar. Marami sa mga teoryang nadebelop para magamit ay resulta ng interes ng mga matematikong purista, na kalaunan ay nakahanap din ng gamit labas sa matematika.

Pisika

Kompyuting

Biolohiya at kimika

Agham pandaigdig

Agham panlipunan

Astrolohiya at esoterismo

Pilosopiya

Talababa

  1. ibang katawagan: sipnayan[2]
  2. Halimbawa nito ang paggamit ni Platon sa ika-6 na aklat, bahagi 510c ng kanyang Republika, bagamat hindi niya itong direktang sinabi.[5]
  3. Ginagamit din minsan ang ilang mga konsepto sa pagsusuri, tulad ng mga kaparaanan sa pagsusuring komplikado para sa paggawa ng serye.

Sanggunian

Sipi

  1. 1.0 1.1 "matematika - Diksiyonaryo". diksiyonaryo.ph. Nakuha noong 13 Hunyo 2024.{{cite web}}: CS1 maint: date auto-translated (link)
  2. 2.0 2.1 "sipnayan": Del Rosario, Gonsalo (1969). Salcedo, Juan (pat.). Maugnaying Talasalitaang Pang-agham Ingles-Pilipino (sa wikang Filipino). Maynila, Pilipinas: Lupon sa Agham. p. 39.{{cite book}}: CS1 maint: date auto-translated (link)
  3. 3.0 3.1 Dunne, Edward; Hulek, Klaus (Marso 2020). "Mathematics Subject Classification 2020" (PDF). Notices of the American Mathematical Society (sa wikang Ingles). 67 (3): 410–411. doi:10.1090/noti2052. eISSN 1088-9477. ISSN 0002-9920. LCCN sf77000404. OCLC 1480366. Inarkibo (PDF) mula sa orihinal noong 3 Agosto 2021.{{cite journal}}: CS1 maint: date auto-translated (link)
  4. Harper, Douglas (28 Marso 2019). "Mathematic (n.)" [Matematika (png.)]. Online Etymology Dictionary (sa wikang Ingles). Inarkibo mula sa orihinal noong 7 Marso 2013.{{cite ensiklopedya}}: CS1 maint: date auto-translated (link)
  5. Platon (1969) [375 BKP]. Republic [Republika] (sa wikang Ingles). Sinalin ni Paul Shorey. Harvard University Press. Inarkibo mula sa orihinal noong 24 Pebrero 2024.{{cite book}}: CS1 maint: date auto-translated (link)
  6. Harper, Douglas (22 Disyembre 2018). "Mathematical (adj.)" [Matematikal (pnu.)]. Online Etymology Dictionary (sa wikang Ingles). Inarkibo mula sa orihinal noong 26 Nobyembre 2022.{{cite ensiklopedya}}: CS1 maint: date auto-translated (link)
  7. Perisho, Margaret W. (Tagsibol 1965). "The Etymology of Mathematical Terms" [Ang Etimolohiya ng mga Terminong Pangmatematika]. Pi Mu Epsilon Journal (sa wikang Ingles). 4 (2): 62–66. ISSN 0031-952X. JSTOR 24338341. LCCN 58015848. OCLC 1762376.{{cite journal}}: CS1 maint: date auto-translated (link)
  8. Boas, Ralph P. (1995). "What Augustine Didn't Say About Mathematicians" [Kung Anong Hindi Sinabi ni San Agustin Patungkol sa mga Matematiko]. Sa Alexanderson, Gerald L.; Mugler, Dale H. (mga pat.). Lion Hunting and Other Mathematical Pursuits: A Collection of Mathematics, Verse, and Stories [Pangangaso sa Leon at Ibang Mga Tunguhing Matematikal: Koleksyon ng Matematika, Berso, at Kuwento] (sa wikang Ingles). Mathematical Association of America. p. 257. ISBN 978-0-88385-323-8. LCCN 94078313. OCLC 633018890.{{cite book}}: CS1 maint: date auto-translated (link)
  9. Gallardo, Susana (7 Agosto 2013). "Matemática o matemáticas ¿Una cuestión de número?" [Matemática o matemáticas Tanong ng bilang?]. NEXciencia (sa wikang Kastila). Pamantasan ng Buenos Aires.{{cite web}}: CS1 maint: date auto-translated (link)
  10. "Maths (Noun)". Oxford English Dictionary (sa wikang Ingles). Oxford University Press.
  11. "Math (Noun³)". Oxford English Dictionary (sa wikang Ingles). Oxford University Press. Inarkibo mula sa orihinal noong 4 Abril 2020.{{cite web}}: CS1 maint: date auto-translated (link)
  12. Almario, Virgilio S. (1997). Tradisyon at wikang Filipino. Sentro ng Wikang Filipino, Sistemang Unibersidad ng Pilipinas. ISBN 978-971-8781-69-2.{{cite book}}: CS1 maint: date auto-translated (link)
  13. "Early Human Counting Tools" [Mga Sinaunang Kagamitang Pambilang ng mga Tao]. Math Timeline (sa wikang Ingles).
  14. Zaslavsky, Claudia (1999). Africa Counts: Number and Pattern in African Culture [Nagbibilang ang Aprika: Bilang at Terno sa Kulturang Aprikano.] (sa wikang Ingles). Chicago Review Press. ISBN 978-1-61374-115-3. OCLC 843204342.{{cite book}}: CS1 maint: date auto-translated (link)
  15. Kline 1990, Kabanata 1.
  16. Boyer 1991, "Mesopotamia" pp. 24–27.
  17. Heath, Thomas Little (1981) [1921]. A History of Greek Mathematics: From Thales to Euclid [Kasaysayan ng Matematikang Griyego: Mula Tales hanggang Euclides] (sa wikang Ingles). New York: Dover Publications. p. 1. ISBN 978-0-486-24073-2.{{cite book}}: CS1 maint: date auto-translated (link)
  18. Mueller, I. (1969). "Euclid's Elements and the Axiomatic Method" [Mga Elemento ni Euclides at ang Kaparaanang Aksomatiko]. The British Journal for the Philosophy of Science (sa wikang Ingles). 20 (4): 289–309. doi:10.1093/bjps/20.4.289. ISSN 0007-0882. JSTOR 686258.{{cite journal}}: CS1 maint: date auto-translated (link)
  19. Boyer 1991, "Euclid of Alexandria" p. 119.
  20. Boyer 1991, "Archimedes of Syracuse" p. 120.
  21. Boyer 1991, "Archimedes of Syracuse" p. 130.
  22. Boyer 1991, "Revival and Decline of Greek Mathematics" p. 180.
  23. Boyer 1991, "Greek Trigonometry and Mensuration" p. 162.
  24. Boyer 1991, "Apollonius of Perga" p. 145.
  25. Ore, Øystein (1988). Number Theory and Its History [Teorya ng bilang at ang Kasaysayan nito] (sa wikang Ingles). Courier Corporation. pp. 19–24. ISBN 978-0-486-65620-5.{{cite book}}: CS1 maint: date auto-translated (link)
  26. Singh, A. N. (Enero 1936). "On the Use of Series in Hindu Mathematics" [Ukol sa Paggamit ng Serye sa Matematikang Hindu]. Osiris (sa wikang Ingles). 1: 606–628. doi:10.1086/368443. JSTOR 301627. S2CID 144760421.{{cite journal}}: CS1 maint: date auto-translated (link)
  27. Kolachana, A.; Mahesh, K.; Ramasubramanian, K. (2019). "Use of series in India" [Paggamit ng serye sa India]. Studies in Indian Mathematics and Astronomy [Pag-aaral sa Matematika at Astronomiya ng India]. Sources and Studies in the History of Mathematics and Physical Sciences (sa wikang Ingles). Singapore: Springer. pp. 438–461. doi:10.1007/978-981-13-7326-8_20. ISBN 978-981-13-7325-1. S2CID 190176726.{{cite book}}: CS1 maint: date auto-translated (link)
  28. Saliba, George (1994). A history of Arabic astronomy: planetary theories during the golden age of Islam [Kasaysayan ng astronomiyang Arabo: mga teoryang pamplaneta noong ginintuang panahon ng Islam] (sa wikang Ingles). New York University Press. ISBN 978-0-8147-7962-0. OCLC 28723059.{{cite book}}: CS1 maint: date auto-translated (link)
  29. Faruqi, Yasmeen M. (2006). "Contributions of Islamic scholars to the scientific enterprise" [Mga ambag ng mga iskolar na Muslim sa maagham na tunguhin]. International Education Journal (sa wikang Ingles). Shannon Research Press. 7 (4): 391–399. Inarkibo mula sa orihinal noong 14 Nobyembre 2022.{{cite journal}}: CS1 maint: date auto-translated (link)
  30. Lorch, Richard (Hunyo 2001). "Greek-Arabic-Latin: The Transmission of Mathematical Texts in the Middle Ages" [Griyego-Arabo-Latin: Ang Paglipat ng mga Tekstong Matematikal sa Gitnang Kapanahunan] (PDF). Science in Context (sa wikang Ingles). Cambridge University Press. 14 (1–2): 313–331. doi:10.1017/S0269889701000114. S2CID 146539132. Inarkibo (PDF) mula sa orihinal noong 17 Disyembre 2022.{{cite journal}}: CS1 maint: date auto-translated (link)
  31. Kent, Benjamin (2022). History of Science [Kasaysayan ng Agham] (PDF) (sa wikang Ingles). Bol. 2. Bibliotex Digital Library. ISBN 9781984668677.{{cite book}}: CS1 maint: date auto-translated (link) CS1 maint: url-status (link)
  32. Archibald, Raymond Clare (Enero 1949). "History of Mathematics After the Sixteenth Century" [Kasaysayan ng Matematika Matapos ng Ika-16 na Siglo]. The American Mathematical Monthly. Part 2: Outline of the History of Mathematics (sa wikang Ingles). 56 (1): 35–56. doi:10.2307/2304570. JSTOR 2304570.{{cite journal}}: CS1 maint: date auto-translated (link)
  33. Raatikainen, Panu (Oktubre 2005). "On the Philosophical Relevance of Gödel's Incompleteness Theorems" [Ukol sa Kahalagahang Pilosopikal ng mga Teorema ng Di-Pagkakumpleto ni Gödel]. Revue Internationale de Philosophie (sa wikang Ingles). 59 (4): 513–534. doi:10.3917/rip.234.0513. JSTOR 23955909. S2CID 52083793. Inarkibo mula sa orihinal noong 12 Nobyembre 2022.{{cite journal}}: CS1 maint: date auto-translated (link)
  34. Sevryuk 2006, pp. 101–109.
  35. Silver, Daniel S. (Nobyembre–Disyembre 2017). "The New Language of Mathematics" [Ang Bagong Wika ng Matematika]. The American Scientist (sa wikang Ingles). Sigma Xi. 105 (6): 364–371. doi:10.1511/2017.105.6.364. ISSN 0003-0996. LCCN 43020253. OCLC 1480717. S2CID 125455764.{{cite journal}}: CS1 maint: date auto-translated (link)
  36. Tiwari, Sarju (1992). "A Mirror of Civilization" [Salamin ng Sibilisasyon]. Mathematics in History, Culture, Philosophy, and Science [Matematika sa Kasaysayan, Kultura, Pilosopiya, at Agham] (sa wikang Ingles) (ika-1 (na) edisyon). New Delhi: Mittal Publications. p. 27. ISBN 978-81-7099-404-6. LCCN 92909575. OCLC 28115124.{{cite book}}: CS1 maint: date auto-translated (link)
  37. Restivo, Sal (1992). "Mathematics from the Ground Up" [Matematika mula Simula]. Sa Bunge, Mario (pat.). Mathematics in Society and History [Matematika sa Lipunan at Kasaysayan]. Episteme (sa wikang Ingles). Bol. 20. Kluwer Academic Publishers. p. 14. ISBN 0-7923-1765-3. LCCN 25709270. OCLC 92013695.{{cite book}}: CS1 maint: date auto-translated (link)
  38. Musielak, Dora (2022). Leonhard Euler and the Foundations of Celestial Mechanics [Si Leonhard Euler at ang mga Haligi ng Mekanikang Pangkalawakan]. History of Physics (sa wikang Ingles). Springer International Publishing. doi:10.1007/978-3-031-12322-1. eISSN 2730-7557. ISBN 978-3-031-12321-4. ISSN 2730-7549. OCLC 1332780664. S2CID 253240718.{{cite book}}: CS1 maint: date auto-translated (link)
  39. Biggs, N. L. (Mayo 1979). "The roots of combinatorics" [Simulain ng kombinatorika]. Historia Mathematica (sa wikang Ingles). 6 (2): 109–136. doi:10.1016/0315-0860(79)90074-0. eISSN 1090-249X. ISSN 0315-0860. LCCN 75642280. OCLC 2240703.{{cite journal}}: CS1 maint: date auto-translated (link)
  40. 40.0 40.1 Warner, Evan. "Splash Talk: The Foundational Crisis of Mathematics" [Mabilisang Usapan: Ang Krisis sa Haligi ng Matematika] (PDF) (sa wikang Ingles). Columbia University. Inarkibo mula sa ang orihinal (PDF) noong 22 Marso 2023.{{cite web}}: CS1 maint: date auto-translated (link)
  41. LeVeque, William J. (1977). "Introduction" [Simula]. Fundamentals of Number Theory [Mga Simulain sa Teorya ng Bilang] (sa wikang Ingles). Addison-Wesley Publishing Company. pp. 1–30. ISBN 0-201-04287-8. LCCN 76055645. OCLC 3519779. S2CID 118560854.{{cite book}}: CS1 maint: date auto-translated (link)
  42. Goldman, Jay R. (1998). "The Founding Fathers" [Mga Haliging Ama]. The Queen of Mathematics: A Historically Motivated Guide to Number Theory [Ang Reyna ng Matematika: Isang Gabay Pangkasaysayan ukol sa Teorya ng Bilang] (sa wikang Ingles). Massachusetts: A K Peters. pp. 2–3. doi:10.1201/9781439864623. ISBN 1-56881-006-7. LCCN 94020017. OCLC 30437959. S2CID 118934517.{{cite book}}: CS1 maint: date auto-translated (link)
  43. Weil, André (1983). Number Theory: An Approach Through History From Hammurapi to Legendre [Teorya ng Bilang: Pagtingin sa Kasaysayan mula kay [Hammurabi] hanggang Legendre] (sa wikang Ingles). Birkhäuser Boston. pp. 2–3. doi:10.1007/978-0-8176-4571-7. ISBN 0-8176-3141-0. LCCN 83011857. OCLC 9576587. S2CID 117789303.{{cite book}}: CS1 maint: date auto-translated (link)
  44. Hesselink, Wim H. (3 Abril 2008). "Computer verification of Wiles' proof of Fermat's Last Theorem" [Beripikasyon sa kompyuter ng patunay ni Wiles sa Huling Teorema ni Fermat]. www.cs.rug.nl (sa wikang Ingles). Inarkibo mula sa orihinal noong 18 Hunyo 2008.{{cite web}}: CS1 maint: date auto-translated (link)
  45. Wang, Yuan (2002). The Goldbach Conjecture [Ang Konhetura ni Goldbach]. Series in Pure Mathematics (sa wikang Ingles). Bol. 4 (ika-2 (na) edisyon). World Scientific. pp. 1–18. doi:10.1142/5096. ISBN 981-238-159-7. LCCN 2003268597. OCLC 51533750. S2CID 14555830.{{cite book}}: CS1 maint: date auto-translated (link)
  46. 46.0 46.1 46.2 Straume, Eldar (4 Setyembre 2014). "A Survey of the Development of Geometry up to 1870" [Sarbey sa Pagdebelop ng Heometriya hanggang 1870] (sa wikang Ingles). arXiv:1409.1140 [math.HO].{{cite arXiv}}: CS1 maint: date auto-translated (link)
  47. Hartshorne, Robin (2000). "Euclid's Geometry" [Heometriya ni Euclides]. Geometry: Euclid and Beyond [Heometriya: Mula kay Euclides] (sa wikang Ingles). Springer New York. pp. 9–13. ISBN 0-387-98650-2. LCCN 99044789. OCLC 42290188.{{cite book}}: CS1 maint: date auto-translated (link)
  48. Boyer, Carl B. (2004) [1956]. "Fermat and Descartes" [Si Fermat at Descartes]. History of Analytic Geometry [Kasaysayan ng Heometriyang Pasuri] (sa wikang Ingles). Dover Publications. pp. 74–102. ISBN 0-486-43832-5. LCCN 2004056235. OCLC 56317813.{{cite book}}: CS1 maint: date auto-translated (link)
  49. Kleiner, Israel (Disyembre 1991). "Rigor and Proof in Mathematics: A Historical Perspective" [Higpit at Patunay sa Matematika: Isang Pananaw sa Kasaysayan]. Mathematics Magazine (sa wikang Ingles). Taylor & Francis, Ltd. 64 (5): 291–314. doi:10.1080/0025570X.1991.11977625. eISSN 1930-0980. ISSN 0025-570X. JSTOR 2690647. LCCN 47003192. MR 1141557. OCLC 1756877. S2CID 7787171.{{cite journal}}: CS1 maint: date auto-translated (link)
  50. O'Connor, J. J.; Robertson, E. F. (Pebrero 1996). "Non-Euclidean geometry" [Heometriyang di-Euclides]. MacTuror (sa wikang Ingles). Eskosya: University of St. Andrews. Inarkibo mula sa orihinal noong 6 Nobyembre 2022.{{cite web}}: CS1 maint: date auto-translated (link)
  51. Kleiner 2007, "History of Classical Algebra" pp. 3–5.
  52. Shane, David (2022). "Figurate Numbers: A Historical Survey of an Ancient Mathematics" [Mga Bilang Pigura: Isang Sarbey sa Kasaysayan ng isang Sinaunang Matematika] (PDF). Methodist University (sa wikang Ingles). p. 20.{{cite web}}: CS1 maint: date auto-translated (link)
  53. Overbay, Shawn; Schorer, Jimmy; Conger, Heather. "Al-Khwarizmi". University of Kentucky.
  54. Berntjes, Sonja. "Algebra" [Alhebra]. Encyclopaedia of Islam Online (sa wikang Ingles) (ika-3 (na) edisyon). ISSN 1573-3912. LCCN 2007238847. OCLC 56713464.
  55. Oaks, Jeffery A. (2018). "François Viète's revolution in algebra" [Ang rebolusyon ni François Viète sa alhebra] (PDF). Archive for History of Exact Sciences (sa wikang Ingles). 72 (3): 245–302. doi:10.1007/s00407-018-0208-0. eISSN 1432-0657. ISSN 0003-9519. LCCN 63024699. OCLC 1482042. S2CID 125704699. Inarkibo (PDF) mula sa orihinal noong 9 Nobyembre 2022.{{cite journal}}: CS1 maint: date auto-translated (link)
  56. Kleiner 2007, "History of Linear Algebra" pp. 79–101.
  57. Corry, Leo (2004). "Emmy Noether: Ideals and Structures" [Emmy Noether: Mga Ideya at Estraktura]. Modern Algebra and the Rise of Mathematical Structures [Modernong Alhebra at ang Pag-angat ng mga Estrakturang Pangmatematika] (sa wikang Ingles) (ika-2nd revised (na) edisyon). Alemanya: Birkhäuser Basel. pp. 247–252. ISBN 3-7643-7002-5. LCCN 2004556211. OCLC 51234417.{{cite book}}: CS1 maint: date auto-translated (link)
  58. Riche, Jacques (2007). "From Universal Algebra to Universal Logic" [Mula Pangkalahatang Alhebra hanggang Pangkalahatang Lohika]. Sa Beziau, J. Y.; Costa-Leite, Alexandre (mga pat.). Perspectives on Universal Logic [Mga Pananaw sa Pangkalahatang Lohika] (sa wikang Ingles). Milano, Italya: Polimetrica International Scientific Publisher. pp. 3–39. ISBN 978-88-7699-077-9. OCLC 647049731.{{cite book}}: CS1 maint: date auto-translated (link)
  59. Krömer, Ralph (2007). Tool and Object: A History and Philosophy of Category Theory [Kagamitan at Bagay: Kasaysayan at Pilosopiya ng Teorya ng Kategorya]. Science Networks - Historical Studies (sa wikang Ingles). Bol. 32. Alemanya: Springer Science & Business Media. pp. xxi–xxv, 1–91. ISBN 978-3-7643-7523-2. LCCN 2007920230. OCLC 85242858.{{cite book}}: CS1 maint: date auto-translated (link)
  60. Guicciardini, Niccolo (2017). "The Newton–Leibniz Calculus Controversy, 1708–1730" [Ang Kontrobersiya nina Newton at Leibniz sa Kalkulo, 1708-1730] (PDF). Sa Schliesser, Eric; Smeenk, Chris (mga pat.). The Oxford Handbook of Newton [Handbook ng Oxford tungkol kay Newton]. Oxford Handbooks (sa wikang Ingles). Oxford University Press. doi:10.1093/oxfordhb/9780199930418.013.9. ISBN 978-0-19-993041-8. OCLC 975829354. Inarkibo (PDF) mula sa orihinal noong 9 Nobyembre 2022.{{cite book}}: CS1 maint: date auto-translated (link)
  61. O'Connor, J. J.; Robertson, E. F. (Setyembre 1998). "Leonhard Euler". MacTutor. Eskosya: University of St Andrews. Inarkibo mula sa orihinal noong 9 Nobyembre 2022.{{cite web}}: CS1 maint: date auto-translated (link)
  62. "Calculus (Differential and Integral Calculus with Examples)" [Kalkulo (Kalkulong Deribatibo at Integral na may mga Halimbawa)]. Byju's (sa wikang Ingles).
  63. Franklin, James (Hulyo 2017). "Discrete and Continuous: A Fundamental Dichotomy in Mathematics" [Diskreto at Tuluyan: Pundamental na Dikotomiya sa Matematika]. Journal of Humanistic Mathematics (sa wikang Ingles). 7 (2): 355–378. doi:10.5642/jhummath.201702.18. ISSN 2159-8118. LCCN 2011202231. OCLC 700943261. S2CID 6945363.{{cite journal}}: CS1 maint: date auto-translated (link)
  64. Maurer, Stephen B. (1997). "What is Discrete Mathematics? The Many Answers" [Ano ang Matematikang Diskreto? Mga Mararami Nitong Sagot]. Sa Rosenstein, Joseph G.; Franzblau, Deborah S.; Roberts, Fred S. (mga pat.). Discrete Mathematics in the Schools [Matematikang Diskreto sa mga Paaralan]. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science (sa wikang Ingles). Bol. 36. American Mathematical Society. pp. 121–124. doi:10.1090/dimacs/036/13. ISBN 0-8218-0448-0. ISSN 1052-1798. LCCN 97023277. OCLC 37141146. S2CID 67358543.{{cite book}}: CS1 maint: date auto-translated (link)
  65. Hales, Thomas C. (2014). "Turing's Legacy: Developments from Turing's Ideas in Logic" [Legasiya ni Turing: Mga Nadebelop mula sa mga Ideya ni Turing sa Lohika]. Sa Downey, Rod (pat.). Turing's Legacy [Legasiya ni Turing]. Lecture Notes in Logic (sa wikang Ingles). Bol. 42. Cambridge University Press. pp. 260–261. doi:10.1017/CBO9781107338579.001. ISBN 978-1-107-04348-0. LCCN 2014000240. OCLC 867717052. S2CID 19315498.{{cite book}}: CS1 maint: date auto-translated (link)
  66. Sipser, Michael (Hulyo 1992). The History and Status of the P versus NP Question [Ang Kasaysayan at Estado ng Tanong na P o NP]. STOC 1992 (sa wikang Ingles). pp. 603–618. doi:10.1145/129712.129771. S2CID 11678884.{{cite conference}}: CS1 maint: date auto-translated (link)
  67. Ewald, William (Nobyembre 17, 2018). "The Emergence of First-Order Logic" [Ang Pag-usbong ng Lohika ng Unang Antas]. Stanford Encyclopedia of Philosophy (sa wikang Ingles). ISSN 1095-5054. LCCN sn97004494. OCLC 37550526.{{cite ensiklopedya}}: CS1 maint: date auto-translated (link)
  68. Ferreirós, José (Disyembre 2001). "The Road to Modern Logic—An Interpretation" [Ang Daan patungong Modernong Lohika - Interpretasyon] (PDF). The Bulletin of Symbolic Logic (sa wikang Ingles). 7 (4): 441–484. doi:10.2307/2687794. eISSN 1943-5894. hdl:11441/38373. ISSN 1079-8986. JSTOR 2687794. LCCN 95652899. OCLC 31616719. S2CID 43258676.{{cite journal}}: CS1 maint: date auto-translated (link)
  69. Wolchover, Natalie, pat. (26 Nobyembre 2013). "Dispute over Infinity Divides Mathematicians" [Hati ang mga Matematiko sa Problema ng Kawalang-Hanggan]. Quanta Magazine (sa wikang Ingles).{{cite web}}: CS1 maint: date auto-translated (link)
  70. Zhuang, Chaohui. "Wittgenstein's analysis on Cantor's diagonal argument" [Pagsusuri ni Wittgenstein sa argumentong pahalang ni Cantor] (DOC). PhilArchive (sa wikang Ingles).
  71. Tanswell, Fenner Stanley (2024). Mathematical Rigour and Informal Proof [Kahigpitan sa Matematika at Impormal na Patunay]. Cambridge Elements in the Philosophy of Mathematics (sa wikang Ingles). Cambridge University Press. doi:10.1017/9781009325110. eISSN 2399-2883. ISBN 978-1-009-49438-0. ISSN 2514-3808. OCLC 1418750041.{{cite book}}: CS1 maint: date auto-translated (link)
  72. Avigad, Jeremy; Reck, Erich H. (11 Disyembre 2001). ""Clarifying the nature of the infinite": the development of metamathematics and proof theory" ["Paglilinaw sa kalikasan ng kawalang-hanggan": ang pagdebelop ng metamatematika at teorya ng patunay] (PDF). Carnegie Mellon University (sa wikang Ingles).{{cite web}}: CS1 maint: date auto-translated (link)
  73. Hamilton, Alan G. (1982). Numbers, Sets and Axioms: The Apparatus of Mathematics [Bilang, Pangkat, at Aksoma: Mga Aparato ng Matematika] (sa wikang Ingles). Cambridge University Press. pp. 3–4. ISBN 978-0-521-28761-6.{{cite book}}: CS1 maint: date auto-translated (link)
  74. Snapper, Ernst (Setyembre 1979). "The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism" [Ang Tatlong Krisis sa Matematika: Lohisismo, Intuisiyonismo, at Pormalismo]. Mathematics Magazine (sa wikang Ingles). 52 (4): 207–216. doi:10.2307/2689412. JSTOR 2689412.{{cite journal}}: CS1 maint: date auto-translated (link)
  75. Raatikainen, Panu (Oktubre 2005). "On the Philosophical Relevance of Gödel's Incompleteness Theorems" [Ukol sa Kaugnayang Pilosopikal ng mga Teorema ng Di-Pagkakumpleto ni Gödel]. Revue Internationale de Philosophie (sa wikang Ingles). 59 (4): 513–534. doi:10.3917/rip.234.0513. JSTOR 23955909. S2CID 52083793. Inarkibo mula sa orihinal noong 12 Nobyembre 2022.{{cite journal}}: CS1 maint: date auto-translated (link)
  76. Rao, C. Radhakrishna (1997) [1989]. Statistics and Truth: Putting Chance to Work [Estadistika at Katotohanan: Paglalagay ng Tiyansa sa Gawa] (sa wikang Ingles) (ika-2 (na) edisyon). World Scientific. pp. 3–17, 63–70. ISBN 981-02-3111-3. LCCN 97010349. MR 1474730. OCLC 36597731.{{cite book}}: CS1 maint: date auto-translated (link)
  77. Rao, C. Radhakrishna (1981). "Foreword" [Panimula]. Sa Arthanari, T.S.; Dodge, Yadolah (mga pat.). Mathematical programming in statistics [Pagpoprogramang matematikal sa estadistika]. Wiley Series in Probability and Mathematical Statistics (sa wikang Ingles). New York: Wiley. pp. vii–viii. ISBN 978-0-471-08073-2. LCCN 80021637. MR 0607328. OCLC 6707805.{{cite book}}: CS1 maint: date auto-translated (link)
  78. Whittle 1994, pp. 10–11, 14–18.
  79. Swart, Edward Reinier (1980), "The philosophical implications of the four-color problem" [Ang mga implikasyon sa pilosopiya ng problema ng apat na kulay], American Mathematical Monthly (sa wikang Ingles), Mathematical Association of America, bol. 87, blg. 9, pp. 697–702, doi:10.2307/2321855, JSTOR 2321855, MR 0602826{{citation}}: CS1 maint: date auto-translated (link)
  80. Johnson, Gary M.; Cavallini, John S. (Setyembre 1991). Phua, Kang Hoh; Loe, Kia Fock (mga pat.). Grand Challenges, High Performance Computing, and Computational Science [Mga Dakilang Hamon, Kompyuting na High Performance, at Agham Komputasyonal]. Singapore Supercomputing Conference 1990 (sa wikang Ingles). World Scientific. p. 28. LCCN 91018998.{{cite conference}}: CS1 maint: date auto-translated (link)
  81. Trefethen, Lloyd N. (2008). "Numerical Analysis" [Pagsusuring Pambilang]. Sa Gowers, Timothy; Barrow-Green, June; Leader, Imre (mga pat.). The Princeton Companion to Mathematics [Ang Katulong ng Princeton sa Matematika] (PDF) (sa wikang Ingles). Princeton University Press. pp. 604–615. ISBN 978-0-691-11880-2. LCCN 2008020450. MR 2467561. OCLC 227205932. Inarkibo (PDF) mula sa orihinal noong 7 Marso 2023.{{cite book}}: CS1 maint: date auto-translated (link)

Pinagkunan

Magbasa pa

Link sa labas