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...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | , |
| Altres autors: | |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Col·lecció: | Dolciani mathematical expositions ;
no. 42 |
| Matèries: | |
| Accés en línia: | An electronic book accessible through the World Wide Web; click to view |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Charming proofs a journey into elegant mathematics /
per: Alsina, Claudi
Publicat: (2010)
per: Alsina, Claudi
Publicat: (2010)
Ways of proof theory
per: Schindler, Ralf
Publicat: (2010)
per: Schindler, Ralf
Publicat: (2010)
Ways of proof theory
per: Schindler, Ralf
Publicat: (2010)
per: Schindler, Ralf
Publicat: (2010)
The nuts and bolts of proofs
per: Cupillari, Antonella
Publicat: (2005)
per: Cupillari, Antonella
Publicat: (2005)
The nuts and bolts of proofs
per: Cupillari, Antonella
Publicat: (2005)
per: Cupillari, Antonella
Publicat: (2005)
Proof, logic, and formalization
Publicat: (1992)
Publicat: (1992)
Proof, logic, and formalization
Publicat: (1992)
Publicat: (1992)
Memoirs of a proof theorist Gödel and other logicians /
per: Takeuti, Gaisi, 1926-
Publicat: (2003)
per: Takeuti, Gaisi, 1926-
Publicat: (2003)
Memoirs of a proof theorist Gödel and other logicians /
per: Takeuti, Gaisi, 1926-
Publicat: (2003)
per: Takeuti, Gaisi, 1926-
Publicat: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Publicat: (2016)
Publicat: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Publicat: (2016)
Publicat: (2016)
Tracking reason proof, consequence, and truth /
per: Azzouni, Jody
Publicat: (2006)
per: Azzouni, Jody
Publicat: (2006)
Tracking reason proof, consequence, and truth /
per: Azzouni, Jody
Publicat: (2006)
per: Azzouni, Jody
Publicat: (2006)
Lectures on the Curry-Howard isomorphism
per: Sørensen, Morten Heine
Publicat: (2006)
per: Sørensen, Morten Heine
Publicat: (2006)
Lectures on the Curry-Howard isomorphism
per: Sørensen, Morten Heine
Publicat: (2006)
per: Sørensen, Morten Heine
Publicat: (2006)
Logic for concurrency and synchronisation
Publicat: (2003)
Publicat: (2003)
Logic for concurrency and synchronisation
Publicat: (2003)
Publicat: (2003)
Icons of mathematics an exploration of twenty key images /
per: Alsina, Claudi
Publicat: (2011)
per: Alsina, Claudi
Publicat: (2011)
Icons of mathematics an exploration of twenty key images /
per: Alsina, Claudi
Publicat: (2011)
per: Alsina, Claudi
Publicat: (2011)
Conditional and preferential logics proof methods and theorem proving /
per: Pozzato, Gian Luca
Publicat: (2010)
per: Pozzato, Gian Luca
Publicat: (2010)
Conditional and preferential logics proof methods and theorem proving /
per: Pozzato, Gian Luca
Publicat: (2010)
per: Pozzato, Gian Luca
Publicat: (2010)
Mathematical logic
per: Tourlakis, George J.
Publicat: (2003)
per: Tourlakis, George J.
Publicat: (2003)
Mathematical logic
per: Tourlakis, George J.
Publicat: (2003)
per: Tourlakis, George J.
Publicat: (2003)
Perspectives in logic logical foundations of proof complexity /
per: Cook, Stephen, 1948-
Publicat: (2010)
per: Cook, Stephen, 1948-
Publicat: (2010)
Perspectives in logic logical foundations of proof complexity /
per: Cook, Stephen, 1948-
Publicat: (2010)
per: Cook, Stephen, 1948-
Publicat: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
per: Woodin, W. H. (W. Hugh)
Publicat: (2010)
per: Woodin, W. H. (W. Hugh)
Publicat: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
per: Woodin, W. H. (W. Hugh)
Publicat: (2010)
per: Woodin, W. H. (W. Hugh)
Publicat: (2010)
Distribution models theory
Publicat: (2006)
Publicat: (2006)
Distribution models theory
Publicat: (2006)
Publicat: (2006)
Representation and productive ambiguity in mathematics and the sciences
per: Grosholz, Emily R.
Publicat: (2007)
per: Grosholz, Emily R.
Publicat: (2007)
Representation and productive ambiguity in mathematics and the sciences
per: Grosholz, Emily R.
Publicat: (2007)
per: Grosholz, Emily R.
Publicat: (2007)
Recursion theory : computational aspects of definability /
per: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicat: (2015)
per: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicat: (2015)
Recursion theory : computational aspects of definability /
per: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicat: (2015)
per: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicat: (2015)
Computational prospects of infinity
Publicat: (2008)
Publicat: (2008)
Computational prospects of infinity
Publicat: (2008)
Publicat: (2008)
Forcing for mathematicians /
per: Weaver, Nik
Publicat: (2014)
per: Weaver, Nik
Publicat: (2014)
Forcing for mathematicians /
per: Weaver, Nik
Publicat: (2014)
per: Weaver, Nik
Publicat: (2014)
Fine structure and class forcing
per: Friedman, Sy D., 1953-
Publicat: (2000)
per: Friedman, Sy D., 1953-
Publicat: (2000)
Fine structure and class forcing
per: Friedman, Sy D., 1953-
Publicat: (2000)
per: Friedman, Sy D., 1953-
Publicat: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
per: Fine, Benjamin, 1948-
Publicat: (2014)
per: Fine, Benjamin, 1948-
Publicat: (2014)