A proof-centric approach to mathematical assistants

&
Journal of Applied Logic 4 (4):505-532 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.007

Links

PhilArchive



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

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

Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
The right information… and intelligent nodes.Edward Dawidowicz, Vairzora Jackson, Thomas E. Bryant & Martin Adams - unknown
When Is It Right to Fight? Just War Theory and the Individual-Centric Approach.James Pattison - 2013 - Ethical Theory and Moral Practice 16 (1):35-54.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Mathematical rigor, proof gap and the validity of mathematical inference.Yacin Hamami - 2014 - Philosophia Scientiae 18 (1):7-26.
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
A neo-formalist approach to mathematical truth.Alan Weir - manuscript
Of Proofs, Mathematicians, and Computers.Astrik Yepremyan - unknown
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge.Brendan Larvor - 2016 - Philosophia Mathematica 24 (3):401-404.
The Unsolvability of The Quintic: A Case Study in Abstract Mathematical Explanation.Christopher Pincock - 2015 - Philosophers' Imprint 15.
Syntax-directed discovery in mathematics.David S. Henley - 1995 - Erkenntnis 43 (2):241 - 259.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Prospects for an Expressivist Theory of Meaning.Nate Charlow - 2015 - Philosophers' Imprint 15:1-43.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,084,326)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references