Hopp til innhold
X
Innhald

Kurt Gödel

Kurt Gödel, 1906–78, fødd i Tsjekkia, amerikansk logikar som var professor ved Princeton University, USA, frå 1953. Han gjorde grunnleggjande arbeid innan matematisk logikk. Gödels prov som han sette fram i 1931, går populært sagt ut på at ikkje noko logisk system som er bygd opp av aksiom, kan provast å vere fritt for motseiingar berre med hjelp frå metodane i systemet.

 
Redigert og omsett frå Caplex, digital utgåve 2000–2006
Einerett for nynorsk utgåve etter avtale med Cappelen Damm 2009
 

Først publisert: 12.04.2012
Sist oppdatert: 12.04.2012