Charming proofs a journey into elegant mathematics /
"Theorems and their proofs lie at the heart of mathematics. In speaking of the purely aesthetic qualities of theorems and proofs, G. H. Hardy wrote that in beautiful proofs 'there is a very high degree of unexpectedness, combined with inevitability and economy'. Charming Proofs presen...
Saved in:
Main Author: | Alsina, Claudi |
---|---|
Corporate Authors: | Mathematical Association of America, ebrary, Inc |
Other Authors: | Nelsen, Roger B. |
Format: | Electronic eBook |
Language: | English |
Published: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
Series: | Dolciani mathematical expositions ;
no. 42 |
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Ways of proof theory
by: Schindler, Ralf
Published: (2010)
by: Schindler, Ralf
Published: (2010)
The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)
by: Cupillari, Antonella
Published: (2005)
Proof, logic, and formalization
Published: (1992)
Published: (1992)
Memoirs of a proof theorist Gödel and other logicians /
by: Takeuti, Gaisi, 1926-
Published: (2003)
by: Takeuti, Gaisi, 1926-
Published: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)
Published: (2016)
Tracking reason proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)
by: Azzouni, Jody
Published: (2006)
Lectures on the Curry-Howard isomorphism
by: Sørensen, Morten Heine
Published: (2006)
by: Sørensen, Morten Heine
Published: (2006)
Logic for concurrency and synchronisation
Published: (2003)
Published: (2003)
Icons of mathematics an exploration of twenty key images /
by: Alsina, Claudi
Published: (2011)
by: Alsina, Claudi
Published: (2011)
Conditional and preferential logics proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)
by: Pozzato, Gian Luca
Published: (2010)
Mathematical logic
by: Tourlakis, George J.
Published: (2003)
by: Tourlakis, George J.
Published: (2003)
Perspectives in logic logical foundations of proof complexity /
by: Cook, Stephen, 1948-
Published: (2010)
by: Cook, Stephen, 1948-
Published: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
by: Woodin, W. H. (W. Hugh)
Published: (2010)
by: Woodin, W. H. (W. Hugh)
Published: (2010)
Distribution models theory
Published: (2006)
Published: (2006)
Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)
by: Grosholz, Emily R.
Published: (2007)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
by: Fine, Benjamin, 1948-
Published: (2014)
by: Fine, Benjamin, 1948-
Published: (2014)
Recursion theory : computational aspects of definability /
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)
Computational prospects of infinity
Published: (2008)
Published: (2008)
Forcing for mathematicians /
by: Weaver, Nik
Published: (2014)
by: Weaver, Nik
Published: (2014)
Fine structure and class forcing
by: Friedman, Sy D., 1953-
Published: (2000)
by: Friedman, Sy D., 1953-
Published: (2000)
Logic without borders /
Published: (2015)
Published: (2015)
Institution-independent model theory
by: Diaconescu, Răzvan
Published: (2008)
by: Diaconescu, Răzvan
Published: (2008)
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)
by: Smullyan, Raymond M.
Published: (1993)
Infinity and truth /
Published: (2014)
Published: (2014)
A middle way to God
by: Hallett, Garth
Published: (2000)
by: Hallett, Garth
Published: (2000)
Infinity and the mind : the science and philosophy of the infinite /
by: Rucker, Rudy
Published: (1982)
by: Rucker, Rudy
Published: (1982)
Simple theories and hyperimaginaries
by: Casanovas, Enrique, 1957-
Published: (2011)
by: Casanovas, Enrique, 1957-
Published: (2011)
Notes on forcing axioms /
by: Todorcevic, Stevo
Published: (2014)
by: Todorcevic, Stevo
Published: (2014)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Published: (1998)
Published: (1998)
Computability in context computation and logic in the real world /
Published: (2011)
Published: (2011)
Logical reasoning with diagrams
Published: (1996)
Published: (1996)
The existence of God /
by: Matson, Wallace I.
Published: (1965)
by: Matson, Wallace I.
Published: (1965)
The fingerprint of God : recent scientific discoveries reveal the ... /
by: Ross, Hugh
Published: (1989)
by: Ross, Hugh
Published: (1989)
The Fire in the equations : science, religion and the search for God /
by: Ferguson, Kitty
Published: (1994)
by: Ferguson, Kitty
Published: (1994)
God? a debate between a Christian and an atheist /
by: Craig, William Lane
Published: (2004)
by: Craig, William Lane
Published: (2004)
God? Very probably : five rational ways to think about the question of a god /
by: Nelson, Robert H.
Published: (2015)
by: Nelson, Robert H.
Published: (2015)
Meditations on first philosophy with selections from the Objections and replies /
by: Descartes, René, 1596-1650
Published: (2008)
by: Descartes, René, 1596-1650
Published: (2008)
Logic and theism arguments for and against beliefs in God /
by: Sobel, Jordan Howard
Published: (2004)
by: Sobel, Jordan Howard
Published: (2004)
The foundations of mathematics /
by: Stewart, Ian, 1945-
Published: (1977)
by: Stewart, Ian, 1945-
Published: (1977)
Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)
by: Chiswell, Ian, 1948-
Published: (2007)
Similar Items
-
Ways of proof theory
by: Schindler, Ralf
Published: (2010) -
The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005) -
Proof, logic, and formalization
Published: (1992) -
Memoirs of a proof theorist Gödel and other logicians /
by: Takeuti, Gaisi, 1926-
Published: (2003) -
Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)