Gödels ofullständighetssats
Gödels ofullständighetssats [gø:ʹdəls], ett av de mest betydande och överraskande resultaten inom logiken och matematikens grundvalsforskning, som visar att inte ens vissa mycket elementära matematiska teorier kan fullständigt axiomatiseras i form av ett formellt system.
Matematikens axiomatisering hade på 1910-talet nått en slags kulmen genom Bertrand Russells och A.N. Whiteheads verk ”Principia Mathematica”, som visade hur i stort sett all den då kända matematiken kunde framställas som ett formellt system. I ett arbete publicerat 1931 visade Kurt Gödel att varje sådant system dock måste vara
Litteraturanvisning
Medverkande
Dag Prawitz
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.