Kodėl matematika atrodo kaip hieroglifai ir ką su tuo daryti
Prisiminkite tą akimirką, kai pirmą kartą pamatėte integralą arba Furjė transformaciją. Didžioji dalis žmonių tuo metu pajuto kažką panašaus į lengvą paniką – lyg kažkas prieš akis padėtų tekstą kita kalba. Ir iš tikrųjų taip yra. Matematikos formulės yra atskira kalba, turinti savo gramatiką, sintaksę ir net estetiką. Problema ta, kad ši kalba dažnai mokoma be jokio konteksto – tiesiog simboliai ant lentos, kurių reikia išmokti mintinai.
Bet štai kas įdomu: matematikos formulių vaizdavimas – tai ne tik pedagoginis klausimas. Tai dizaino, psichologijos, informatikos ir net filosofijos problema. Kaip pateikti abstrakčią idėją taip, kad žmogaus smegenys ją priimtų natūraliai? Kaip padaryti, kad lygybė tarp dviejų išraiškų ne tik būtų suprantama, bet ir jaustųsi teisinga? Apie tai ir kalbėsime.
Tradicinis būdas: kreida, lenta ir kantrybė
Šimtmečius matematika buvo perduodama vienu pagrindiniu kanalu – ranka rašytais simboliais. Mokytojo ranka ant lentos, studento plunksna ant pergamento. Šis metodas turi kažką nepakeičiamo – kai žmogus rašo formulę ranka, jis ją kuria, o ne tiesiog atkartoja. Kiekvienas brūkšnys turi reikšmę.
Rankraštinis matematikos vaizdavimas turi savo taisykles, kurios daugeliui atrodo savaime suprantamos, bet iš tikrųjų yra labai tiksliai apibrėžtos. Pavyzdžiui, integralas ∫ visada rašomas su tam tikru kreivumu, kuris vizualiai primena raidę S – ir tai nėra atsitiktinumas. Leibnizas šį simbolį pasirinko kaip „summa” (suma) santrumpą. Kai žinote tokias istorines detales, simboliai nustoja būti abstraktūs ir tampa pasakojimais.
Praktinis patarimas tiems, kurie moko ar mokosi: rašykite formules lėtai ir sąmoningai. Nekopijuokite mechaniškai – kiekvieno simbolio rašymo metu pasakykite sau garsiai, ką jis reiškia. Tai skamba naiviai, bet neuropsichologai patvirtina, kad motorinė atmintis ir verbalinė atmintis kartu sukuria daug stipresnius ryšius nei bet kuris iš šių kanalų atskirai.
LaTeX – matematikų Šventasis Gralis (ir košmaras vienu metu)
1978 metais Donaldas Knuthas sukūrė TeX sistemą, o vėliau Leslie Lamport ant jos pastatė LaTeX – ir matematikos pasaulis niekada nebuvo toks pat. Jei kada nors skaitėte mokslinį straipsnį su gražiai suformatuotomis formulėmis, didžioji tikimybė, kad tai buvo LaTeX darbas.
LaTeX principas paprastas: jūs rašote kodą, o sistema jį paverčia vizualiai tobulu matematikos tekstu. Norite parašyti kvadratinę šaknį iš x plius y? Rašote \sqrt{x+y} ir gaunate gražų simbolį su horizontalia linija tiksliai virš viso posakio. Norite trupmeną? \frac{a}{b} – ir skaitiklis atsiduria viršuje, vardiklis apačioje, atskirti tiesia linija.
Bet čia prasideda ir problemos. LaTeX mokymosi kreivė yra… stačiokiška. Pradedantysis, bandantis parašyti net paprastą formulę, gali praleisti valandą ieškodamas, kodėl kompiliatorius grąžina klaidą. Pamiršote užverti skliaustą? Klaida. Panaudojote simbolį, kuris rezervuotas sistemai? Klaida. Bandote naudoti LaTeX be interneto ryšio ir be dokumentacijos? Sėkmės.
Nepaisant to, LaTeX išlieka standartu akademiniame pasaulyje, ir tam yra priežastis. Joks kitas įrankis nepasiekia tokio tipografinio tikslumo. Formulės atrodo taip, lyg jas būtų sukūręs obsesyvus perfekcionistas – ir iš tikrųjų taip yra, tik tas perfekcionistas yra algoritmas.
Jei norite pradėti naudoti LaTeX: neinstaliuokite nieko į savo kompiuterį. Pradėkite nuo Overleaf platformos – tai nemokamas naršyklės įrankis, kuriame galite rašyti LaTeX kodą ir iš karto matyti rezultatą. Pirmą savaitę tiesiog kopijuokite pavyzdžius ir keiskite skaičius. Supratimas ateis savaime.
MathML ir interneto matematika – kai formulės turi būti gyvo
Internetas ir matematika ilgą laiką buvo kaip du skirtingų kalbų žmonės, bandantys susikalbėti. HTML puikiai tvarko tekstą, vaizdus, vaizdo įrašus – bet matematikos formulės jam buvo tikras galvos skausmas. Ilgą laiką vienintelis sprendimas buvo formulę paversti paveikslėliu ir įterpti kaip nuotrauką. Tai veikė, bet buvo bjauriai neelegantišku sprendimu – formulė negalėjo būti pakeisto dydžio be pikselizacijos, ekrano skaitytuvai jos negalėjo perskaityti neįgaliesiems, o paieškos varikliai jos nematė.
MathML (Mathematical Markup Language) atsirado kaip W3C standartas, skirtas spręsti šią problemą. Idėja puiki: formulės aprašomos XML struktūra, kurią naršyklė supranta ir atvaizduoja natūraliai. Teoriškai tai reiškia, kad formulė yra tikras turinys, o ne paveiksliukas.
Praktikoje MathML istorija yra tragikomedija. Standartą priėmė, bet naršyklių palaikymas buvo siaubingas. Firefox jį palaikė, Chrome ignoravo metų metus, Safari darė ką norėjo. Tik pastaraisiais metais situacija ėmė gerėti – 2023 metais Chrome pagaliau pradėjo tinkamai palaikyti MathML Core specifikaciją.
Šiandien populiariausias sprendimas internetui yra MathJax arba KaTeX bibliotekos. Jos veikia taip: jūs rašote LaTeX sintaksę tiesiai HTML dokumente, o JavaScript biblioteka ją paverčia gražiomis formulėmis naršyklėje. KaTeX yra greitesnė, MathJax – lankstesnė. Jei kuriate svetainę su daug matematikos, KaTeX bus geresnis pasirinkimas dėl greičio.
Vizualizacija kaip supratimo įrankis – ne tik gražumo dėlei
Yra esminis skirtumas tarp formulės matymo ir formulės supratimo. Ir čia atsiranda vizualizacija – ne kaip papuošimas, o kaip tikras kognityvinės įrankis.
Paimkime Eulerį formulę: e^(iπ) + 1 = 0. Daugelis ją vadina „gražiausia matematikos formule”. Bet jei tiesiog parašysite ją ant popieriaus, didžioji dalis žmonių pamatys penkis simbolius ir šyptelės mandagiai. Tačiau kai parodote animaciją, kurioje kompleksinis skaičius e^(iθ) juda apskritimu kompleksinėje plokštumoje, kai matote, kaip θ = π atitinka tašką (-1, 0), ir kai suprantate, kad plius 1 tiesiog perkelia tą tašką į nulį – formulė staiga tampa ne simbolių rinkiniu, o pasakojimu apie judėjimą.
3Blue1Brown YouTube kanalas yra geriausias šiuolaikinis pavyzdys, kaip vizualizacija gali transformuoti matematikos suvokimą. Grant Sanderson naudoja savo sukurtą Python biblioteką Manim, kuri leidžia kurti animuotas matematines vizualizacijas. Ir tai veikia – jo video apie linijinę algebrą „Essence of Linear Algebra” pakeitė tai, kaip tūkstančiai žmonių supranta matricas ir vektorius.
Praktinis patarimas: jei mokotės matematikos ir kažkas nesiseka, ieškokite vizualizacijos prieš ieškodami dar vieno paaiškinimo tekstu. Desmos.com leidžia interaktyviai braižyti funkcijų grafikus – tiesiog įveskite formulę ir žiūrėkite, kaip ji atrodo. GeoGebra puikiai tinka geometrijai ir algebrai. Wolfram Alpha ne tik apskaičiuos, bet ir parodys grafiką.
Programavimas ir matematika – kai kodas tampa formulės kalba
Yra dar vienas formulių vaizdavimo metodas, apie kurį retai kalbama pedagoginiame kontekste, bet kuris iš tikrųjų yra labai galingas: formulės užrašymas kaip programos kodas.
Kai rašote Python kodu sum(x**2 for x in range(1, n+1)), jūs iš tikrųjų užrašote sumą kvadratų nuo 1 iki n. Tai nėra tradicinė matematinė notacija, bet tai yra vykdoma notacija – galite paleisti ir pamatyti rezultatą su konkrečiomis reikšmėmis. Tokia formulė yra ne tik simbolis, bet ir instrukcija.
Jupyter Notebook aplinka tapo standartine duomenų mokslininkų ir matematikų darbo priemone, nes ji sujungia abu pasaulius: galite rašyti LaTeX formules tiesiai šalia Python kodo, ir abu bus atvaizduoti gražiai tame pačiame dokumente. Tai reiškia, kad galite parašyti formulę matematine notacija, o po ja – tą pačią formulę kaip kodą, ir abu bus suprantami skirtingoms auditorijoms.
Simbolinės matematikos bibliotekos kaip SymPy (Python) arba Mathematica eina dar toliau – jos ne tik apskaičiuoja, bet ir gali pateikti rezultatą LaTeX formatu. Tai reiškia, kad galite paprašyti kompiuterio išdiferencijuoti sudėtingą funkciją ir gauti atsakymą kaip gražią formulę, kurią galite tiesiogiai įklijuoti į dokumentą.
Prieinamumas ir universalus dizainas – formulės visiems
Čia yra tema, apie kurią matematikos bendruomenė kalba per mažai. Kaip matematikos formulės atrodo žmogui, kuris jų nemato? Ekrano skaitytuvai, kuriuos naudoja neregiai, turi didžiulių problemų su matematikos turiniu – jei formulė yra paveikslėlis, skaitytuvas gali tik perskaityti alt tekstą (jei jis apskritai yra). Jei formulė yra MathML, skaitytuvas gali ją perskaityti struktūriškai.
Nemato Braille rašto matematikai egzistuoja Nemeth kodas – speciali Braille sistema, skirta matematikos formulėms. Tai visiškai atskira notacija, kuri leidžia neregiam matematikui skaityti ir rašyti formules liečiant. Tai primena, kad matematikos vaizdavimas nėra tik vizualinis klausimas.
Kitas aspektas – spalvų naudojimas formulėse. Daugelis mokytojų ir autorių naudoja skirtingas spalvas, kad paryškintų skirtingas formulės dalis. Tai puikiai veikia, bet reikia atsiminti, kad apie 8% vyrų ir 0.5% moterų turi kokią nors spalvų matymo sutrikimą. Jei naudojate spalvas kaip vienintelį skyrimo metodą (pavyzdžiui, raudonai pažymite klaidą, žaliai – teisingą atsakymą), dalis auditorijos to tiesiog nematys.
Rekomendacija: naudokite spalvas kartu su kitais vizualiniais ženklais – pavyzdžiui, spalva ir pabraukimu, arba spalva ir skirtingu šrifto storiu. Taip informacija bus prieinama visiems.
Kai formulės tampa menu – ir kodėl tai svarbu kiekvienam
Paskutinis dalykas, apie kurį norisi pakalbėti, yra kažkas, kas gali atrodyti kaip nukrypimas nuo temos, bet iš tikrųjų yra jos šerdis. Matematikos formulių vaizdavimas nėra tik techninis klausimas. Tai klausimas apie tai, kaip mes suvokiame abstrakciją, kaip perduodame idėjas, kaip darome nematomą matomu.
Yra žmonių, kurie kuria meną iš matematikos formulių. Fraktalo generatoriai, kurie iš paprastos iteracinės formulės sukuria begalinę vizualinę sudėtingumą. Parametrinės kreivės, kurios iš trigonometrinių funkcijų sukuria nuostabius raštus. Typografai, kurie laiko LaTeX sukurtą puslapį estetiniu objektu. Visi jie primena, kad formulė nėra tik informacijos nešėja – ji turi formą, ritmą, grožį.
Ir galbūt tai yra geriausias atsakymas į klausimą, kaip vaizduoti matematikos formules: vaizduokite jas taip, kad žmogus ne tik suprastų, bet ir pajustų. Naudokite LaTeX, kai reikia tikslumo. Naudokite animacijas, kai reikia intuicijos. Naudokite kodą, kai reikia eksperimentavimo. Naudokite ranką ir kreida, kai reikia ryšio. Ir visada – visada – pagalvokite apie žmogų kitoje pusėje, kuris žiūri į jūsų formulę ir bando suprasti, ką ji sako.
Matematika nėra skirta tik tiems, kurie „turi galvą skaičiams”. Ji skirta visiems, kurie nori suprasti pasaulio struktūrą. O geras formulių vaizdavimas yra tiltas tarp abstrakčios tiesos ir žmogiško supratimo. Statykite tuos tiltus gerai.
