Ufullstendigheitsteorema
Ufullstendigheitsteorema er to teorem i matematisk logikk laga av Kurt Gödel i 1931 og begge er viktige i matematisk logikk og matematisk filosofi.
Dei seier hovudsakleg at det ikkje er mogeleg å finne eit komplett og konsistent sett med aksiom for all matematikk, og er dermed eit negativt svar til Hilberts andre problem.
Teorema seier at i kvart matematisk aksiomsystem sterkt nok til å uttrykke vanleg aritmetikk, vil det alltid finnast sanne påstandar som ikkje er mogeleg å bevise.
Kjelder
This article uses material from the Wikipedia Nynorsk article Ufullstendigheitsteorema, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Teksten er tilgjengeleg under CC BY-SA 4.0 om ikkje anna er oppgjeve. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Nynorsk (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.