Informatika és tudomány

  • BiroAndras
    #374
    "Szóval amit mondani szeretnék az az, hogy a matek egy általunk létrehozott formális nyelv (illetve többféle)."

    Az ember a tapasztalat alapján vagy önkényesen felállíthat axiómákat, de az azokra felépülő rendszerre már nincs befolyása, az egyértelműen adott.
    Ezt nézhetjük úgy is, hogy a matematika az összes leehtséges axióma és az azok minden következménye, az meber pedig egyes területeket felderít, másokat nem.

    "És amikor egy fizikai elméletben arra használjuk, hogy segítségével levezetünk valamit, akkor a levezetett dolog nem biztos, hogy igaz lesz a világra.
    Ellenőrizni kell."

    Ilyenkor garntáltan az axiómák a tévesek, nem a levezetés (feltéve, hogy nem hibáztunk).