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