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