Hilberts program
Hilberts program [hiʹlbɐts], en av David Hilbert skisserad plan för att formalisera aritmetiken och med finita metoder visa
(18 av 126 ord)
Vill du få tillgång till hela artikeln?
Litteraturanvisning
S.C. Kleene,
Introduction to Metamathematics (
1952).
Källangivelse
Nationalencyklopedin,
Hilberts program.
http://www.ne.se/uppslagsverk/encyklopedi/lång/hilberts-program