Dogmy w fizyce i IT: jak odróżnić naukę

Anty-naukowe dogmaty w fizyce, matematyce i programowaniu

Wiedza naukowa ma wartość tylko wtedy, gdy opiera się na obserwacjach i pozwala przewidywać zjawiska w przyrodzie. Przydatność to kluczowy kryterium naukowości, które odróżnia ją od filozoficznych spekulacji. W fizyce, matematyce i programowaniu zgromadziło się wiele dogmatów sprzecznych z tym zasadą, hamujących rozwój tych dziedzin.

Autor, fizyk po wykształceniu i programista po zawodzie, podkreśla: absurdalne przekonania nie są tylko bezużyteczne, ale również szkodliwe. Powstają one z historycznych uprzedzeń, interesów handlowych i niewolności społeczności.

Dogmatyzm w fizyce

Fizyka bada przyrodę w jej różnorodności — od cząstek elementarnych po interakcje społeczne. Modele buduje się na pomiarach, sprawdza się statystycznie. Hipotezy są dopuszczalne przy braku danych, ale nie można ich podnosić do rangi niezmiennych prawd.

Problemy zaczynają się, gdy udane hipotezy uznaje się za 'boskie'. Kopenhaskie rozumienie mechaniki kwantowej twierdzi o niemożliwości kompatybilności z fizyką klasyczną bez uzasadnienia. Ogólna teoria względności (OTW) sprzeciwia się niektórym eksperymentom, ale jest wspierana ze względu na 'piękno matematyczne'.

Społeczność naukowa wykazuje niewolność: alternatywne interpretacje mechaniki kwantowej publikuje się rzadko, krytyka OTW może zagrozić karierze. Redakcyjna polityka czasopism, 'żółta' prasa i granty na spekulacyjne tematy jak struny powiększają dogmaty.

Wiele teorii 'wszechświata' opiera się na ideach bez fundamentu eksperymentalnego. Rozbieżności z danymi maskuje się 'szpilkami'. To wskazuje na brak fundamentalnej teorii — wcześniejsze zakotwiczenie dogmatów jest anty-naukowe.

Problemy matematyki: estetyka przeciwko konstruktywizmowi

Matematykę nazywa się 'królową nauk', podkreślając wewnętrzną piękno, a nie zastosowanie. Większość tekstów unika wartości praktycznej, skupiając się na abstrakcjach. To zmniejsza jej użyteczność jako narzędzia nauki.

Kluczowe podział: matematyka konstruktywna (intuicyjna) przeciwko klasycznej. W matematyce konstruktywnej dowód wymaga algorytmu budującego dowód prawdy. Aksjomat wyboru i prawo wyłączonego trzeciego są pomijane.

Przykład:

• Stwierdzenie: 'Wszystkie kotki, które widziałem, są miłe'.
• Niekonstruktywnie: 'Mogą istnieć nielubiane kotki' (bezwartościowe).
• Konstruktywnie: Podaj konkretnego 'strasznego' kota.

Niekonstruktywne metody dają intuicję, ale jedynie konstruktywne wnioski mają wartość naukową. Są one podstawą programowania.

Programowanie jako dyscyplina eksperymentalna

Programowanie rozwiązuje realne problemy, bliższe fizyce niż abstrakcyjnej matematyce. Jednak wielu deweloperów nie uważa go za naukę, polegając na 'najlepszych praktykach' bez krytyki.

Anty-naukowe dogmaty rodzą się z marketingu: skróty typu SOLID, promocja OOP przez korporacje (Java). Idee wprowadza się nie z praktycznej korzyści, lecz z popularności. Wynik: ciężki kod legacy, ponowna organizacja edukacji i rynku pracy.

• Marketing vs. nauka: Książki i konferencje promują wątpliwe techniki.
• Skutki: Kodbases pełne nadmiaru, deweloperzy tracą czas na 'standardy' zamiast efektywności.
• Rozwiązanie: Ocenić techniki według mierzalnej korzyści — wydajność, utrzymanie, koszt obsługi.

Programowanie wymaga eksperymentów: mierzyć, modelować, odrzucać nieefektywne.

Co jest ważne

• Przydatność to uniwersalny kryterium naukowości: wiedza musi przewidywać i poprawiać świat rzeczywisty.
• Dogmaty w fizyce (OTW, kopenhaskie rozumienie) hamują postęp z powodu niewolności społeczności.
• Matematyka konstruktywna zapewnia dowody algorytmiczne, podstawa dla programowania.
• W IT dogmatyzm z marketingu tworzy kod legacy; potrzebne są empiryczne testy technik.
• Rozwój wymaga sceptycyzmu wobec autorytetów i skupienia na eksperymentach.

— Editorial Team