Matemátika (starogrškoμαθηματικά: mathēmatiká, starogrškoμάθημα: máthēma - -thematos - znanost, znanje, učenje, študij; starogrškoμαθηματικός: mathematikos - ljubezen do učenja) je znanstvena veda, ki raziskuje vzorce. Vsebuje abstraktne lastnosti množin, struktur, sprememb in prostora. Ta stran zrcali organiziran pogled na matematiko. Benjamin Peirce je imenoval matematiko »znanost, ki podaja nujne sklepe«. Druga opredelitev navaja, da je matematika znanost o vzorcih, ki se lahko nahajajo v številih, prostoru, znanosti, računalnikih, navideznih ali stvarnih abstrakcijah, oziroma kjerkoli. Matematiki te vzorce raziskujejo in poskušajo formulirati nove domneve in ugotoviti njihovo resničnost s strogodeduktivno izpeljavo iz ustrezno izbranih aksiomov in definicij.
Področje raziskovanja, ki se imenuje zgodovina matematike, se v osnovi ukvarja z raziskovanjem začetkov odkritij v matematiki in v manjši meri tudi z raziskovanjem matematičnih metod in z matematičnih notacij skozi zgodovino.
Zgodovino matematike lahko razumemo kot vedno večjo vrsto abstrakcij. Prva abstrakcija, ki si jo delijo številne živali[1] so bila verjetno števila: spoznanje, da imata (na primer) zbirka dveh jabolk in zbirka dveh pomaranč nekaj skupnega, in sicer količino njenih članov.
Kot dokazujejo palice rovaš, narejene iz kosti, so predzgodovinska ljudstva poleg tega, da so štela fizične predmete, poznala tudi kako šteti abstraktne količine kot je čas - dnevi, letni časi, leta.[2]
Dokazi za bolj zapleteno matematiko se pojavijo šele okoli 3000 pr. n. št., ko so Babilonci in Egipčani začeli uporabljati aritmetiko, algebro in geometrijo za obdavčevanje in druge finančne izračune, za gradnjo in konstrukcijo ter za astronomijo.[3] Najzgodnejša uporaba matematike je bila pri trgovanju, merjenju zemlje, slikarstvu in tkalstvu ter beleženju časa.
Med 600 in 300 pr. n. št. so Stari Grki začeli s sistematičnim študijem matematike, ki jo poznamo kot grška matematiko.[4]
V zlati dobi islama, zlasti v 9. in 10. stoletju je matematika doživela številne pomembne novosti, ki temeljijo na grški matematiki: večina med njimi vključuje prispevke perzijskih matematikov, kot so Al-Horizmi, Omar Hajam in Sharaf al-Dīn al-Ṭūsī.
Matematika se je od takrat močno razširila in med matematiko in naravoslovjem je prišlo do sodelovanje, ki je v korist obema. Odkritja v matematiki se pojavljajo še danes. Mihaila B. Sevryuka je v januarski izdaji Bulletin of the American Mathematical Society izjavil "Število člankov in knjig, vključenih v podatkovno bazo Mathematical Reviews od leta 1940 (prvo leto delovanja MR), je danes večje od 1,9 milijonov in v bazo podatkov se vsako leto doda več kot 75 tisoč postavk. Velika večina del vsebuje nove matematične izreke in njihove dokaze."[5]
Etimologija
Beseda matematika je prevzeta (verjetno prek nemške Mathematik) iz latinske(ars) mathēmatica, to pa iz starogrškeμαθηματικὴ τέχνη (mathēmatikḗ tékhnē) ‛matematika’. Pridevnik μαθηματικός mathēmatikós ‛matematičen’, prvotneje ‛ukaželjen, odprte glave’, je izpeljan iz gr. μάθημα máthēma ‛znanje, znanost, veda, nauk’, to pa iz glagola manthánō ‛učim se, spoznavam’[6]
Podobno je bila ena od dveh glavnih šol v pitagorejstvu imenovana mathēmatikoi (μαθηματικοί) - kar je takrat pomenilo "učitelji" in ne "matematiki" v sodobnem pomenu.
V latinščini in angleščini je do okoli leta 1700 izraz mathematics pogosteje pomenil "astrologijo" (in včasih "astronomijo") in ne "matematiko"; pomen se je postopoma spremenil v današnji približno v letih od 1500 do 1800. To je bil vzrok za občasno napačno prevajanje. Na primer, opozorilo svetega Avguština, da se morajo kristjani paziti mathematici, kar je takrat pomenilo astrologov, je včasih napačno prevedeno kot obsodba matematikov.[7]
Navidezna množinska oblika v angleščini, tako kot francoska množinska oblika les mathématiques (in manj pogosto uporabljena izpeljanka v ednini la mathématique), izhaja iz srednjega spola množine mathematica (Cicero), ki temelji na grški množini τα μαθηματικά (ta mathēmatiká), ki jo je uporabljal Aristotel (384–322 pr. n. št.) in pomeni približno "vse matematične stvari". Čeprav je verjetno, da si je angleščina izposodila le pridevnik matematika(al) in na novo oblikovala samostalnik mathematics po vzorcu physics in metaphysics, ki sta bila podedovana iz grščine.[8] V angleščini je samostalnik mathematics je edninski glagol. Pogosto se skrajša na maths ali v angleško govoreči Severni Ameriki na math[9]
Z namenom, da bi pojasnili temelje matematike, sta se razvili področji matematične logike in teorije množic. Matematična logika vključuje matematično raziskovanje logike in uporabo formalne logike na drugih področjih matematike; teorija množic je veja matematike, ki raziskuje množice ali zbirke objektov. Teorija kategorij, ki se ukvarja na abstraktni način z matematičnimi strukturami in odnosi med njimi, je še vedno v razvoju.
Matematična logika je temeljna matematična panoga, ki obravnava in formalizira neprotislovno sklepanje.[10] Znana sta Gödlova izreka o nepopolnosti, kjer Gödel pokaže, da matematike ni mogoče vzpostaviti kot celostnega logičnega sistema, saj zmeraj obstajajo trditve, za katere ne moremo zgolj s formalno izpeljavo pokazati, ali so resnične ali neresnične; in da matematike nikakor ne moremo zaobjeti z nobenim končnim sistemom aksiomov.[11]
Teoretično računalništvo vključuje teorijo izračunljivosti, teorijo računske zahtevnosti in teorijo informacij. Teorija izračunljivosti opozarja, da je skoraj zanemarljiv delež problemov, ki si jih lahko formalno zastavimo, rešljiv algoritmično,[12] vključno z zelo znanim modelom - Turingov stroj. Teorija kompleksnosti je posebno področje matematike, ki se ukvarja s kompleksnostjo algoritmov. Nekateri problemi, ki so teoretično rešljivi z računalnikom, so predragi v smislu porabe časa in prostora in bodo verjetno ostali nerešljivi četudi se strojna oprema hitro razvija. Eden znamenitejših nerešenih problemov v matematiki je "P = NP?" problem in je eden izmed Millennium Prize Problems.[13] Teorija informacij se ukvarja s količinami podatkov, ki se lahko shranjujejo na nek medij, in se zatorej ukvarja s koncepti kot sta stiskanje podatkov in entropija.
Ko se je številski sistem razvijal naprej, so cela števila prepoznali kot podmnožicoracionalnih števil (»ulomkov«). Ti so bili vsebovani znotraj realnih števil in so včasih predstavljali zvezne velikosti. Realna števila so posplošeno kompleksna števila. To so prvi koraki hierarhije števil, ki se nadaljujejo do kvaternionov in oktonionov. Upoštevanje naravnih števil je vodilo do transfinitnih števil, ki formalizirajo koncept »neskončnosti«. Drugo področje raziskovanja je bilo velikost, ki je vodilo do kardinalnih števil in nato do drugega koncepta neskončnosti: števila alef, ki dovoljujejo primerjavo velikosti neskončno velikih množic.
Veliko matematičnih objektov, kot so množice števil in funkcije imajo notranjo strukturo kot posledico operacij in relacij, ki so definirane nad množico. Matematika nato raziskuje lastnosti teh množic, ki se lahko izrazijo s temi strukturami; na primer teorija števil raziskuje lastnosti množice celih števil, ki se lahko izrazijo z aritmetičnimi operacijami. Poleg tega se pogosto zgodi, da imajo različne strukturirane množice (ali strukture) podobne lastnosti, kar omogoča, z naslednjim korakom abstrakcije, opredeljevanje aksiomov za razred struktur, in nato raziskovanje celotnega razreda struktur naenkrat lahko ustreza tem aksiomom. Zatorej lahko nekdo raziskuje grupe, kolobarje, obsege in druge abstraktne sisteme; skupaj takšne študije (strukture definiranih z algebrskimi operacijami) sestavljajo področje abstraktne algebre.
Abstraktna algebra se pogosto lahko uporabi za navidezno nepovezane probleme; na primer: kar nekaj antičnih problemov, ki zadevajo geometrijsko konstrukcijo so rešili z uporabo Galoisove teorije, ki vključuje teorijo obsegov in teorijo grup. Drug primer je linearna algebra, ki se v splošnem ukvarja z vektorskim prostorom, katerega elementi, ki se imenujejo vektor, imajo velikost in smer, in se lahko uporabijo kot model točk v prostoru. Kombinatorika proučuje načine razporejanja objektov, da ustrezajo določeni strukturi.
Uporabna matematika vsebuje matematične metode, ki se tipično uporabljajo v znanosti, tehniki, trgovini in industriji. Torej »uporabna matematika« je matematična znanost s specializiranimi znanji. V preteklosti je praktična uporaba motivirala razvoj matematičnih teorij, ki so potem postale subjekt čistih matematik. Zatorej je uporabna matematika pomembno povezana z raziskovanji v čisti matematiki.
Verjetno je najprestižnejša matematična nagrada Fieldsova medalja[14][15] ustanovljena leta 1936. Podeljujejo jo vsake štiri leta (razen v drugi svetovni vojni) štirim posameznikom. Fieldsova medalja se pogosto šteje za matematični ekvivalent Nobelove nagrade.
Wolfova nagrada za matematiko, ustanovljena leta 1978, podeljuje nagrade za življenjske dosežke. Druga velika mednarodna nagrada, Abelova nagrada, je bila uvedena leta 2003. Chernova medalja je bila uvedena leta 2010. Ta priznanja se podeljujejo kot priznanje za določeno matematičen dosežek, ki je lahko inovativen ali pa ponuja rešitev določenega problema na določenem področju.
Slavni seznam 23-ih odprtih problemov, imenovan "Hilbertovi problemi", je leta 1900 sestavil nemški matematik David Hilbert. Ta seznam je med matematiki imel močal vpliv in tako da je danes rešenih vsaj devet težav. Leta 2000 je bil objavljen nov seznam sedmih pomembnih problemov z naslovom "Millennium Prize Problems". Rešitev vsake od teh težav prinaša nagrado 1 milijona USD, le ena od njih (Riemannova domneva) je tudi v Hilbertovih problemih.
↑»Matematika«. Fran/Slovenski etimološki slovar. Pridobljeno 30. avgusta 2021.
↑Boas, Ralph (1995) [1991]. »What Augustine Didn't Say About Mathematicians«. Lion Hunting and Other Mathematical Pursuits: A Collection of Mathematics, Verse, and Stories by the Late Ralph P. Boas, Jr. Cambridge University Press. str. 257.
Peirce, Benjamin (1881). Peirce, Charles Sanders (ur.). »Linear associative algebra«. American Journal of Mathematics (Corrected, expanded, and annotated revision with an 1875 paper by B. Peirce and annotations by his son, C.S. Peirce, of the 1872 lithograph izd.). 4 (1–4): 97–229. doi:10.2307/2369153. hdl:2027/hvd.32044030622997. JSTOR2369153. Corrected, expanded, and annotated revision with an 1875 paper by B. Peirce and annotations by his son, C. S. Peirce, of the 1872 lithograph ed. GoogleEprint and as an extract, D. Van Nostrand, 1882, GoogleEprint. Arhivirano iz spletišča dne 31. marca 2021. Pridobljeno 17. novembra 2020..
Peterson, Ivars (2001). Mathematical Tourist, New and Updated Snapshots of Modern Mathematics. Owl Books. ISBN978-0-8050-7159-7.