Weyl, H. Mathematics and logic. Amer. Math. Mon. 53 (1946), 1--13. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Information-theoretic Limitations of Formal Systems - Chaitin (1974) (4 citations) (Correct)
....done to clarify these matters. Nevertheless, we would like to sketch here the conclusions which we have tentatively drawn. 5 2 In [3] and [4] von Neumann analyzes the effect of Godel s theorem upon mathematicians. Weyl s reaction to Godel s theorem is quoted by Bell [5] The original source is [6]. See also Weyl s discussion [7] of Godel s views regarding his incompleteness theorem. 3 For nontechnical expositions of Godel s incompleteness theorem, see [8, 9, 10, Sec. 1, pp. xv xviii, 11, and 12] 28] contains a nontechnical exposition of an incompleteness theorem analogous to Berry s ....
Weyl, H. Mathematics and logic. Amer. Math. Mon. 53 (1946), 1--13.
Information-theoretic Limitations of Formal Systems - Chaitin (1974) (4 citations) (Correct)
No context found.
Weyl, H. Mathematics and logic. Amer. Math. Mon. 53 (1946), 1--13.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC