Informatika és tudomány

  • ge3lan
    #659
    Azt mindenki szája íze szerint eldöntheti, hogy neki mi számít igaznak :)
    De talán elmondható, hogy az igaz, ami egy adott axiómarendszeren belül igaz, levezethető a megengedett lépésekkel :)
    Nekünk meg úgy kell eldönteni dolgokról, hogy igazak-e a természetben, hogy nem minden (esetleg 0) axiómáját ismerjük (már ha van ilyen)