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