Topoi 38 (3):561-575 (2019)

Gabriella Crocco
Université d'Aix-Marseille III
After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because such a use would contradict one of the senses of “formal” that Gödel wants to preserve. This Gödelian notion of “formal” is directly tied to his notion of absolute proof and to the question of the general applicability of concepts, in a way that overcomes both Kreisel and Myhill’s conceptions. This paper aims to contribute to the present-day debate on informal and epistemic mathematics, focusing on what appears necessary for a better understanding of the issues at stake.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11245-017-9515-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,666
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Dappled World: A Study of the Boundaries of Science.Nancy Cartwright - 2003 - Philosophy and Phenomenological Research 66 (1):244-247.
Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.

View all 26 references / Add more references

Citations of this work BETA

Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2019 - History and Philosophy of Logic 41 (1):48-70.

Add more citations

Similar books and articles

Proof, Rigour and Informality : A Virtue Account of Mathematical Knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
Gödelian Question.LÁszlÓ GÁl - 2001 - Studia Philosophica 1.
Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
Numbers and Proofs.R. B. J. T. Allenby - 1997 - Copublished in North, South, and Central America by John Wiley & Sons.
How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.


Added to PP index

Total views
17 ( #567,897 of 2,349,170 )

Recent downloads (6 months)
3 ( #239,088 of 2,349,170 )

How can I increase my downloads?


My notes