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

(32 av 225 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

D.R. Hofstadter, Gödel, Escher, Bach: Ett evigt gyllene band ( svensk översättning 1985);
E. Nagel & J. Newman, Gödel’s Proof ( 1958);
B. Rosser, ”An informal proof of Gödel’s and Church’s theorems”, Journal of Symbolic Logic 1939.
Källangivelse
Nationalencyklopedin, Gödels ofullständighetssats. http://www.ne.se/uppslagsverk/encyklopedi/lång/gödels-ofullständighetssats