Informal Rigour and Completeness Proofs

In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157 (1967)
  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

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

Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Church's thesis and the ideal of informal rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.
How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
Three theorems of Godel.Andrew Boucher - manuscript
Some decision problems of enormous complexity.Harvey Friedman - manuscript

Analytics

Added to PP
2011-03-20

Downloads
306 (#63,646)

6 months
21 (#121,644)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

View all 159 citations / Add more citations

References found in this work

No references found.

Add more references