Čím potenciálně matematiku nahradit?
V poslední odpovědi panu Žíkoveckému a dalším diskutujícím jsem se zmínil, že na další post si ponechám zmínku o něčem, co by mohlo středoškolskou matematiku zcela nebo z větší části nahradit. Mělo by to být něco jednoznačně exaktního a logického, kde se nedají vytahovat záhadné klikyháky uprostřed "logického" odvozování, a mělo by to pomáhat rozvíjet logickou složku myšlení.
Jako excelentní věc, schopná IMHO matematiku v tomto ohledu zcela nahradit, se rýsuje informatika.
Ovšem nikoli "informatika", kde se, v důsledku "zásnub" ministerstva školství s jistou nejmenovanou firmou, žáci učí, že "počítač = windows", "psaní na počítači = word" a "počítání na počítači = excel". A kde se zkouší testy s otázkami typu "na kterém řádku záhlaví excelu a na které pozici zleva je ovládací prvek, kterým změníme písmena v buňce z normálních za silná?". Zažily moje děti na gymnáziu, takže vím, o čem píšu.
Čili pokud informatika, tak opravdu zpracovávání informací počítačem, nejlépe na úrovni jednoduchých programovacích jazyků, u nichž se dá snadno dosáhnout více stupňů abstrakce.
Akceptuji názor pana Satrapy, že ti, kdo se chtějí programováním živit, by neměli začínat svou kariéru s perlem, nicméně pro neprogramátory ho pokládám za jazyk přímo skvělý, protože se v něm jednoduché "malé", věci dají dělat velice snadno a dovede dobře pracovat i s texty (zatímco u řady dalších jazyků je nutno složitě obcházet různá omezení, která v tomto ohledu mají). Pascal byl kdysi vynikající (i jako pedagogický nástroj), ovšem zdegeneroval do microsoftího delphi s tím, že pro současné počíteče a verze OS patrně ani neexistuje rozumně fungující a zdarma dostupný překladač. Java a python jsou zatíženy "povinnou objektovostí", která činí jejich syntaxi nepřehlednou a v řadě případů nelogickou, java je navíc zatížena existencí řady nekompatibilních "dialektů" a naprosto nepřehlednou až zmatečnou dokumentací. Ruby, lua a podobné projekty trpí v zásadně stejnými problémy a možná ještě ve větší míře. BASIC zdegeneroval podobně jako Pascal a je navíc opět zatížen existencí nepřehledné záplavy nekompatibilních druhů a odrůd.
Patrně by neškodily kromě programování základy TeXu (ono to do jisté míry je také programování) na tvorbu dokumentů, případně zvládnutí základů práce s jeho "nevlastním bratrem" metapostem na tvorbu obrázků a další grafiky (metapost považuji za kvalitnější než SVG, protože psaní obrázků přímo v SVG je podobné vytváření postscriptových obrázků přímo textovým editorem, zatímco metapost používá plnohodnotný jazyk s pojmenovanými proměnnými, podmínkami, cykly atd.).
Počítač má proti papíru tu výhodu, že nezkousne nějaký nedefinovaný znak či odkaz na neexistující (nedefinovanou) proceduru. V takovém případě prostě zhavaruje překladač či interpret a je to jednoznačně vinou toho, kdo psal program. Odpadlo by tedy blábolení nad nedefinovanými, nebo jen vágně definovanými pojmy, které je hlavní náplní středoškolské matematiky. Vše pro počítač musí být jasně a jednoznačně definováno, zde nehrozí, že by počítač nahrazoval neexistující nebo nesmyslné definice mechanickým učením se nazpaměť, jak je tomu u studentů. Už v diskusi z roku 2010 zaznělo, že pokud se nedá podle výkladu v učebnici rovnou napsat příslušný úsek počítačového programu, tak je text v té učebnici jednoduše špatně.
Prostě počítač jako mezivrstva mezi matematickým pedagogem a studentem by toho matematika donutil přestat blábolit a začít říkat jasně konkrétní věci. Což je právě to, co ve středoškolské matematice dost zoufale chybí.
Další věcí je, že matematika si osobuje jakési "matematické myšlení", nicméně v reálu vykrádá sousední nebo i nepříbuzné obory. Rozbor problému a algoritmizace jeho řešení v podstatě matematika neumí, zde by se informatika mohla uplatnit daleko lépe a srozumitelněji. Jistěže by se studenti touto cestou mohli dozvědět i řadu ryze matematických informací, ale dozvěděli by se je v jasném a přehledném kontextu, navíc při řešení nějakého praktického problému, tudíž by si je s největší pravděpodobností daleko lépe zapamatovali.
Pochopitelně, s výběrem jazyků a dalších prostředků informatiky vycházím z vlastních zkušeností:
Já osobně jsmem po mnoha peripetiích a námluvách s řadou jazyků skončil právě u toho perlu s tím, že grafiku buď dělám v metapostu, nebo (potřebuji-li grafiku přesnou na pixel) v Image Magicku. Ovšem se zohledněním faktu, že jazyk IM je prostě dost hnusná záležitost (a velmi nízkoúrovňová), takže už jsem párkrát prostřednictvím perlu generoval skript, který, spuštěn jako parametr programu convert (ta součást IM. která umí namalovat podle série příkazů obrázek) vygeneroval finální obrázek. Metapost umí i série očíslovaných obrázků, takže se dá použít i ke tvorbě animací.
A do jisté míry jsem byl donucen si porozumět s TeXem a LaTeXem s výsledkem, že jednoduché věci píšu přímo pro TeX, složitější věci, na které existují v LaTeXu prostředí procedury, dělám v LaTeXu a pokud jsem nucen udělat něco složitého, na co buď nejde nebo z nějakého důvodu nemohu použít LaTeX, tak holt zabořím šňupák do příslušné dokumentace a poperu se s tím TeXem.
U toho (La)TeXu existuje obrovská výhoda i v tom, že TeX byl zakonzervován a s výjimkou odstraňování chyb, které má pod palcem jeho autor, se do něj nepřidávají nové věci a staré se nemění, takže co se člověk naučí, bude moci bez nejmenších problémů použít i za deset a více let (a jsem proto schopen bez nějaké úpravy zpracovat své (La)TeXové dokumenty z konce 90. let, zatímco texty pořízené v tehdejších kancelářských editorech jsou už mnohdy současnými prostředky "nedobytné"). LaTeX tak superkonzervativní není, ale zpravidla tam existuje zpětná kompatibilita a navíc, když by bylo nejhůř, jsou k dispozici původní verze programu (zatímco např. word 95 by člověk na současných počítačích a OS patrně nerozchodil).
A odpadá i problém, kdy po každé změně subverze MS Office je nutno uspořádat spěciální školení, kde se kancelářským slepicím ukáží současné pozice ikonek, na které jsou zvyklé, případně jak si je vrátit na pozice, kde jsou zvyklé je mít, a tím v podtatě eliminovat 90 % a něco toho, co daná inovace obsahuje.