Computer Programs for Checking Mathematical Proofs

Journal of Symbolic Logic 32 (4):523-523 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270190

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.
Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
Logics of Programs Brooklyn, June 17-19, 1985 : Proceedings.Rohit Parikh - 1985
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
Programs for Structured Proofs.Lee Harrison Blaine - 1980 - Dissertation, Stanford University
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
Why proofs by mathematical induction are generally not explanatory.Marc Lange - 2009 - Analysis 69 (2):203-211.
Exploring Computational Contents of Intuitionist Proofs.Geiza Hamazaki da Silva, Edward Haeusler & Paulo Veloso - 2005 - Logic Journal of the IGPL 13 (1):69-93.

Analytics

Added to PP
2015-02-05

Downloads
53 (#282,607)

6 months
7 (#285,926)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.

Add more citations

References found in this work

No references found.

Add more references