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...
Сохранить в:
| Главный автор: | |
|---|---|
| Корпоративные авторы: | , |
| Другие авторы: | |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Серии: | Dolciani mathematical expositions ;
no. 42 |
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
по: Fine, Benjamin, 1948-
Опубликовано: (2014)
по: Fine, Benjamin, 1948-
Опубликовано: (2014)
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)
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)
A middle way to God
по: Hallett, Garth
Опубликовано: (2000)
по: Hallett, Garth
Опубликовано: (2000)
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)
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)