The Triumph of Types: Principia Mathematica's Impact on Computer Science
| Abstract | Types now play an essential role in computer science; their ascent originates from Principia Mathematica. Type checking and type inference algorithms are used to prevent semantic errors in programs, and type theories are the native language of several major interactive theorem provers. Some of these trace key features back to Principia. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesFairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
Gregory Landini (2000). Quantification Theory in *9 of Principia Mathematica. History and Philosophy of Logic 21 (1):57-77.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
Gregory Landini (1996). The Definability of the Set of Natural Numbers in the 1925 Principia Mathematica. Journal of Philosophical Logic 25 (6):597 - 615.
Fairouz Kamareddine, Twan Laan & Rob Nederpelt (2002). Types in Logic and Mathematics Before 1940. Bulletin of Symbolic Logic 8 (2):185-245.
Dermot Cassidy (2007). Russell's Divine Ancestors. History and Philosophy of Logic 28 (2):123-132.
Richard J. Blackwell (1987). The "Prolegomena" to a "1985 Philosophiae Naturalis Principia Mathematica" Which Will Be Able to Present Itself as a Science of the True. By F. S. C. Northrop. [REVIEW] The Modern Schoolman 65 (1):70-71.
Robert Black (1973). In Defence of Principia Mathematica. Mind 82 (328):611-612.
Stephen D. Snobelen (2010). The Theology of Isaac Newton's Principia Mathematica : A Preliminary Survey. Neue Zeitschrift für Systematische Theologie Und Religionsphilosophie 52 (4).
Kevin C. Klement (forthcoming). PM's Circumflex, Syntax and Philosophy of Types. In Bernard Linsky & Nicholas Griffin (eds.), Principia Mathematica at 100. Cambridge.
A. N. Whitehead (1926). Principia Mathematica. Mind 35 (137):130.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,921 of 549,119 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
