Vigre Lectures

Abstract

In mathematics, we back up our discoveries with rigorous deductive proofs. Mathematicians develop a keen instinctive sense of what makes a proof rigorous. In logic, we strive for a *theory* of rigorous proofs.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

  • Only published works are available at libraries.

My notes

Similar books and articles

Lectures on the proofs of the existence of God.Georg Wilhelm Friedrich Hegel (ed.) - 2007 - New York: Oxford University Press.
Hegel: Lectures on the Proofs of the Existence of God.Peter C. Hodgson (ed.) - 2007 - Oxford University Press.
Strenge Beweise und das Verbot der metábasis eis állo génos : Eine Untersuchung zu Bernard Bolzanos Beyträgen zu einer begründeteren Darstellung der Mathematik.Stefania Centrone - 2012 - History and Philosophy of Logic 33 (1):1 - 31.
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Lectures on the history of political philosophy.John Rawls - 2007 - Cambridge, Mass.: Belknap Press of Harvard University Press. Edited by Samuel Richard Freeman.
Rigorous proof and the history of mathematics: Comments on Crowe.Douglas Jesseph - 1990 - Synthese 83 (3):449 - 453.
Are rigorous evolutionary histories of human mating possible?Harmon R. Holcomb - 2000 - Behavioral and Brain Sciences 23 (4):606-607.
.[author unknown] - unknown
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
Edmund Husserl: A review of the lectures on transcendental logic. [REVIEW]A. Johnstone & M. Sheets-Johnstone - 2005 - Journal of Consciousness Studies 12 (2):43-51.
An Introduction to Mathematical Reasoning: Lectures on Numbers, Sets, and Functions.Peter J. Eccles - 1997 - Cambridge University Press.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Logic for mathematicians.Alan G. Hamilton - 1978 - New York: Cambridge University Press.

Analytics

Added to PP
2010-12-22

Downloads
238 (#80,920)

6 months
1 (#1,444,594)

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