Abstract
Turing was a philosopher of logic and mathematics, as well as a mathematician. His work throughout his life owed much to the Cambridge milieu in which he was educated and to which he returned throughout his life. A rich and distinctive tradition discussing how the notion of “common sense” relates to the foundations of logic was being developed during Turing’s undergraduate days, most intensively by Wittgenstein , whose exchanges with Russell , Ramsey, Sraffa, Hardy , Littlewood and others formed part of the backdrop which shaped Turing’s work. Beginning with a Moral Sciences Club talk in 1933, Turing developed an “anthropological” approach to the foundations of logic, influenced by Wittgenstein, in which “common sense” plays a foundational role. This may be seen not only in “On Computable Numbers ” (1936/1937) and Turing’s dissertation (1939), but in his exchanges with Wittgenstein in 1939 and in two later papers, “The Reform of Mathematical Phraseology and Notation” (1944/1945) and “Solvable and Unsolvable Problems” (1954).
Notes
- 1.
- 2.
Hodges (1983/2012), p. 19.
- 3.
Hodges (1983/2012) pp. 63–64 and (1999) pp. 5–7 focus on the importance of Turing’s essay “The Nature of Spirit” (1932), where Turing discusses McTaggart, and his reading of Eddington’s (1929) before coming to Cambridge. Hodges also argues (1983/2012) that Eddington’s autumn 1933 course on the methodology of science also had a serious impact on Turing (p. 87), not least setting him on a course of thinking about the Central Limit Theorem, proved in his Fellowship essay. We shall contest none of this.
- 4.
In (1983/2012) Hodges weaves general aspects of Wittgenstein’s thought into his discussion of Turing’s work leading up to “On Computable Numbers”. In (1999), however, he stresses the absence of any direct positive evidence for Wittgenstein’s impact on Turing, arguing that Wittgenstein’s 1939 lectures (1976/1989) (LFM) “shed no light on Turing’s view of mind and machine” (pp. 22–24). In what follows we agree, but offer a different, though admittedly circumstantial, reconstruction of Turing’s development spelling out Hodges’ prior hints. As we argue, the nature of mind was not the driving issue behind Turing’s initial work in logic, whereas the nature of logic was.
- 5.
- 6.
Post (1944), p. 284 is looking backward here, summarizing the developments historically.
- 7.
Hodges (1983/2012), p. 96.
- 8.
- 9.
- 10.
The idea of “phraseology” occurs explicitly in The Blue Book (1965), p. 69; it appears in Wittgenstein’s manuscripts and lectures around differing conceptions of numbers and mathematics, cf. e.g. (1999) MS 121, p. 76 (1939), MS 126, p 131 (1942–1943); MS 127, p. 194 (1943) and (1976), pp. 18,91,98. It also occurs in Russell (1919), pp. 141–175, 192. Floyd and Mühlhölzer (unpublished) discuss this notion at length in the context of an analysis of Wittgenstein’s annotations to a 1941 edition Hardy’s Course of Pure Mathematics.
- 11.
I reconstruct the argument precisely in Floyd (2012b).
- 12.
Gandy (1988), p. 85.
- 13.
Davis (1982), p. 14.
- 14.
Gandy (1988), p. 86.
- 15.
The method of “comparisons” is evinced in The Blue Book (1965) (BB), pp. 5,70 and especially in The Brown Book BB §§13,10 (p. 140), §13 (p. 153), §15 (p. 158), §16 (pp. 162, 164), §22, p. 179).
- 16.
Wittgenstein’s use of “Vergleichsobjekte” in this particular context of the foundations of logic first appears in (1999) MS 157b, pp. 33–34, drafted in February 1937, just after he would have likely received “On Computable Numbers” from Turing. It reads:
Our exact language-games are not preparations for a future regimentation of our everyday language, like first approximations without friction and air resistance. This idea leads to Ungames (Unspiele) (Nicod & Russell [JF: who were pursuing the axiomatic approach to logic].) Much more, the language-games stand as objects of comparison, which, through similarities and differences should throw light on the relationships of our language.
For the clarity after which we strive is in any case a complete one. But this only means that the philosophical problems should completely disappear. (cf. (2009) (PI) §130).
- 17.
Until the late 1940s “computer” referred to a person, often a woman, who carried out calculations and computations in the setting of an office or research facility. Nowadays “computor” is used to make the human user explicit.
- 18.
Englemann (2013b) explains the importance of this anthropological element.
- 19.
Cf. Post (1936).
- 20.
Compare Post’s remarks about “psychological fidelity” (1936), p. 105, and Gödel (1972) in (1990), at p. 306, including the introductory note Webb (1990). The reader may contrast Hodges (1999), p. 22 and see Floyd (2012b) for further argumentation. On Gödel vs. Turing, see Copeland and Shagrir (2013), Sieg (2013a).
- 21.
- 22.
Carnap’s earlier program of “general axiomatics”, broached during Gödel’s student days with him in the late 1920s, had also been intended to make the proper analysis of symbolic logic (Carnap 2000).
- 23.
See Kripke (2013).
- 24.
- 25.
- 26.
Pace Grattan-Guinness, by 1931, when Turing arrived at Cambridge, Wittgenstein was an anti-“monist”, stressing, against his earlier Tractatus view, the importance of plurality and variety in systems of logic and grammar. Wittgenstein was hardly engaged in “revising” logicism in 1931–1935, having never embraced it in the higher-order style of Whitehead and Russell: for him logic consisted of tautologies, but mathematics did not; see Floyd (2001a), Weiss (2017).
- 27.
Russell’s (1919) had stimulated Kurt Gödel to turn toward logic from physics at the age of 19 (in a seminar of Moritz Schlick’s on the book in Vienna 1925–1926), and had been read by Stephen Kleene before he attended Church’s seminar on logic at Princeton in the fall of 1931–1932. Cf. Floyd and Kanamori (2016); Kleene (1981).
- 28.
- 29.
This identification of mathematical sentences with tautologies occurred as a logicist appropriation of Wittgenstein’s thought in the Vienna Circle , but also in Cambridge. On January 24, 1941, G. H. Hardy gave a talk to the Moral Sciences Club on “Mathematical Reality,” §§20–22 of his book A Mathematician’s Apology (1940), a book Wittgenstein would call “miserable”, probably because it took so little account of his philosophical criticisms (1999, 124, p. 35, from 1941). Mays (1967, p. 82) recalls: “Hardy mentioned that he did not accept Wittgenstein’s view that mathematics consisted of tautologies. Wittgenstein denied that he had ever said this, and pointed to himself saying in an incredulous tone of voice, ‘Who, I?”’ (cf. Klagge and Nordmann eds. (2003), p. 336.) For discussion of Wittgenstein’s resulting annotations to Hardy’s Course of Pure Mathematics (1941), see Floyd and Mühlhölzer (unpublished).
- 30.
Dreben and Floyd (1991).
- 31.
Wittgenstein discusses this Prefatorial Remark in his 162a, pp. 15–18.
- 32.
Turing Digital Archive, AMT/B/46, http://www.turingarchive.org/browse.php/B/46.
- 33.
- 34.
The Lecture was given on May 20, 1932, cf. Stern, Rogers, and Citron eds. (forthcoming); cf. Goodstein (1945), p. 407n, von Plato (2014), Marion and Okada (unpublished).
- 35.
- 36.
Wittgenstein dictated The Blue Book to Turing’s fellow mathematics students H.S.M. Coxeter, R.L. Goodstein, and Francis Skinner, along with Alice Ambrose (writing with Wittgenstein and Newman), as well as Margaret Masterman (later Braithwaite); cf. BB, Preface.
- 37.
Cf. BB and also the Francis Skinner archives, now at the Wren Library of Trinity College, Cambridge. These were donated by his close friend and colleague (and fellow mathematics student of Turing) R.L. Goodstein to the Mathematical Association of Great Britain, who held them until his death; Wittgenstein had given him the materials soon after Skinner’s own death. These contain more extensive and precise dictated material from the period 1933–1935, including a different version of The Yellow Book and some hitherto unpublished and unknown lecture notes on self-evidence in logic (cf. Gibson (2010)).
- 38.
- 39.
BB §41, p. 98. Wittgenstein remained unsatisfied with The Brown Book; after an attempted revision in the fall of 1936, it was abandoned. The beginning of Item 152, a notebook begun presumably by early 1937, revisits rule-following, but begins concretely, with a series of calculations from the theory of continued fractions.
- 40.
Russell’s remark is quoted without attribution in J.L. Austin’s “Plea for Excuses” (from 1956, in Austin (1979), p. 185; it was apparently widely known. Wittgenstein sent Russell The Blue Book, hoping for a response, in 1935 (McGuinness (2008), p. 250). As Cavell has suggested (2012, pp. 30ff), the opening of Wittgenstein’s Blue Book, with its truncated, cave-man-like language-game of builders, may be regarded as either a stimulus or a response to Russell’s remark about “the metaphysics of the Stone Age”.
- 41.
- 42.
- 43.
Hodges (1983/2012), p. 58; cf. the early editions (in 1933, 1938) of Hardy (1941); presumably Wittgenstein read out passages from the 1933 edition in his “Philosophy for Mathematicians” of 1932–1933 and fall 1933. Later Wittgenstein would annotate his copy of Hardy (1941) and copy these annotations into his manuscripts; cf. Floyd and Mühlhölzer (unpublished).
- 44.
After discussing these issues with Turing, both in 1937 and in his 1939 seminar, Wittgenstein wrote a long series of manuscript pages exploring the idea that a proof must be “surveyable” (Übersichtlich), i.e., “can be copied, in the manner of a picture” by a human being, and so “taken in”, communicated, archived, recognized, and acted upon; cf. Mühlhölzer (2006), Floyd (2015).
- 45.
Cf. Post (1941/1994), at n. 8 (p. 377); Post is referring to his initial work on “operational logic” for sequences done in 1924.
- 46.
On “pure propositions” as gaseous, see AWL, p. 55.
- 47.
Discussions of a variety of conceptions of “machines” and “mechanism” appear in Wittgenstein’s “Philosophy” lectures 1934–1935 and The Yellow Book; cf. AWL, pp. 52–53, 72, 80.
- 48.
In the Tractatus (1922) there had been posited an ultimate starting point, the “simple objects” of the final analysis. Wittgenstein had rejected these by 1929.
- 49.
The problem is evinced by his use of images of a spiral to gauge infinitary, rule or law-governed series at Wittgenstein AWL, p. 206. The image had been tethered to a particular origin in Philosophical Remarks, Wittgenstein’s fellowship submission (1980a) (PR) §§158, 189, 192, 197. But in the “Big Typescript” of 1932–1933 (2005), p. 379, as well as “Philosophy for Mathematicians” 1932–1933, AWL, p. 206 the issue of a point of origin and how to assign it in a single space has come to the fore. After this point, the image of the spiral is not used by Wittgenstein, but is replaced with that of a more localized, free-standing and “portable” table, or finite set, of commands.
- 50.
Though it is unclear exactly when, because after 1931 there was a hiatus in Wittgensteinstein’s attendance. Cf. Klagge and Nordmann (eds.) (2003), p. 377.
- 51.
See the archive of talks at https://www.srcf.ucam.org/tms/talks-archive/#earlier.
- 52.
Klagge and Nordman (eds.) (2003), p. 362.
- 53.
- 54.
Watson (1908–1982) entered King’s College in 1926, receiving firsts in both parts of the Mathematical Tripos; he was awarded Studentship prizes in 1929, 1930 and 1932. Though he failed in his first bid for a King’s Fellowship, “Chance and Determinism in Relation to Modern Physics” (1932) he succeeded in 1933, with a new thesis on “The Logic of the Quantum Theory”. He helped proofread Braithwaite’s edition of Ramsey’s papers (1931). A man of the left and a friend of Anthony Blunt, his alleged entanglement with the Cambridge Spy Ring (he never confessed) is discussed in Wright (1987).
- 55.
Hodges (1983/2012).
- 56.
Cf. McGuinness (2008), pp. 253, 280.
- 57.
Hodges (1983/2012), p. 109.
- 58.
Hodges (1983/2012), p. 109.
- 59.
Hodges (1983/2012), p. 112.
- 60.
Hodges (1983/2012), p. 109 tells us that Turing did discuss his ideas about machines with David Champernowne, who, along with Alister Watson, would later be relied on by Sraffa to check the mathematics of Sraffa (1960/1975). See Kurz and Salvadori (2001).We note that Yorick Smythies, Wittgenstein’s main amenuensis for his lectures 1938–1941 (cf. Munz and Ritter (eds.) (forthcoming)), took down notes of Max Newman’s 1935 logic course (now located at St. John’s College, Library, Cambridge). Cf. Copeland (2011), p. 152n3.
- 61.
Turing was disappointed at receiving only two requests for offprints, one from Braithwaite and one from Heinrich Scholz, who gave a seminar on it at Münster (Hodges (1983/2012), pp. 123–124.
- 62.
Turing to his mother February 11, 1937 AMT/K/1/54 in the Turing Digital Archive http://www.turingarchive.org/browse.php/K/1/54.
- 63.
Hodges (1983/2012), p. 136.
- 64.
Hodges tells us that Turing was “overoptimistic” at this time “in thinking he could re-write the foundations of analysis” ((1999), p. 19). It was just this question that interested Watson in his (1938) paper that they discussed in the summer of 1937 with Wittgenstein; our best guess is that the three urged one another on in conversation to ponder the question. Gandy (1988) p. 82, n26 reports that Turing initially planned a sequel to (1936/7) in which computable analysis would be developed. But he did not proceed, given the fact, pointed out to him by Bernays, that not all real numbers have unique representations as binary decimals (cf. Turing (1937)). Serving as an examiner of Goodstein’s PhD thesis in 1938, Turing spotted errors in the work that stemmed from underestimating this problem.
- 65.
- 66.
- 67.
Cf. Wittgenstein (1978) (RFM), Part II, written in 1938, analyzed in Floyd and Mühlhölzer (unpublished).
- 68.
- 69.
Cf. Floyd (2001b).
- 70.
Of course, conversations with many others went on, especially mathematicians. Newman himself went to Princeton in 1937–1938, joining Turing there, cf. Newman (2010).
- 71.
A brief history of the term is given in Church (1956), pp. 56–57 n. 125; Church traces the concerted use of “logistic” for mathematical logic back to the 1904 World Congress of philosophy. He notes that “sometimes ‘logistic’ has been used with special reference to the school of Russell or to the Frege-Russell doctrine that mathematics is a branch of logic”, but the “more common usage … attaches no such special meaning to this word”. For an overview of logos, logic vs. logistiké in connection with incompleteness and modern mathematics see Stein (1988).
- 72.
Except for one loose sheet Wittgenstein inserted into the very end of the manuscript of Philosophical Investigations (PI Part II/PPF xiv §372).
- 73.
Braithwaite (1934) regards Lewis and Langford (1932) as “eminently successful”, predicting that “it will probably not be superseded for some time as the standard work” on the subject of symbolic logic, though he objects to its treatment of the theory of types and finds it wanting as a text in the foundations of mathematics. He notes that Langford’s use of postulates is analogous to Hilbert’s Entscheidungsproblem. Langford, a student of H.M. Sheffer, spent 1925–1926 at Cambridge visiting from Harvard. He met Ramsey and indeed proved some of the earliest significant results on the completeness and decidability of first-order theories, pioneering the use of quantifier elimination (Urquhardt (2012))—another point of contact between Cambridge philosophy and the Enscheidungsproblem in the 1920s.
- 74.
Wisdom (1934), p. 101 rejects this on the ground that these rules “are principles of logic”. If Turing had read this, he might have demurred, taking the notion of “calculation” as basic, and, having analyzed it, applying it to the whole idea of “logic”.
- 75.
See Detlefsen (2005).
- 76.
- 77.
Carnap, Maund and Reeves (1934), p. 47.
- 78.
- 79.
- 80.
Cf. Putnam (2015).
- 81.
- 82.
Sieg (2013b).
- 83.
- 84.
- 85.
Watson uses the metaphor that the machine “gets stuck” ((1938), p. 445), but I have not found that metaphor either in Wittgenstein or Turing. In LFM the metaphor is criticized (LFM, pp. 178–179), as well as the idea that we have to fear contradictions more than empty commands.
- 86.
Martin Davis first gave this argument in 1952; see http://wikipedia.org/wiki/Halting_problem#History_of_the_halting_problem and Copeland (2004), p. 40 n 61.
- 87.
Copeland (2004), p. 38 nicely adapts H to a regress argument.
- 88.
Monk (1990), pp. 419–420.
- 89.
Turing himself worries about constructivism creeping in: cf.LFM, pp. 31, 67,105.
- 90.
This, at least, is one guess as to the contents of the lecture, which exists only in notes taken down by Smythies. See Munz and Ritter (eds.) (forthcoming).
- 91.
For more on Wittgenstein’s own remarks on Gödel and “phraseology”, see Floyd (2001b).
- 92.
Cf. Diamond (1996) for a defense of Wittgenstein’s “realism”.
- 93.
In (1936/1937) §8 Turing writes, of the more “direct proof” using a reductio, that “although [it is] perfectly sound, [it] has the disadvantage that it may leave the reader with a feeling that ‘there must be something wrong’”. His “Do-What-You-Do” argument offers a response to such a reader. In his corrections (1937), stimulated by Bernays, Turing develops this point with respect to intuitionism explicitly. See Floyd (2012b) for a discussion.
- 94.
Russell (1919), p. 6:
This point, that “0” and number and “successor” cannot be defined by means of Peano”s five axioms, but must be independently understood, is important. We want our numbers not merely to verify mathematical formula, but to apply in the right way to common objects. We want to have ten fingers and two eyes and one nose. A system in which “1” meant 100, and “2” meant 102, and so on, might be all right for pure mathematics, but would not suit daily life.
- 95.
- 96.
Our best guess is that Wittgenstein is alluding to the situation after Gödel 1931, in which both the Gödel sentence P and its negation, not-P, may each be added to the original system of arithmetic consistently, presenting a kind of branch of possible paths. Cf. Wittgenstein’s 1938 lecture on Gödel in Munz and Ritter (eds). (forthcoming).
- 97.
- 98.
It is just this idea to which Wittgenstein reverts when, probably reminiscing about these exchanges, he revisits the notion of an “oracle” much later. See RPP I §817 and (1974) (OC) §609, written just six days before his death.
- 99.
In (1944) Post criticized Turing for his “picturesque” use of the idea of an “oracle”, writing “the ‘if’ of mathematics is … more conductive to the development of a theory”, p. 311 n.23.
- 100.
Cf. Floyd (2013). Turing’s explorations of the logical tradition (Leibniz, Boole, Peano, etc.) continue in a notebook from c. 1942, “Notes on Notations”. See https://www.bonhams.com/auctions/22795/lot/1/.
- 101.
- 102.
See Davis and Sieg (2015).
- 103.
References
Abbreviations of Wittgenstein’s Works
Austin, J.L. 1979. Philosophical Papers. Edited by J.O. Urmson and G.J. Warnock. Oxford/New York: Oxford University Press.
Braithwaite, R.B. 1934. Review of C.I. Lewis and C.H. Langford, Symbolic Logic (1932). The Mathematical Gazette 18(227): 57–58.
Carnap, R. 1929. Abriss der Logistik Mit Besonderer Berücksichtigung der Relationstheorie und Ihrer Anwendungen. Vienna, Julius Springer. English translation by Dirk Schlimm to appear in Collected Works of Rudolf Carnap, Vol. III: Pre-Syntax Logic 1927–1934, edited by Erich Reck, Georg Schiemer, and Dirk Schlimm.
———. 1931. Die logizistische Grundlegung der Mathematik. Erkenntnis 2 (2/3): 91–105.
———. 1934. Logische Syntax Der Sprache. Vienna: Julius Springer.
———. 1935. Philosophy and Logical Syntax. London: Kegan Paul, Trench, Trubner & Co.
———. 2000. Untersuchungen zur Allgemeinen Axiomatik. Edited from unpublished manuscript by T. Bonk and J. Mosterín. Darmstadt: Wissenschftliche Buchgesellschaft.
Carnap, R., C.A.M. Maund, and J.W. Reeves. 1934. Report of Lectures on Philosophy and Logical Syntax, Delivered on 8, 10 and 12 October at Bedford College in the University of London, by Professor Rudolf Carnap. Analysis 2(3), December: 42–48.
Cavell, S. 2012. Philosophy as the Education of Grownups. In Stanley Cavell and the Education of Grownups, eds. P. Standish and N. Saito, 1–33. New York: Fordham University Press.
Church, A. 1956. Introduction to Mathematical Logic. Princeton: Princeton University Press.
Cooper, B.S., and J. van Leeuven (eds). 2013. Alan Turing – His Work and Impact. Amsterdam/Boston: Elsevier Science.
Copeland, J. 2004. The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life. Oxford: Oxford University, Clarendon Press.
Copeland, B.J.. 2011. From the Entscheidungsproblem to the Personal Computer—and Beyond. In Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, eds. M. Baaz, C. H. Papadimitriou, H. Putnam, D. S. Scott and C. L. Harper, Jr., 151–184. Cambridge: Cambridge University Press.
Copeland, B. J., and O. Shagrir. 2013. Turing versus Gödel on Computability and the Mind. In eds. Copeland, Posy, and Shagrir, 1–34.
Copeland, B.J., C.J. Posy, and O. Shagrir (eds.) 2013. Computability: Turing, Gödel, Church and Beyond. Cambridge, MA: MIT Press.
Davis, M. 1982. Why Gödel Didn’t Have Church’s Thesis. Information and Control 54: 3–24.
Davis, M., and W. Sieg. 2015. Conceptual Confluence in 1936: Post and Turing. In Alan Turing: The Impact of his Ideas About Computability, eds. G. Sommaruga and T. Strahm, 3–28. Cham: Birkhäuser.
Detlefsen, M. 2005. Formalism. In The Oxford Handbook of Philosophy of Mathematics and Logic, ed. S. Shapiro, 236–317. New York: Oxford University Press.
Diamond, C. 1996. Wittgenstein, Mathematics, and Ethics: Resisting the Attractions of Realism. In The Cambridge Companion to Wittgenstein, eds. H. Sluga and D. Stern, 226–260. New York/Cambridge, MA: Cambridge University Press.
Dreben, B., and J. Floyd. 1991. Tautology: How Not to Use a Word. Synthese 87 (1): 23–50.
Eddington, A.S. 1929. The Nature of the Physical World. Cambridge, MA: Cambridge University Press.
Engelmann, M.L. 2013a. Wittgenstein’s ‘Most Fruitful Ideas’ and Sraffa. Philosophical Investigations 36 (2): 155–178.
———. 2013b. Wittgenstein’s Philosophical Development: Phenomenology, Grammar, Method, and the Anthropological View. Basingstoke: Palgrave MacMillan.
Floyd, J. 2001a. Number and Ascriptions of Number in the Tractatus. In Future Pasts: Perspectives on the Analytic Tradition in Twentieth Century Philosophy, eds. J. Floyd and S. Shieh, 145–192. New York: Oxford University Press.
———. 2001b. Prose versus Proof: Wittgenstein on Gödel, Tarski and Truth. Philosophia Mathematica 3 (9): 280–307.
———. 2012a. Wittgenstein, Carnap, and Turing: Contrasting Notions of Analysis. In Carnap’s Ideal of Explication and Naturalism, ed. P. Wagner, 34–46. Basingstoke: Palgrave MacMillan.
———. 2012b. Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing. In Epistemology versus Ontology, Logic, Epistemology, eds. P. Dybjer, S. Lindström, E. Palmgren, and G. Sundholm, 25–44. Dordrecht: Springer Science + Business Media.
———. 2013. Turing, Wittgenstein and Types: Philosophical Aspects of Turing’s ‘The Reform of Mathematical Notation’ (1944 –5). In eds. S.B. Cooper and J. van Leeuwen, 250–253.
———. 2015. Depth and Clarity: Critical Study, Felix Mühlhölzer. In Braucht die Mathematik eine Grundlegung? Eine Kommentar des Teils III von Wittgensteins Bemerkungen Über die Grundlagen der Mathematik (Vittorio Klostermann, Frankfurt am Main 2010). Philosophia Mathematica 23, Special Issue on Mathematical Depth (2): 255–277.
Floyd, J., and A. Kanamori. 2016. Gödel vis-à-vis Russell: Logic and Set Theory to Philosophy. In Kurt Gödel: Philosopher-scientist, eds. G. Crocco and E.-M. Engelen, 243–326. Aix-en-Provence: Presses Universitaires de Provence.
Floyd, J., and F. Mühlhölzer. Wittgenstein’s Annotations to Hardy’s a Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers. New York: Springer Verlag, expected date of publication 2018.
Floyd, J. and H. Putnam 2000. A Note on Wittgenstein’s Notorious Paragraph About the Godel Theorem. Journal of Philosophy 97(11): 624–632.
——— 2012. Wittgenstein’s ‘Notorious’ Paragraph About the Gödel Theorem: Recent Discussions. In Philosophy in an Age of Science: Physics, Mathematics, and Skepticism, eds. H. Putnam, M. De Caro, and D. Macarthur, 458–481. Cambridge, MA, Harvard University Press.
Gandy, R. O. 1988. The Confluence of Ideas in 1936. In ed. Herken, 55–112.
Gibson, A. 2010. Francis Skinner’s Original Wittgenstein Brown book Manuscript. In Language and World, Part One. Essays on the Philosophy of Wittgenstein. Volume 14 of the Publications of the Austrian Ludwig Wittgenstein Society New Series, eds. K. Puhl Munz, K. Puhl, and J. Wang, 351–366. Vienna: Ontos Verlag.
Gödel, K. 1931. On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. In Gödel (1986), 145–195.
———. 1934. On Undecidable Propositions of Formal Mathematical Systems. In Gödel (1986), 346–372.
———. 1946. Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics. In Gödel (1990), 150–154.
———. 1972. Some Remarks on the Undecidability Results. In Gödel (1990), 305–306.
———. 1986. In Kurt Gödel Collected Works Vol. I: Publications 1929–1936, eds. S. Feferman et al. New York: Oxford University Press.
———. 1990. In Kurt Gödel Collected Works Vol. II Publications 1938–1974, eds. S. Feferman et al. New York: Oxford University Press.
Goodstein, R.L. 1945. Function Theory in an Axiom-Free Equation Calculus. Proceedings of the London Mathematical Society 48: 401–434.
Grattan-Guinness, I. 2012a. Logic, Topology and Physics: Points of Contact Between Bertrand Russell and Max Newman, Russell: The Journal of Bertrand Russell Studies n.s. 32: 5–29.
———. 2012b. Manifestations of Logical Pluralism in the Context of Hierarchies, 1900s–1930s. In The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau, Vol. II, eds. A. Koslow and A. Buchsbaum, 93–103. Cham: Birkhäuser/Springer Science + Business Media.
———. 2013. The Mentor of Alan Turing: Max Newman (1897–1984) as a Logician. The Mathematical Intelligencer 35 (3): 55–63.
Hardy, G.H. 1929. Mathematical Proof. Mind 38 (149): 1–25.
———. 1940. A Mathematician’s Apology. Cambridge, MA: Cambridge University Press.
———. 1941. A Course of Pure Mathematics. 8th ed. Cambridge, MA: Cambridge University Press. 7th ed. 1938. 6th ed. 1933.
Herken, R. 1988 (ed.). The Universal Turing Machine: A Half-Century Survey. New York: Oxford University Press.
Hodges, A. 1983. Alan Turing: The Enigma of Intelligence. New York/Princeton: Touchstone/Princeton University Press.
———. 1999. Turing. New York: Routledge.
Kanamori, A. 2012a. Set Theory from Cantor to Cohen. In Handbook of the History of Logic, Vol. 6: Sets and Extensions in the Twentieth Century, eds. D. Gabbay, A. Kanamori, and J. Woods, 1–72. Oxford/New York/Amsterdam: North-Holland/Elsevier.
———. 2012b. The Mathematical Infinite as a Matter of Method. Annals of the Japanese Association for the Philosophy of Science 20: 1–13.
Kennedy, J. 2013. On Formalism Freeness: Implementing Gödel’s 1946 Princeton Bicentennial Lecture. The Bulletin of Symbolic Logic 19 (3): 351–393.
———. 2014. Gödel’s 1946 Princeton Bicentennial Lecture: An Appreciation. In Interpreting Gödel, ed. J. Kennedy, 109–130. Cambridge/New York: Cambridge University Press.
Klagge, J.C. and A. Nordmann (eds.) 1993. Ludwig Wittgenstein: Philosophical Occasions, 1912–1951. Indianapolis: Hackett Publishing Co.
——— (eds.) 2003. Ludwig Wittgenstein: Public and Private Occasions. Lanham: Rowman & Littlefield Publishers.
Kleene, S. 1981. Origins of Recursive Function Theory. Annals of the History of Computing 3 (1): 52–67.
Kripke, S. 2013. The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In eds. Copeland, Posy and Shagrir, 77–104 Cambridge, MA: MIT Press.
Kurz, H.D., and N. Salvadori. 2001. Sraffa and the Mathematicians: Frank Ramsey and Alister Watson. In Piero Sraffa’s Political Economy: A Centenary Estimate, eds. T. Cozzi and R. Marchionatti, 254–284. London/New York: Routledge.
Lewis, C.I. 1918. A Survey of Symbolic Logic. Berkeley: University of California Press.
Lewis, C.I., and C.H. Langford. 1932. Symbolic Logic. New York/London: The Century Company.
Littlewood, J.E. 1926. The Elements of the Theory of Real Functions, Being Notes of Lectures Delivered in the University of Cambridge, 1925. Cambridge, MA: Heffer & Sons.
Marion, M. and M. Okada. unpublished. Wittgenstein and Goodstein on the Equation Calculus and the Uniqueness Rule.
Mays, W. 1967. Recollections of Wittgenstein. In Ludwig Wittgenstein: The Man and his Philosophy, ed. K.T. Fann, 79–88. New York: Dell.
McGuinness, B. 1988. Wittgenstein: A life: Young Ludwig 1889–1921. Berkeley: University of California Press.
———. 2008. Wittgenstein in Cambridge: Letters and Documents, 1911–1951. Malden/Oxford: Blackwell.
Misak, C. 2016. Cambridge Pragmatism: From Peirce and James to Ramsey and Wittgenstein. New York: Oxford University Press.
Monk, R. 1990. Ludwig Wittgenstein: The Duty of Genius. New York/London: Free Press/Jonathan Cape.
Mühlhölzer, F. 2006. ‘A Mathematical Proof Must be Surveyable’: What Wittgenstein Meant by This and What it Implies. Grazer Philosophische Studien 71: 57–86.
Munz, V.A., and B. Ritter, (eds.) forthcoming. Wittgenstein’s Whewell’s Court Lectures, Cambridge, 1938–1941: From the Notes of Yorick Smythies. Oxford: Wiley-Blackwell.
Newman, M.H.A. 1955. Alan Mathison Turing. 1912–1954. Biographical Memoirs of Fellows of the Royal Society 1: 253–263.
Newman, W. 2010. Max Newman – Mathematician, Codebreaker and Computer Pioneer. In Colossus: The Secrets of Bletchley Park’s Code-Breaking Computers, ed. B.J. Copeland, 176–188. New York: Oxford University Press.
Post, E. L. 1936. Finite Combinatory Processes, Formulation 1. Journal of Symbolic Logic 1: 103–105. Reprinted in Post (1994), 103–105.
———. 1941/1994. Absolutely Unsolvable Problems and Relatively Undecidable Propositions–Account of an Anticipation. Reprinted in Post (1994), 375–441.
———. 1944. Recursively Enumerable Sets of Positive Integers and Their Decision Problems. Bulletin of the American Mathematical Society 50: 284–316. Reprinted in Post (1994), 461–494.
Post, E.L. 1994. In Solvability, Provability, Definability: The Collected Works of Emil L. Post, edited by Martin Davis. Boston/Basel/Berlin: Birkhäuser.
Putnam, H. 1988. Representation and Reality. Cambridge, MA: MIT Press.
———. 2015. Naturalism, Realism and Normativity. Journal of the American Philosophical Association 1 (2): 312–328.
Quine, W.V. 1940. Mathematical Logic. Cambridge, MA: Harvard University Press.
Ramsey, F.P. 1926. The Foundations of Mathematics. Proceedings of the London Mathematical Society 2(25): 338–384. Reprinted in Ramsey (1931), 1–61; Ramsey (1990), 164–224.
———. 1927. Facts and Propositions. Aristotelian Society Supplementary Volume 7: 153–170. Reprinted in Ramsey (1931), 138–155, Ramsey (1990), 34–51.
———. 1929. General Propositions and Causality. In Ramsey (1990), 145–163.
———. 1930. On a Problem of Formal Logic. Proceedings of the London Mathematical Society 2–3 (1): 264–286.
———. 1931. The Foundations of Mathematics and Other Logical Essays, edited by R. Braithwaite. London: Routledge & Kegan Paul.
———. 1990. Philosophical Papers. Edited by D.H. Mellor. Cambridge, MA: Cambridge University Press.
Russell, B. 1919. Introduction to Mathematical Philosophy. London/New York: Routledge. References are to page numbers of the 2nd edition of 1920, published by George Allen and Unwin.
Sen, A. 2003. Sraffa, Wittgenstein, and Gramsci. Journal of Economic Literature XLI (December): 1240–1255.
Sieg, W. 2006. Gödel on Computability. Philosophia Mathematica 14 (2): 189–207.
———. 2009. On Computability. In Handbook of the Philosophy of Science: Philosophy of Mathematics, ed. A. Irvine, 535–630. Amsterdam: Elsevier.
———. 2013a. Gödel’s Philosophical Challenge (To Turing). In eds. Copeland, Posy and Shagrir, 183–202.
———. 2013b. Hilbert’s Programs and Beyond. Oxford/New York: Oxford University Press.
Skinner, F., and L. Wittgenstein. 2015. The Francis Skinner Archives, Notes and Dictations of Wittgenstein, Presently Housed at the Wren Library, Trinity College Cambridge.
Solovay, R. 1988. Turing in the Land of O(z). In ed. Herken, 113–148.
Sommaruga, G., and T. Strahm (eds). 2015. Turing’s Ideas – Their Significance and Impact. Basel: Birkhäuser/Springer.
Sraffa, P. 1960. Production of Commodities by Means of Commodities: Prelude to a Critique of Economic Theory. Cambridge, MA: Cambridge University Press.
Stein, H. 1988. Logos, logic, and logistiké: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics. In History and Philosophy of Modern Mathematics, eds. W. Aspray and P. Kitcher, 238–259. Minneapolis: University of Minnesota Press.
Stern, D., B. Rogers and G. Citron (eds.). forthcoming. Wittgenstein: Lectures, Cambridge 1930–1933, From the Notes of G.E. Moore. Cambridge, MA: Cambridge University Press.
Tarski, A. 1933. The Concept of Truth in Formalized Languages. In A. Tarski, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, ed. J. Corcoran, 152–278. Indianapolis: Hackett.
Turing, A.M. 1936/1937. On Computable Numbers, with an Application to the Decision Problem. Proceedings of the London Mathematical Society 2(43): 544–546.
———. 1939. Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society 2(45): 161–228. Based on Princeton PhD Thesis, 1938. Reprinted in Turing (2001), pp. 81–148 and (with excerpts from Turing’s 1938 correspondence) in Copeland (2004), pp. 125–204.
———. 1944/1945. The Reform of Mathematical Notation and Phraseology. Unpublished paper published in Turing 2001, 211–222 and with commentary in Cooper and van Leeuven eds.2013, 245–249.
———. 1950. Computing Machinery and Intelligence. Mind 59 (October): 433–460.
———. 1954. Solvable and Unsolvable Problems. In Science News 31, edited by A.W. Haslett, 7–23. London: Penguin Books.
———. 2001. In The Collected Works of A.M. Turing: Mathematical Logic, ed. R.O. Gandy and C.E.M. Yates. London/Amsterdam: North-Holland.
Urquhart, A. 2012. Henry M. Sheffer and Notational Relativity. History and Philosophy of Logic 33: 33–47.
von Plato, J. 2014. Gödel, Gentzen, Goodstein: The Magic Sound of a G-String. The Mathematical Intelligencer 36 (4): 22–27.
Wang, H. 1996. A Logical Journey: From Gödel to Philosophy. Cambridge, MA: MIT Press.
Watson, A.G.D. 1938. Mathematics and Its Foundations. Mind 47 (188): 440–451.
Webb, J. C. 1990. Remark 3, Introductory Note to Gödel (1972) in Gödel (1990), 281–304.
Weiss, M. 2017. Logic in the Tractatus I: Definability. Review of Symbolic Logic, 1–50, published online 12 January 2017.
Wisdom, J. 1934. Review of C.I. Lewis and C.H. Langford, Symbolic Logic. Mind 43 (169): 99–109.
Wittgenstein, L. 1922. Tractatus Logico-Philosophicus. London/New York: Routledge & Kegan Paul.
———. 1965. Preliminary Studies for the “Philosophical Investigations”: Generally Known as the Blue and Brown Books. New York: Harper and Row.
———. 1974. On Certainty/Über Gewissheit. Edited by G.E.M. Anscombe and G.H. von Wright, trans. by Denis Paul and G.E.M. Anscombe. Oxford: Basil Blackwell.
———. 1976/1989. Wittgenstein’s Lectures on the Foundations of Mathematics: Cambridge, 1939, from the Notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees and Yorick Smythies. Edited by C. Diamond. Hassocks: The Harvester Press, Ltd. Reprint, University of Chicago Press.
———. 1978. Remarks on the Foundations of Mathematics. Cambridge, MA: MIT Press.
———. 1979. Wittgenstein’s Lectures, Cambridge, 1932–1935: From the Notes of Alice Ambrose and Margaret Macdonald. Chicago: University of Chicago Press.
———. 1980a. In Philosophical Remarks, ed. R. Rhees. Chicago: University of Chicago Press.
———. 1980b. Remarks on the Philosophy of Psychology. Vol 1. Edited and trans. By G. H. v. Wright, H. Nyman, C. G. Luckhardt and M. A. E. Aue. Chicago: University of Chicago Press.
———. 1999. The Published Works of Ludwig Wittgenstein, The Bergen Electronic Edition. Intelex Corporation, Oxford University Press.
———. 2001. Ludwig Wittgenstein Philosophische Untersuchungen Kritisch-genetische Edition, eds. J. Schulte, H. Nyman, E. von Savigny, and G.H. von Wright. Frankfurt am Main: Suhrkamp.
———. 2005. Big Typescript, TS 213. Edited and translated by G. Luckhardt and M. Aue. Malden. Blackwell Publishing.
———. 2009. Philosophische Untersuchungen = Philosophical Investigations. Trans. and ed. G.E.M. Anscombe, P.M.S. Hacker and J. Schulte. Chichester/Malden: Wiley-Blackwell.
Wolfram, S. 2013. “Computation, Mathematical Notation and Linguistics”, Forward to Turing (1954). In Alan Turing: His Work and Impact, eds. B.S. Cooper and J. van Leeuwen, 239–244. Amsterdam/Boston: Elsevier.
Wright, P. 1987. Spycatcher: The Candid Autobiography of a Senior Intelligence Officer. New York: Penguin Viking.
Acknowledgments
I am grateful to S. Barry Cooper, Akihiro Kanamori, and Mauro Engelmann for stimulating conversations about the ideas in this paper, as well as the audience at our Turing 100 conference at BU, November 11, 2012. In addition, the Stanhill Foundation provided me with generous funds for a visit to the Skinner archives at Trinity College Cambridge in June 2015. There, with the able and generous aid of Jonathan Smith, I was able to do a great deal of helpful and inspiring research. Thanks are due to Arthur Gibson, Ilyas Kahn, Susan Edwards McKie, and Jonathan Smith for their conversation during this visit. In the final stages, I also received very helpful feedback from Juliette Kennedy and Adriana Renero.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Floyd, J. (2017). Turing on “Common Sense”: Cambridge Resonances. In: Floyd, J., Bokulich, A. (eds) Philosophical Explorations of the Legacy of Alan Turing. Boston Studies in the Philosophy and History of Science, vol 324. Springer, Cham. https://doi.org/10.1007/978-3-319-53280-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-53280-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53278-3
Online ISBN: 978-3-319-53280-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)