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
(32 av 226 ord)
Vill du få tillgång till hela artikeln?
Medverkande
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