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
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse