MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

An Editor Recalls Some Hopeless Papers (1998)

by Wilfrid Hodges
Add To MetaCart

Abstract:

set theory' [12] as his source, and another refers to Barrow `Theories of everything' [2]. One contents himself with references to two earlier unpublished papers of his own. Others give no source. For definiteness let me write down a proof, not in Cantor's words, which contains all the points we shall need to comment on. (1) We claim first that for every map f from the set {1, 2, . . . } of positive integers to the open unit interval (0, 1) of the real numbers, there is some real number which is in (0, 1) but not in the image of f. (2) Assume that f is a map from the set of positive integers to (0, 1). (3) Write 0 . a n1 a n2 a n3 . . . for the decimal expansion of f(n), where each a ni is a numeral between 0 and 9. (Where it applies, we choose the expansion which is eventually 0, not that which is eventually 9.) (4) For each positive integer n, let b n be 5 if a nn #= 5, and 4 otherwise. (5) Let b be the real number whose decimal expansion is 0 . b 1 b 2 b 3 . . . . (6...

Citations

532 Reyle U. From Discourse to Logic – Kamp - 1993
58 The psychology of proof – Rips - 1994
57 Frege, Philosophy of Language – Dummett - 1973
30 A.: Foundations of Set Theory – Fraenkel, Bar-Hillel, et al. - 1973
26 Realization of a geometry theorem-proving machine – Gelernter - 1959
17 The Logic of Real Arguments – Fisher - 1988
11 Kleene, “Introduction to Metamathematics – Cole - 1952
10 Theories of Everything: The Quest for Ultimate Explanation – Barrow - 1991
10 Remarks on the Foundations of Mathematics – Wittgenstein
9 Uber eine Eigenschaft des Inbegries aller reellen algebraischen Zahlen – Cantor
9 The Principles of Mathematics. George Allen and Unwin – Russell - 1903
4 eine elementare Frage der Mannigfaltigkeitslehre, Jahresbericht der Deutschen – Uber
4 History of mathematics (Vol – Smith - 1958
3 X--XIV, Loeb Classical Library – Aristotle - 1935
3 What the tortoise said to – Carroll
2 Semantic entailment and formal derivability, The philosophy of mathematics (Jaakko Hintikka – Beth - 1969
2 Critical commentary on P – Hodges - 1993
1 What numbers could not be, Philosophy of mathematics, Selected readings – Benacerraf - 1983