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
Charming proofs a journey into elegant mathematics /
by: Alsina, Claudi
Published: (2010)
by: Alsina, Claudi
Published: (2010)
Ways of proof theory
by: Schindler, Ralf
Published: (2010)
by: Schindler, Ralf
Published: (2010)
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)
The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)
by: Cupillari, Antonella
Published: (2005)
Proof, logic, and formalization
Published: (1992)
Published: (1992)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)
by: Grosholz, Emily R.
Published: (2007)
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)
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)
Computational prospects of infinity
Published: (2008)
Published: (2008)
Forcing for mathematicians /
by: Weaver, Nik
Published: (2014)
by: Weaver, Nik
Published: (2014)
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)
Fine structure and class forcing
by: Friedman, Sy D., 1953-
Published: (2000)
by: Friedman, Sy D., 1953-
Published: (2000)
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)
Similar Items
-
Charming proofs a journey into elegant mathematics /
by: Alsina, Claudi
Published: (2010) -
Ways of proof theory
by: Schindler, Ralf
Published: (2010) -
Ways of proof theory
by: Schindler, Ralf
Published: (2010) -
The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005) -
The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)