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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivités auteurs: | , |
| Autres auteurs: | |
| Format: | Électronique eBook |
| Langue: | anglais |
| Publié: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Collection: | Dolciani mathematical expositions ;
no. 42 |
| Sujets: | |
| Accès en ligne: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Ways of proof theory
par: Schindler, Ralf
Publié: (2010)
par: Schindler, Ralf
Publié: (2010)
The nuts and bolts of proofs
par: Cupillari, Antonella
Publié: (2005)
par: Cupillari, Antonella
Publié: (2005)
Proof, logic, and formalization
Publié: (1992)
Publié: (1992)
Memoirs of a proof theorist Gödel and other logicians /
par: Takeuti, Gaisi, 1926-
Publié: (2003)
par: Takeuti, Gaisi, 1926-
Publié: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Publié: (2016)
Publié: (2016)
Tracking reason proof, consequence, and truth /
par: Azzouni, Jody
Publié: (2006)
par: Azzouni, Jody
Publié: (2006)
Lectures on the Curry-Howard isomorphism
par: Sørensen, Morten Heine
Publié: (2006)
par: Sørensen, Morten Heine
Publié: (2006)
Logic for concurrency and synchronisation
Publié: (2003)
Publié: (2003)
Icons of mathematics an exploration of twenty key images /
par: Alsina, Claudi
Publié: (2011)
par: Alsina, Claudi
Publié: (2011)
Conditional and preferential logics proof methods and theorem proving /
par: Pozzato, Gian Luca
Publié: (2010)
par: Pozzato, Gian Luca
Publié: (2010)
Mathematical logic
par: Tourlakis, George J.
Publié: (2003)
par: Tourlakis, George J.
Publié: (2003)
Perspectives in logic logical foundations of proof complexity /
par: Cook, Stephen, 1948-
Publié: (2010)
par: Cook, Stephen, 1948-
Publié: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
par: Woodin, W. H. (W. Hugh)
Publié: (2010)
par: Woodin, W. H. (W. Hugh)
Publié: (2010)
Distribution models theory
Publié: (2006)
Publié: (2006)
Representation and productive ambiguity in mathematics and the sciences
par: Grosholz, Emily R.
Publié: (2007)
par: Grosholz, Emily R.
Publié: (2007)
Recursion theory : computational aspects of definability /
par: Chong, C.-T. (Chi-Tat), 1949-, et autres
Publié: (2015)
par: Chong, C.-T. (Chi-Tat), 1949-, et autres
Publié: (2015)
Computational prospects of infinity
Publié: (2008)
Publié: (2008)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
par: Fine, Benjamin, 1948-
Publié: (2014)
par: Fine, Benjamin, 1948-
Publié: (2014)
Forcing for mathematicians /
par: Weaver, Nik
Publié: (2014)
par: Weaver, Nik
Publié: (2014)
Fine structure and class forcing
par: Friedman, Sy D., 1953-
Publié: (2000)
par: Friedman, Sy D., 1953-
Publié: (2000)
Logic without borders /
Publié: (2015)
Publié: (2015)
Recursion theory for metamathematics
par: Smullyan, Raymond M.
Publié: (1993)
par: Smullyan, Raymond M.
Publié: (1993)
Institution-independent model theory
par: Diaconescu, Răzvan
Publié: (2008)
par: Diaconescu, Răzvan
Publié: (2008)
Infinity and truth /
Publié: (2014)
Publié: (2014)
Infinity and the mind : the science and philosophy of the infinite /
par: Rucker, Rudy
Publié: (1982)
par: Rucker, Rudy
Publié: (1982)
Notes on forcing axioms /
par: Todorcevic, Stevo
Publié: (2014)
par: Todorcevic, Stevo
Publié: (2014)
Simple theories and hyperimaginaries
par: Casanovas, Enrique, 1957-
Publié: (2011)
par: Casanovas, Enrique, 1957-
Publié: (2011)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Publié: (1998)
Publié: (1998)
A middle way to God
par: Hallett, Garth
Publié: (2000)
par: Hallett, Garth
Publié: (2000)
Computability in context computation and logic in the real world /
Publié: (2011)
Publié: (2011)
Logical reasoning with diagrams
Publié: (1996)
Publié: (1996)
The fingerprint of God : recent scientific discoveries reveal the ... /
par: Ross, Hugh
Publié: (1989)
par: Ross, Hugh
Publié: (1989)
The existence of God /
par: Matson, Wallace I.
Publié: (1965)
par: Matson, Wallace I.
Publié: (1965)
The Fire in the equations : science, religion and the search for God /
par: Ferguson, Kitty
Publié: (1994)
par: Ferguson, Kitty
Publié: (1994)
God? a debate between a Christian and an atheist /
par: Craig, William Lane
Publié: (2004)
par: Craig, William Lane
Publié: (2004)
God? Very probably : five rational ways to think about the question of a god /
par: Nelson, Robert H.
Publié: (2015)
par: Nelson, Robert H.
Publié: (2015)
Meditations on first philosophy with selections from the Objections and replies /
par: Descartes, René, 1596-1650
Publié: (2008)
par: Descartes, René, 1596-1650
Publié: (2008)
Logic and theism arguments for and against beliefs in God /
par: Sobel, Jordan Howard
Publié: (2004)
par: Sobel, Jordan Howard
Publié: (2004)
The foundations of mathematics /
par: Stewart, Ian, 1945-
Publié: (1977)
par: Stewart, Ian, 1945-
Publié: (1977)
Mathematical logic
par: Chiswell, Ian, 1948-
Publié: (2007)
par: Chiswell, Ian, 1948-
Publié: (2007)