The Development of the Idea of Proof

In T. Gowers (ed.), ¸ Itegowers:Pcm. Princeton University Press. pp. 129--42 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
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.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Mathematical analysis and proof.David S. G. Stirling - 2009 - Chichester, UK: Horwood.
Sense and Proof.Carlo Penco & Daniele Porello - 2010 - In M. D'agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science,. College Publicationss.
.[author unknown] - unknown
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
A tough nut for proof procedures.John McCarthy - unknown
The Relevance of Peircean Theory of Abduction to the Development of Students' Conceptions of Proof (With Particular Attention to Proof in Calculus).Elisabetta Ferrando - 2000 - Semiotics:217-232.
O pojęciu prawdy w intuicjonizmie matematycznym.Zbigniew Tworak - 2010 - Filozofia Nauki 18 (4).

Analytics

Added to PP
2011-03-20

Downloads
16 (#883,649)

6 months
1 (#1,510,037)

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

The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History.Reviel Netz - 1999 - Cambridge and New York: Cambridge University Press.

Add more references