Matemaatika areneb kahel erineval teel: range loogiline tuletamine ja avatud uudishimu. Kui teoreetiline matemaatika loob vankumatud raamistikud, kasutades rangeid aksioome ja formaalseid tõestusi, siis uurimuslik matemaatika tugineb arvutamisele, simulatsioonile ja vaatlusele, et avastada ootamatuid mustreid ja genereerida uusi oletusi. Koos moodustavad need pideva matemaatilise avastamise tsükli.
Absoluutse matemaatilise tõe distsiplineeritud taotlemine abstraktsete mõistete, struktuuriaksioomide ja rangete loogiliste tõestuste kaudu.
Induktiivne lähenemisviis, mis kasutab mustrite avastamiseks ja matemaatiliste oletuste genereerimiseks arvutamist, andmete visualiseerimist ja katse-eksituse meetodit.
| Funktsioon | Teoreetiline matemaatika | Uurimuslik matemaatika |
|---|---|---|
| Põhimetoodika | Deduktiivne loogika ja aksioomid | Induktiivne vaatlus ja simulatsioon |
| Peamine eesmärk | Absoluutsete tõestuste kehtestamine | Oletuste ja arusaamade genereerimine |
| Peamine tööriist | Pliiats, paber ja sümboolne loogika | Võimsad arvutid ja algoritmid |
| Tõe olemus | Lõplik ja igavene | Tõenäosuslik ja sugestiivne |
| Vigade käsitlemine | Kehtetuks tunnistab kogu eelduse | Filtreerib välja müra või kõrvalekalletena |
| Ideaalne projekt | Sajandeid vana teoreemi tõestamine | Kaootilise süsteemi käitumise kaardistamine |
| Alguspunkt | Rangete eelduste kogum | Tohutu hulk toorandmeid |
Teoreetiline matemaatika ehitab oma kuningriigi nullist üles, kasutades ranget deduktiivset loogikat. Alustatakse põhiaksioomidest – väidetest, mida aktsepteeritakse täiesti tõestena – ja aheldatakse need hoolikalt kokku, et tõestada uusi teoreeme. Selles distsiplineeritud ruumis pole oletustele ega lähendustele ruumi.
Uurimuslik matemaatika pöörab stsenaariumi pea peale, toimides palju enam nagu eksperimentaalne labor. Formaalse tõestuse ootamise asemel genereeritakse tohutul hulgal andmeid või koodi, et näha, millised mustrid pinnale kerkivad. See hõlmab mängulist katse-eksituse meetodil põhinevat eetost, mis aitab kaardistada tundmatut matemaatilist territooriumi.
Kuigi teoreetilisel matemaatikul on sageli vaja vaid vaikset tuba, tahvlit ja sügavat keskendumist, õitseb uurimuslik matemaatika arvutusvõimel. Kiired protsessorid võimaldavad teadlastel sekunditega simuleerida miljoneid keerulisi stsenaariume. Need digitaalsed katsed paljastavad veidraid käitumisviise, mida inimesed ei suudaks kunagi käsitsi arvutada.
Need kaks distsipliini ei ole rivaalid; nad toetavad teineteist pidevalt. Uuriv matemaatik võib arvutimodelleerimise abil avastada kummalise numbrilise kokkusattumuse, mis omakorda toimib teoreetikule majakana. Seejärel võtab teoreetik selle vihje ja veedab aastaid, et luua range tõestus, mis on vajalik selle kinnistamiseks igavese matemaatilise seadusena.
Uurimuslik matemaatika on lihtsalt laisk matemaatika inimestele, kes ei oska tõestusi kirjutada.
Keeruliste simulatsioonide kodeerimine ja segaste andmete väljundite analüüsimine nõuab tohutut tehnilist oskust. Uurimuslik matemaatika ei ole põgenemine ranguse eest; see on spetsiaalne tööriist just selle kaardi genereerimiseks, mida teoreetikud oma tõestuste juhtimiseks kasutavad.
Teoreetilisel matemaatikal pole reaalse maailmaga mingit seost.
Ajalugu on täis abstraktseid teoreetilisi kontseptsioone, mis alguses tundusid kasutud, kuid hiljem muutsid reaalsust revolutsiooniliselt. Mitte-eukleidiline geomeetria vedeles aastakümneid tolmustel riiulitel, kuni Albert Einstein kasutas seda aegruumi struktuuri selgitamiseks.
Arvutid on muutnud teoreetilise matemaatika iganenuks.
Arvutid suudavad küll analüüsida triljoneid näiteid, aga nad ei suuda kontrollida lõpmatut arvu juhtumeid. Arvuti võib küll näidata, et reegel kehtib esimese miljardi arvu puhul, aga teoreetik peab ikkagi tõestama, et see kehtib igavesti.
Sa pead valima, kas olla teoreetik või maadeavastaja.
Nende kahe lähenemisviisi vaheline piir on tänapäeval uskumatult ähmane. Paljud tänapäeva tippmatemaatikud vahetavad sujuvalt suunda, veetes hommikud mustrite leidmiseks Pythoni skripte käitades ja pärastlõunad tahvelarvutis formaalseid tõestusi kirjutades.
Vali teoreetiline matemaatika, kui sinu eesmärk on luua vankumatud ja püsivad loogilised tõed ning luua tugevad alussüsteemid. Pöördu uurimusliku matemaatika poole, kui soovid sorteerida kaootilisi andmeid, sütitada uusi ideid või paljastada varjatud mustreid tänapäevase arvutusvõimsuse abil.
Kuigi sissejuhatavas matemaatikas kasutatakse seda sageli sünonüümidena, viitab absoluutväärtus tavaliselt reaalarvu kaugusele nullist, samas kui moodul laiendab seda mõistet kompleksarvudele ja vektoritele. Mõlemal on sama põhieesmärk: suunamärkide eemaldamine, et paljastada matemaatilise olemi puhas suurusjärk.
Kui abstraktsed arvud käsitlevad suurusi puhta sümboolse loogikana, mida juhivad formaalsed reeglid ja algebralised võrrandid, siis geomeetrilised tõlgendused kaardistavad need samad väärtused käegakatsutavateks kujunditeks, joonteks ja ruumilisteks mõõtmeteks. Koos moodustavad need kaks vaatenurka matemaatikas kaksikeele, mis tasakaalustab steriilset sümboolset efektiivsust intuitiivse visuaalse mõistmisega.
Singulaarväärtuse dekompositsioon ja omaväärtuse dekompositsioon on lineaaralgebras kaks põhilist maatriksite faktoriseerimismeetodit. Kui omaväärtuse dekompositsioon piirdub ruutmaatriksitega ja paljastab invariantsed suunad, siis singulaarväärtuse dekompositsioon üldistab mis tahes maatriksi kuju, jagades teisendused ortogonaalseteks pööreteks ja diagonaalseteks skaleerimisoperatsioonideks.
Aritmetika põhitasandil jagunevad ühest suuremad täisarvud kaheks eraldi valdkonnaks: algarvud, mis toimivad matemaatika jagamatute ehitusplokkidena, ja liitstruktuurid, mis moodustuvad nende algarvude korrutamisel. See eristamine kujundab kõike alates lihtsatest murdude taandamise meetoditest kuni tänapäevaste krüptograafiaprotokollideni.
See võrdlus selgitab alg- ja kordarvude definitsioone, omadusi, näiteid ning erinevusi – kaht looduslike arvude põhikategooriat. Selgitatakse, kuidas neid tuvastada, kuidas nad käituvad tegurdamisel ning miks nende äratundmine on oluline algebralise arvuteooria põhimõistetes.
