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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| Corporate Authors: | , |
| מחברים אחרים: | |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | אנגלית |
| יצא לאור: |
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-, et al.
יצא לאור: (2015)
מאת: Chong, C.-T. (Chi-Tat), 1949-, et al.
יצא לאור: (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)