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...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Údair chorparáideacha: | , |
| Rannpháirtithe: | |
| Formáid: | Leictreonach Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Sraith: | Dolciani mathematical expositions ;
no. 42 |
| Ábhair: | |
| Rochtain ar líne: | An electronic book accessible through the World Wide Web; click to view |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Ways of proof theory
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
The nuts and bolts of proofs
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Memoirs of a proof theorist Gödel and other logicians /
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Foilsithe / Cruthaithe: (2016)
Foilsithe / Cruthaithe: (2016)
Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
Lectures on the Curry-Howard isomorphism
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
Logic for concurrency and synchronisation
Foilsithe / Cruthaithe: (2003)
Foilsithe / Cruthaithe: (2003)
Icons of mathematics an exploration of twenty key images /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
Conditional and preferential logics proof methods and theorem proving /
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Perspectives in logic logical foundations of proof complexity /
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
Distribution models theory
Foilsithe / Cruthaithe: (2006)
Foilsithe / Cruthaithe: (2006)
Representation and productive ambiguity in mathematics and the sciences
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
Recursion theory : computational aspects of definability /
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)
Foilsithe / Cruthaithe: (2008)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
de réir: Fine, Benjamin, 1948-
Foilsithe / Cruthaithe: (2014)
de réir: Fine, Benjamin, 1948-
Foilsithe / Cruthaithe: (2014)
Forcing for mathematicians /
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
Fine structure and class forcing
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
Logic without borders /
Foilsithe / Cruthaithe: (2015)
Foilsithe / Cruthaithe: (2015)
Recursion theory for metamathematics
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
Institution-independent model theory
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)
Infinity and truth /
Foilsithe / Cruthaithe: (2014)
Foilsithe / Cruthaithe: (2014)
Infinity and the mind : the science and philosophy of the infinite /
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
Simple theories and hyperimaginaries
de réir: Casanovas, Enrique, 1957-
Foilsithe / Cruthaithe: (2011)
de réir: Casanovas, Enrique, 1957-
Foilsithe / Cruthaithe: (2011)
Notes on forcing axioms /
de réir: Todorcevic, Stevo
Foilsithe / Cruthaithe: (2014)
de réir: Todorcevic, Stevo
Foilsithe / Cruthaithe: (2014)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Foilsithe / Cruthaithe: (1998)
Foilsithe / Cruthaithe: (1998)
A middle way to God
de réir: Hallett, Garth
Foilsithe / Cruthaithe: (2000)
de réir: Hallett, Garth
Foilsithe / Cruthaithe: (2000)
Computability in context computation and logic in the real world /
Foilsithe / Cruthaithe: (2011)
Foilsithe / Cruthaithe: (2011)
Logical reasoning with diagrams
Foilsithe / Cruthaithe: (1996)
Foilsithe / Cruthaithe: (1996)
The fingerprint of God : recent scientific discoveries reveal the ... /
de réir: Ross, Hugh
Foilsithe / Cruthaithe: (1989)
de réir: Ross, Hugh
Foilsithe / Cruthaithe: (1989)
The existence of God /
de réir: Matson, Wallace I.
Foilsithe / Cruthaithe: (1965)
de réir: Matson, Wallace I.
Foilsithe / Cruthaithe: (1965)
The Fire in the equations : science, religion and the search for God /
de réir: Ferguson, Kitty
Foilsithe / Cruthaithe: (1994)
de réir: Ferguson, Kitty
Foilsithe / Cruthaithe: (1994)
God? a debate between a Christian and an atheist /
de réir: Craig, William Lane
Foilsithe / Cruthaithe: (2004)
de réir: Craig, William Lane
Foilsithe / Cruthaithe: (2004)
God? Very probably : five rational ways to think about the question of a god /
de réir: Nelson, Robert H.
Foilsithe / Cruthaithe: (2015)
de réir: Nelson, Robert H.
Foilsithe / Cruthaithe: (2015)
Meditations on first philosophy with selections from the Objections and replies /
de réir: Descartes, René, 1596-1650
Foilsithe / Cruthaithe: (2008)
de réir: Descartes, René, 1596-1650
Foilsithe / Cruthaithe: (2008)
Logic and theism arguments for and against beliefs in God /
de réir: Sobel, Jordan Howard
Foilsithe / Cruthaithe: (2004)
de réir: Sobel, Jordan Howard
Foilsithe / Cruthaithe: (2004)
The foundations of mathematics /
de réir: Stewart, Ian, 1945-
Foilsithe / Cruthaithe: (1977)
de réir: Stewart, Ian, 1945-
Foilsithe / Cruthaithe: (1977)
Mathematical logic
de réir: Chiswell, Ian, 1948-
Foilsithe / Cruthaithe: (2007)
de réir: Chiswell, Ian, 1948-
Foilsithe / Cruthaithe: (2007)