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