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...
保存先:
| 第一著者: | |
|---|---|
| 共著者: | , |
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
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-, 等
出版事項: (2015)
著者:: Chong, C.-T. (Chi-Tat), 1949-, 等
出版事項: (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)
Recursion theory for metamathematics
著者:: Smullyan, Raymond M.
出版事項: (1993)
著者:: Smullyan, Raymond M.
出版事項: (1993)
Institution-independent model theory
著者:: Diaconescu, Răzvan
出版事項: (2008)
著者:: Diaconescu, Răzvan
出版事項: (2008)
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)
Notes on forcing axioms /
著者:: Todorcevic, Stevo
出版事項: (2014)
著者:: Todorcevic, Stevo
出版事項: (2014)
Simple theories and hyperimaginaries
著者:: Casanovas, Enrique, 1957-
出版事項: (2011)
著者:: Casanovas, Enrique, 1957-
出版事項: (2011)
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 fingerprint of God : recent scientific discoveries reveal the ... /
著者:: Ross, Hugh
出版事項: (1989)
著者:: Ross, Hugh
出版事項: (1989)
The existence of God /
著者:: Matson, Wallace I.
出版事項: (1965)
著者:: Matson, Wallace I.
出版事項: (1965)
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)