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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Nhiều tác giả của công ty: | , |
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Loạt: | Dolciani mathematical expositions ;
no. 42 |
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Ways of proof theory
Bằng: Schindler, Ralf
Được phát hành: (2010)
Bằng: Schindler, Ralf
Được phát hành: (2010)
The nuts and bolts of proofs
Bằng: Cupillari, Antonella
Được phát hành: (2005)
Bằng: Cupillari, Antonella
Được phát hành: (2005)
Proof, logic, and formalization
Được phát hành: (1992)
Được phát hành: (1992)
Memoirs of a proof theorist Gödel and other logicians /
Bằng: Takeuti, Gaisi, 1926-
Được phát hành: (2003)
Bằng: Takeuti, Gaisi, 1926-
Được phát hành: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Được phát hành: (2016)
Được phát hành: (2016)
Tracking reason proof, consequence, and truth /
Bằng: Azzouni, Jody
Được phát hành: (2006)
Bằng: Azzouni, Jody
Được phát hành: (2006)
Lectures on the Curry-Howard isomorphism
Bằng: Sørensen, Morten Heine
Được phát hành: (2006)
Bằng: Sørensen, Morten Heine
Được phát hành: (2006)
Logic for concurrency and synchronisation
Được phát hành: (2003)
Được phát hành: (2003)
Icons of mathematics an exploration of twenty key images /
Bằng: Alsina, Claudi
Được phát hành: (2011)
Bằng: Alsina, Claudi
Được phát hành: (2011)
Conditional and preferential logics proof methods and theorem proving /
Bằng: Pozzato, Gian Luca
Được phát hành: (2010)
Bằng: Pozzato, Gian Luca
Được phát hành: (2010)
Mathematical logic
Bằng: Tourlakis, George J.
Được phát hành: (2003)
Bằng: Tourlakis, George J.
Được phát hành: (2003)
Perspectives in logic logical foundations of proof complexity /
Bằng: Cook, Stephen, 1948-
Được phát hành: (2010)
Bằng: Cook, Stephen, 1948-
Được phát hành: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
Bằng: Woodin, W. H. (W. Hugh)
Được phát hành: (2010)
Bằng: Woodin, W. H. (W. Hugh)
Được phát hành: (2010)
Distribution models theory
Được phát hành: (2006)
Được phát hành: (2006)
Representation and productive ambiguity in mathematics and the sciences
Bằng: Grosholz, Emily R.
Được phát hành: (2007)
Bằng: Grosholz, Emily R.
Được phát hành: (2007)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
Bằng: Fine, Benjamin, 1948-
Được phát hành: (2014)
Bằng: Fine, Benjamin, 1948-
Được phát hành: (2014)
Recursion theory : computational aspects of definability /
Bằng: Chong, C.-T. (Chi-Tat), 1949-, et al.
Được phát hành: (2015)
Bằng: Chong, C.-T. (Chi-Tat), 1949-, et al.
Được phát hành: (2015)
Computational prospects of infinity
Được phát hành: (2008)
Được phát hành: (2008)
Forcing for mathematicians /
Bằng: Weaver, Nik
Được phát hành: (2014)
Bằng: Weaver, Nik
Được phát hành: (2014)
Fine structure and class forcing
Bằng: Friedman, Sy D., 1953-
Được phát hành: (2000)
Bằng: Friedman, Sy D., 1953-
Được phát hành: (2000)
Logic without borders /
Được phát hành: (2015)
Được phát hành: (2015)
Institution-independent model theory
Bằng: Diaconescu, Răzvan
Được phát hành: (2008)
Bằng: Diaconescu, Răzvan
Được phát hành: (2008)
Recursion theory for metamathematics
Bằng: Smullyan, Raymond M.
Được phát hành: (1993)
Bằng: Smullyan, Raymond M.
Được phát hành: (1993)
Infinity and truth /
Được phát hành: (2014)
Được phát hành: (2014)
A middle way to God
Bằng: Hallett, Garth
Được phát hành: (2000)
Bằng: Hallett, Garth
Được phát hành: (2000)
Infinity and the mind : the science and philosophy of the infinite /
Bằng: Rucker, Rudy
Được phát hành: (1982)
Bằng: Rucker, Rudy
Được phát hành: (1982)
Notes on forcing axioms /
Bằng: Todorcevic, Stevo
Được phát hành: (2014)
Bằng: Todorcevic, Stevo
Được phát hành: (2014)
Simple theories and hyperimaginaries
Bằng: Casanovas, Enrique, 1957-
Được phát hành: (2011)
Bằng: Casanovas, Enrique, 1957-
Được phát hành: (2011)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Được phát hành: (1998)
Được phát hành: (1998)
Computability in context computation and logic in the real world /
Được phát hành: (2011)
Được phát hành: (2011)
Logical reasoning with diagrams
Được phát hành: (1996)
Được phát hành: (1996)
The existence of God /
Bằng: Matson, Wallace I.
Được phát hành: (1965)
Bằng: Matson, Wallace I.
Được phát hành: (1965)
The fingerprint of God : recent scientific discoveries reveal the ... /
Bằng: Ross, Hugh
Được phát hành: (1989)
Bằng: Ross, Hugh
Được phát hành: (1989)
The Fire in the equations : science, religion and the search for God /
Bằng: Ferguson, Kitty
Được phát hành: (1994)
Bằng: Ferguson, Kitty
Được phát hành: (1994)
God? a debate between a Christian and an atheist /
Bằng: Craig, William Lane
Được phát hành: (2004)
Bằng: Craig, William Lane
Được phát hành: (2004)
God? Very probably : five rational ways to think about the question of a god /
Bằng: Nelson, Robert H.
Được phát hành: (2015)
Bằng: Nelson, Robert H.
Được phát hành: (2015)
Meditations on first philosophy with selections from the Objections and replies /
Bằng: Descartes, René, 1596-1650
Được phát hành: (2008)
Bằng: Descartes, René, 1596-1650
Được phát hành: (2008)
Logic and theism arguments for and against beliefs in God /
Bằng: Sobel, Jordan Howard
Được phát hành: (2004)
Bằng: Sobel, Jordan Howard
Được phát hành: (2004)
The foundations of mathematics /
Bằng: Stewart, Ian, 1945-
Được phát hành: (1977)
Bằng: Stewart, Ian, 1945-
Được phát hành: (1977)
Mathematical logic
Bằng: Chiswell, Ian, 1948-
Được phát hành: (2007)
Bằng: Chiswell, Ian, 1948-
Được phát hành: (2007)