"Ez oda-vissza igaz, nem csak egy irányban. Matematikailag kidolgozott modellt is lehet készíteni és ellenőrizni mondjuk a fizikában"

halkan megjegyzem, hogy mérnök gyártmányú főnökeim nem igazán jártasak a matematikában. (a négy alapműveletet ismerik, meg talán a gyökvonást. és néhány képletet.) heurisztikusan kezelik a problémákat/feladatokat. (néha következetesen rosszul, de az más kérdés.) viszont jelentős lexikális tudásuk van, anyagokról és alkatrészekről.

nekem meg az a bajom velük, hogy szoftvert készíteni csak a formális logika alapján lehet. egyelőre. mert a számítógép nem gondolkodik, hanem a betáplált utasításokat hajtja végre. és ennek az illesztése a valós világhoz, meg az emberek elvárásaihoz elég problémás időnként. sajnos a matematika nem természettudomány. de a feladatok megoldásánál másra nem nagyon támaszkodhatunk.