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
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)
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)
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)
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)
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)
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)
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)
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)
Computational prospects of infinity
Publicat: (2008)
Publicat: (2008)
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)
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)
Logic without borders /
Publicat: (2015)
Publicat: (2015)
Recursion theory for metamathematics
per: Smullyan, Raymond M.
Publicat: (1993)
per: Smullyan, Raymond M.
Publicat: (1993)
Institution-independent model theory
per: Diaconescu, Răzvan
Publicat: (2008)
per: Diaconescu, Răzvan
Publicat: (2008)
Infinity and truth /
Publicat: (2014)
Publicat: (2014)
Infinity and the mind : the science and philosophy of the infinite /
per: Rucker, Rudy
Publicat: (1982)
per: Rucker, Rudy
Publicat: (1982)
Simple theories and hyperimaginaries
per: Casanovas, Enrique, 1957-
Publicat: (2011)
per: Casanovas, Enrique, 1957-
Publicat: (2011)
Notes on forcing axioms /
per: Todorcevic, Stevo
Publicat: (2014)
per: Todorcevic, Stevo
Publicat: (2014)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Publicat: (1998)
Publicat: (1998)
A middle way to God
per: Hallett, Garth
Publicat: (2000)
per: Hallett, Garth
Publicat: (2000)
Computability in context computation and logic in the real world /
Publicat: (2011)
Publicat: (2011)
Logical reasoning with diagrams
Publicat: (1996)
Publicat: (1996)
The fingerprint of God : recent scientific discoveries reveal the ... /
per: Ross, Hugh
Publicat: (1989)
per: Ross, Hugh
Publicat: (1989)
The existence of God /
per: Matson, Wallace I.
Publicat: (1965)
per: Matson, Wallace I.
Publicat: (1965)
The Fire in the equations : science, religion and the search for God /
per: Ferguson, Kitty
Publicat: (1994)
per: Ferguson, Kitty
Publicat: (1994)
God? a debate between a Christian and an atheist /
per: Craig, William Lane
Publicat: (2004)
per: Craig, William Lane
Publicat: (2004)
God? Very probably : five rational ways to think about the question of a god /
per: Nelson, Robert H.
Publicat: (2015)
per: Nelson, Robert H.
Publicat: (2015)
Meditations on first philosophy with selections from the Objections and replies /
per: Descartes, René, 1596-1650
Publicat: (2008)
per: Descartes, René, 1596-1650
Publicat: (2008)
Logic and theism arguments for and against beliefs in God /
per: Sobel, Jordan Howard
Publicat: (2004)
per: Sobel, Jordan Howard
Publicat: (2004)
The foundations of mathematics /
per: Stewart, Ian, 1945-
Publicat: (1977)
per: Stewart, Ian, 1945-
Publicat: (1977)
Mathematical logic
per: Chiswell, Ian, 1948-
Publicat: (2007)
per: Chiswell, Ian, 1948-
Publicat: (2007)