Informatika és tudomány

  • vision5
    #143
    "Gondoltál már arra, hogy érdemes lenne formalizálni? Definiálni a problémára egy nyelvet, és ennek tükrében vizsgálni a problémát?"

    A formális nyelvekkel az a baj hogy nagyon könnyű hibás következtetést levonni, lévén egy modellt építünk fel vele a problémáról és mint minden modell, hiányos adatokból építkezik és figyelmen kívül hagyhat tényeket (tökéletes modell nincs mert az maga lenne a valóság). A logikai buktatók miatt minden bebizonyítható de az ellenkezője is.