Proof and the art of mathematics

Cambridge, Massachusetts: The MIT Press (2020)
  Copy   BIBTEX

Abstract

A textbook for students who are learning how to write a mathematical proof, a validation of the truth of a mathematical statement.

Categories

Keywords

Reprint years

Call number

QA9.54.H345 2020

ISBN(s)

9780262539791   0262539799
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Proof and the art of mathematics: examples and extensions.Joel David Hamkins - 2021 - Cambridge, Massachusetts: The MIT Press.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
An introduction to mathematical reasoning.Boris Iglewicz - 1973 - New York,: Macmillan. Edited by Judith Stoyle.
The Development of Logical Argument Through the Teaching of Mathematical Proof.Emily Macmillan - 2003
100% Mathematical Proof.Rowan Garnier & John Taylor - 1996 - John Wiley & Son.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
How to read and do proofs: an introduction to mathematical thought processes.Daniel Solow - 2014 - Hoboken, New Jersey: Wiley.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
omnibus Review. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
Of Proofs, Mathematicians, and Computers.Astrik Yepremyan - unknown
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.

Analytics

Added to PP
2022-12-03

Downloads
8 (#1,325,033)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joel David Hamkins
Oxford University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references