Searching for Proofs

&

Abstract

The Carnegie Mellon Proof Tutor project was motivated by pedagogical concerns: we wanted to use a "mechanical" (i.e. computerized) tutor for teaching students..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
.[author unknown] - unknown
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Automated search for Gödel’s proofs.Wilfried Sieg & Clinton Field - 2005 - Annals of Pure and Applied Logic 133 (1):319-338.
Numbers and proofs.Reg Allenby - 1997 - New York: Copublished in North, South, and Central America by John Wiley & Sons.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Computer Environments for Proof Construction.Richard Scheines & Wilfried Sieg - unknown
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
When the proof doesnt show the truth.Farzad Didehvar - manuscript

Analytics

Added to PP
2010-12-22

Downloads
45 (#337,378)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richard Scheines
Carnegie Mellon University
Wilfried Sieg
Carnegie Mellon University

Citations of this work

Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.
An Analysis of the Notion of Rigour in Proofs.Michele Friend & Andrea Pedeferri - 2011 - Logic and Philosophy of Science 9 (1):165-171.

Add more citations

References found in this work

No references found.

Add more references