-
30John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, Massachusetts: A. K. Peters, 1997. Pp. xiv + 361. ISBN 1-56881-025-3 (review)Philosophia Mathematica 6 (1): 116-128. 1998.
-
43The Universal Computer. The Road from Leibniz to TuringBulletin of Symbolic Logic 7 (1): 65-66. 2001.
-
75What did gödel believe and when did he believe it?Bulletin of Symbolic Logic 11 (2): 194-206. 2005.Gödel has emphasized the important role that his philosophical views had played in his discoveries. Thus, in a letter to Hao Wang of December 7, 1967, explaining why Skolem and others had not obtained the completeness theorem for predicate calculus, Gödel wrote:This blindness of logicians is indeed surprising. But I think the explanation is not hard to find. It lies in a widespread lack, at that time, of the required epistemological attitude toward metamathematics and toward non-finitary reasoni…Read more
Tucson, Arizona, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Cognitive Sciences |
Other Academic Areas, Misc |