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.