- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Implementing Mathematics with the Nuprl Proof Development System
Journal of Symbolic Logic 55 (3):1299-1302 (1990)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Gabriele Lolli. Fenomenologia della dimostrazione. Turin: Il Mulino, 2005. ISBN 88-339-1588-3. Pp. 182.V. Giardino - 2007 - Philosophia Mathematica 15 (1):132-134.
Proof in mathematics ("if", "then" and "perhaps"): a collection of material illustrating the nature and variety of the idea of proof in mathematics.P. R. Baxandall (ed.) - 1978 - [Keele]: University of Keele, Institute of Education.
Argument and explanation in mathematics.Michel Dufour - 2013 - In Dima Mohammed and Marcin Lewiński (ed.), Virtues of Argumentation. Proceedings of the 10th International Conference of the Ontario Society for the Study of Argumentation (OSSA), 22-26 May 2013. pp. pp. 1-14..
First‐year secondary school mathematics students' conceptions of mathematical proofs and proving.Savas Basturk - 2010 - Educational Studies 36 (3):283-298.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
The Development of Logical Argument Through the Teaching of Mathematical Proof.Emily Macmillan - 2003
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
On the roles of proof in mathematics.Joseph Auslander - 2008 - In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 61--77.
A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation.Preston K. Covey - unknown
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.
Analytics
Added to PP
2015-02-05
Downloads
26 (#592,813)
6 months
7 (#425,192)
2015-02-05
Downloads
26 (#592,813)
6 months
7 (#425,192)
Historical graph of downloads
Citations of this work
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Sam Buss (ed.), Handbook of Proof Theory. Elsevier. pp. 337-405.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo