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...
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогчид: | , |
| Бусад зохиолчид: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
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)
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)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
-н: Fine, Benjamin, 1948-
Хэвлэсэн: (2014)
-н: Fine, Benjamin, 1948-
Хэвлэсэн: (2014)
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)
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)
A middle way to God
-н: Hallett, Garth
Хэвлэсэн: (2000)
-н: Hallett, Garth
Хэвлэсэн: (2000)
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)