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...
Saved in:
| 主要作者: | |
|---|---|
| 企业作者: | , |
| 其他作者: | |
| 格式: | 电子 电子书 |
| 语言: | 英语 |
| 出版: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| 丛编: | Dolciani mathematical expositions ;
no. 42 |
| 主题: | |
| 在线阅读: | 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-, et al.
出版: (2015)
由: Chong, C.-T. (Chi-Tat), 1949-, et al.
出版: (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)
Institution-independent model theory
由: Diaconescu, Răzvan
出版: (2008)
由: Diaconescu, Răzvan
出版: (2008)
Recursion theory for metamathematics
由: Smullyan, Raymond M.
出版: (1993)
由: Smullyan, Raymond M.
出版: (1993)
Infinity and truth /
出版: (2014)
出版: (2014)
A middle way to God
由: Hallett, Garth
出版: (2000)
由: Hallett, Garth
出版: (2000)
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)
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)