Előíró akkor lenne ha azért működnének úgy a dolgok ahogy mert a matematika szabályai ezt határozzák meg

Ez egészen pontosan így van. A matematikában egy állítást, mondjuk azt, hogy a2=b2+c2, nem úgy igazolák, hogy rajzolnak egymillió derékszögű háromszöget (amik ugye eleve nem is léteznek a való világban) és megnézik, hogy ez tényleg igaz-e rájuk, hanem úgy, hogy fogják az axiómákat és levezetik belőle.

mérnökként én még nem találkoztam olyan elvont absztrakt matematikával ami igazából önmagában létezik és nem leír valamilyen logikai kapcsolatot.

A "logikai kapcsolat" is az "önmagában létező" matematika része. MINDEN matematika, amivel kapcsolatba kerültél, az önmagában létezik: vannak az axiómái és minden azokból következik és - ha nincs köztük ellentmondás - akkor olyan axiómákat választunk, amilyeneket csak akarunk (lásd pl. a nem-euklideszi geometriákat).

Senki sem állítja, hogy a matematika az önmagában bármiféle létező dolgokat képviselne és ennek megfelelően nincs is visszacsatolás a valós világból a matematikába. Ott nem fordulhat elő, hogy hát basszus rosszul mértünk, aztán kiderül, hogy 2+2 az nem négy, hanem csak 3,9999999999999999999999999999999999999999999999743 - ahogy az megtörént viszont a fizikában.

[ Szerkesztve ]