Computer proof

Journal of Philosophy 77 (12):797-803 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0022362X

DOI

10.2307/2025805

Links

PhilArchive



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

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

.[author unknown] - unknown
Using mathematica to understand the computer proof of the Robbins conjecture.Branden Fitelson - manuscript
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Evolution of mathematical proof.Marian Mrozek & Jacek Urbaniec - 1997 - Foundations of Science 2 (1):77-85.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
170 (#110,676)

6 months
28 (#106,226)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references