Dogmy ve fyzice a IT: jak odlišit vědu

Antivědecké dogmaty ve fyzice, matematice a programování

Vědecké poznání má hodnotu, pokud se opírá o pozorování a umožňuje předpovídat děje v přírodě. Užitečnost je klíčovým znakem vědy, která se od filozofických spekulací liší. Ve fyzice, matematice i programování se akumulovalo mnoho dogmat, která tomuto principu v rozporu jsou a brzdí rozvoj těchto oborů.

Autor, fyzik podle vzdělání a programátor podle povolání, zdůrazňuje: nesmyslné přesvědčení nejsou jen bezúčelné, ale i škodlivé. Vznikají z historických předsudků, komerčních zájmů a společenské inertnosti.

Dogmatismus ve fyzice

Fyzika zkoumá přírodu ve svém celém rozmanitosti — od elementárních částic až po sociální interakce. Modely se staví na měřeních a ověřují se statistikou. Hypotézy jsou přijatelné při nedostatku dat, ale nemohou být vyhlášeny za nevyhnutelné pravdy.

Problémy začínají, když úspěšné hypotézy označíme za 'božské'. Kodaňská interpretace kvantové mechaniky tvrdí neshodnost s klasickou fyzikou bez důkazu. Obecná teorie relativity (OTR) je v rozporu s některými experimenty, ale drží se kvůli 'matematické kráse'.

Vědecká komunita projevuje inerci: alternativní výklady kvantové mechaniky se publikují vzácně, kritika OTR ohrožuje kariéru. Redakční politika časopisů, 'žlutá' žurnalistika a granty na spekulativní téma jako superstruny posilují dogmaty.

Mnoho teorií 'vesmíru' je založeno na myšlenkách bez experimentálního základu. Odchylky od dat se zakrývají 'podpěrkami'. To naznačuje absence fundamentální teorie — předčasná fixace dogmat je antivědecká.

Problémy matematiky: estetika proti konstruktivitě

Matematiku často nazývají 'královna věd', což zdůrazňuje její vnitřní krásu, nikoli praktické použití. Většina textů vyhýbá praktické hodnotě a zaměřuje se na abstrakce. To snižuje její užitečnost jako nástroje vědy.

Klíčové rozdělení je mezi konstruktivní (intuicionistickou) matematikou a klasickou. V konstruktivní matematice vyžaduje důkaz algoritmus, který vytváří důkaz pravdivosti. Axiom výběru a zákon vyloučeného třetího jsou zanedbány.

Příklad:

• Tvrzení: 'Všechny kočky, které jsem viděl, jsou milé'.
• Nekonstruktivně: 'Mohou existovat nenáviděné kočky' (bezúčelné).
• Konstruktivně: Ukázat konkrétní 'strašidelnou' kočku.

Nekonstruktivní metody dávají intuici, ale pouze konstruktivní závěry mají vědeckou hodnotu. Jsou základem programování.

Programování jako experimentální disciplína

Programování řeší reálné problémy, blíže k fyzice než ke abstraktní matematice. Nicméně mnoho vývojářů jej nepovažuje za vědu a spoléhá na 'nejlepší postupy' bez kritiky.

Antivědecké dogmaty vznikají z marketingu: abecedy jako SOLID, propagace objektově orientovaného programování korporacemi (Java). Myšlenky se prosazují ne proto, že jsou užitečné, ale protože jsou propagované. Výsledkem je těžký legacy-kód, přestavba výuky i trhu práce.

• Marketing vs. věda: Knihy a konference populárnější techniky, které jsou podezřelé.
• Důsledky: Kódy jsou plné nadbytečnosti, vývojáři stráví čas 'standardy' místo efektivity.
• Řešení: Hodnotit techniky podle měřitelného užitku — výkon, údržba, náklady na provoz.

Programování vyžaduje experimenty: měřit, modelovat, odmítat neefektivní postupy.

Co je důležité

• Užitečnost je univerzálním kritériem vědy: poznání musí předpovídat a zlepšovat skutečný svět.
• Dogmaty ve fyzice (OTR, kodaňská interpretace) brzdí pokrok kvůli společenské inertnosti.
• Konstruktivní matematika zajišťuje algoritmické důkazy, základ pro programování.
• V IT dogmatismus z marketingu vytváří legacy-kód; potřebujeme empirické testy technik.
• Rozvoj vyžaduje skepsi k autoritám a zaměření na experimenty.

— Editorial Team