Godel-teorio
From Wikipedia, the free encyclopedia
Remove ads
Teorio di Godel es teorio quo montras la vaneso di probar establisar kompleta axiomala formaligo di matematiko.
Kurt Godel pruvis (1931) ke omna *konsequema matematikala sistemo mustas esar nekompleta. To es, en irga sistemo on povas konstruktar formuli nek pruvebla, nek despruvebla en la sistemo.
Pluse, nula matematikala sistemo es pruvebla kom konsequema, sen uzar axiomi exter la sistemo.
La teorio di Godel profunde efikis atitudi vers la fundamento di matematiko.
(Videz anke logiko.)
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads