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)
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)
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)
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)