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 endre
- Denne artikkelen bygger på «Gödel's incompleteness theorems» frå Wikipedia på engelsk, den 13. september 2011.
🔥 Top keywords: HovudsideSvenska flaggans dagCarles PuigdemontSpesial:SøkSvartifossVerdas landOddmund Løkensgard HoelSpesial:Siste endringarHimalayaDet norske alfabetetKrøllalfaAndre verdskrigenWikipedia:KontaktDet svenske flaggetMidsommarJordbruksrevolusjonenSynnøve SvabøNormandieFensfeltetLønnLakseroljeplanteØresundbruaKategori:Noregsmeisterskap i friidrettMorten SandøyWikipedia:OmHjelp:InnhaldNasjonaldyrIslandNoregMoney av Pink FloydNazismeJonsokHeggspinnmøllWikipedia:AtterhaldOslo kommuneLavskrikjeTysklandElektrofagRussland