Introduction to the Parafinite (Level of the Parafinite: Level 2)



In 1939, Alan Turing attended a seminar in Cambridge, England, given by Ludwig Wittgenstein, on the foundations of mathematics. Alan Turing contributed, in significant ways, to our modern notion of an algorithm, the idea that launched untold thousands of computer programs. He also did pioneering work with early computers; devised the idea of an in-principle computer now known as the “Turing machine”; is responsible for the “Turing test,” a thought experiment used to think about the potential for machine intelligence; and is co-named in the “Church-Turing Thesis,” which is a specific proposal for how the notion of algorithm can be related to basic mathematical formalism. Ludwig Wittgenstein was in his day, and continues to be held to be, one of the greatest philosophers of the twentieth century.


Logical Structure Proof Theory Philosophical Investigation Incompleteness Theorem Reference Ontology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Bassler, O. Bradley. The Pace of Modernity: Reading with Blumenberg (Melbourne:, 2012).Google Scholar
  2. Bassler, O. Bradley. The Long Shadow of the Parafinite: Three Scenes from the Prehistory of a Concept (Boston: Docent, 2015).Google Scholar
  3. Chihara, Charles. “Wittgenstein’s Analysis of the Paradoxes in his Lectures on the Foundations of Mathematics,” Philosophical Review 86, no. 3 (1977): 365–81.CrossRefGoogle Scholar
  4. Girard, Jean-Yves. The Blind Spot: Lectures on Logic (Zürich: European Mathematical Society, 2011).CrossRefGoogle Scholar
  5. Johnstone, Peter. Stone Spaces (Cambridge: Cambridge, 1982).Google Scholar
  6. Lakatos, Imre. Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge: Cambridge, 1976).Google Scholar
  7. Mayberry, John. The Foundations of Mathematics in the Theory of Sets (Cambridge: Cambridge, 2000).Google Scholar
  8. McLarty, Colin. “What does it take to prove Fermat’s Last Theorem? Grothendieck and the Logic of Number Theory,” Bulletin of Symbolic Logic 16 3 (2010), 359–377.CrossRefGoogle Scholar
  9. Mulhall, Stephen. On Film (London: Routledge, 2002).Google Scholar
  10. Shanker, S. G. Wittgenstein and the Turning-Point in the Philosophy of Mathematics (Albany: SUNY, 1987).Google Scholar
  11. Simmons, H. Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge: Cambridge, 2000).Google Scholar
  12. Stern, David. Wittgenstein on Mind and Language (New York: Oxford, 1995).CrossRefGoogle Scholar
  13. Strand, Mark. Selected Poems (New York: Atheneum, 1980).Google Scholar
  14. Tait, W. W. “Finitism,” Journal of Philosophy 78 (1981) 524–547, errata 618.Google Scholar

Copyright information

© The Author(s) 2017

Authors and Affiliations

  1. 1.AthensUSA

Personalised recommendations