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