Godel-teorio: Diferi inter la revizi
Kontenajo efacita Kontenajo adjuntita
m roboto adjuntas: ar:مبرهنة عدم الاكتمال لغودل |
m roboto modifikas: tr:Gödel'in eksiklik teoremi |
||
| Lineo 39: | Lineo 39: | ||
[[sv:Gödels ofullständighetssats]] |
[[sv:Gödels ofullständighetssats]] |
||
[[th:ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล]] |
[[th:ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล]] |
||
[[tr:Gödel'in |
[[tr:Gödel'in eksiklik teoremi]] |
||
[[uk:Теореми Геделя про неповноту]] |
[[uk:Теореми Геделя про неповноту]] |
||
[[zh:哥德尔不完备定理]] |
[[zh:哥德尔不完备定理]] |
||
Versiono ye 16:28, 5 di agosto. 2008
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.)