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