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