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)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
حسب: Fine, Benjamin, 1948-
منشور في: (2014)
حسب: Fine, Benjamin, 1948-
منشور في: (2014)
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)
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)
A middle way to God
حسب: Hallett, Garth
منشور في: (2000)
حسب: Hallett, Garth
منشور في: (2000)
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 existence of God /
حسب: Matson, Wallace I.
منشور في: (1965)
حسب: Matson, Wallace I.
منشور في: (1965)
The fingerprint of God : recent scientific discoveries reveal the ... /
حسب: Ross, Hugh
منشور في: (1989)
حسب: Ross, Hugh
منشور في: (1989)
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)