Digitale Medien
[s.l.]
:
Nature Publishing Group
Nature
323 (1986), S. 766-767
ISSN:
1476-4687
Quelle:
Nature Archives 1869 - 2009
Thema:
Biologie
,
Chemie und Pharmazie
,
Medizin
,
Allgemeine Naturwissenschaft
,
Physik
Notizen:
[Auszug] IN HIS doctoral dissertation of 1929, Kurt Gödel established the completeness of the usual formulations of elementary logic. In the following year he proved the incompleteness of every effective formulation of number theory. These two results, the second as devastating and unexpected as the ...
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1038/323766b0
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |