Informatika és tudomány

  • braindance
    #28
    Gödel tétele (1931) összegezve: ha egy matematikai rendszerben minden igazság, amely a rendszer ezközeivel egyátalán kimondható (megfogalmazható), valamilyen módon a rendszeren belül be is bizonyítható, akkor ez a rendszer szükségszerűen ellentmondásos.
    Másféleképpen: ha egy formális rendszer ellentmondásmentes, akkor megfogalmazható benne olyan állítás, amely a rendszer keretein belül nem bizonyítható, se nem cáfolható. (...)
    Még kevésbé formalizáltan: Ha a logikánkkal minden igazságra nyitottak akarunk maradni, akkor a rendszerek váltogatása szükségszerű.

    (Mérő L., Új Észjárások)