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...
Salvato in:
| Autore principale: | |
|---|---|
| Enti autori: | , |
| Altri autori: | |
| Natura: | Elettronico eBook |
| Lingua: | inglese |
| Pubblicazione: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Serie: | Dolciani mathematical expositions ;
no. 42 |
| Soggetti: | |
| Accesso online: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Ways of proof theory
di: Schindler, Ralf
Pubblicazione: (2010)
di: Schindler, Ralf
Pubblicazione: (2010)
The nuts and bolts of proofs
di: Cupillari, Antonella
Pubblicazione: (2005)
di: Cupillari, Antonella
Pubblicazione: (2005)
Proof, logic, and formalization
Pubblicazione: (1992)
Pubblicazione: (1992)
Memoirs of a proof theorist Gödel and other logicians /
di: Takeuti, Gaisi, 1926-
Pubblicazione: (2003)
di: Takeuti, Gaisi, 1926-
Pubblicazione: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Pubblicazione: (2016)
Pubblicazione: (2016)
Tracking reason proof, consequence, and truth /
di: Azzouni, Jody
Pubblicazione: (2006)
di: Azzouni, Jody
Pubblicazione: (2006)
Lectures on the Curry-Howard isomorphism
di: Sørensen, Morten Heine
Pubblicazione: (2006)
di: Sørensen, Morten Heine
Pubblicazione: (2006)
Logic for concurrency and synchronisation
Pubblicazione: (2003)
Pubblicazione: (2003)
Icons of mathematics an exploration of twenty key images /
di: Alsina, Claudi
Pubblicazione: (2011)
di: Alsina, Claudi
Pubblicazione: (2011)
Conditional and preferential logics proof methods and theorem proving /
di: Pozzato, Gian Luca
Pubblicazione: (2010)
di: Pozzato, Gian Luca
Pubblicazione: (2010)
Mathematical logic
di: Tourlakis, George J.
Pubblicazione: (2003)
di: Tourlakis, George J.
Pubblicazione: (2003)
Perspectives in logic logical foundations of proof complexity /
di: Cook, Stephen, 1948-
Pubblicazione: (2010)
di: Cook, Stephen, 1948-
Pubblicazione: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
di: Woodin, W. H. (W. Hugh)
Pubblicazione: (2010)
di: Woodin, W. H. (W. Hugh)
Pubblicazione: (2010)
Distribution models theory
Pubblicazione: (2006)
Pubblicazione: (2006)
Representation and productive ambiguity in mathematics and the sciences
di: Grosholz, Emily R.
Pubblicazione: (2007)
di: Grosholz, Emily R.
Pubblicazione: (2007)
Recursion theory : computational aspects of definability /
di: Chong, C.-T. (Chi-Tat), 1949-, et al.
Pubblicazione: (2015)
di: Chong, C.-T. (Chi-Tat), 1949-, et al.
Pubblicazione: (2015)
Computational prospects of infinity
Pubblicazione: (2008)
Pubblicazione: (2008)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
di: Fine, Benjamin, 1948-
Pubblicazione: (2014)
di: Fine, Benjamin, 1948-
Pubblicazione: (2014)
Forcing for mathematicians /
di: Weaver, Nik
Pubblicazione: (2014)
di: Weaver, Nik
Pubblicazione: (2014)
Fine structure and class forcing
di: Friedman, Sy D., 1953-
Pubblicazione: (2000)
di: Friedman, Sy D., 1953-
Pubblicazione: (2000)
Logic without borders /
Pubblicazione: (2015)
Pubblicazione: (2015)
Recursion theory for metamathematics
di: Smullyan, Raymond M.
Pubblicazione: (1993)
di: Smullyan, Raymond M.
Pubblicazione: (1993)
Institution-independent model theory
di: Diaconescu, Răzvan
Pubblicazione: (2008)
di: Diaconescu, Răzvan
Pubblicazione: (2008)
Infinity and truth /
Pubblicazione: (2014)
Pubblicazione: (2014)
Infinity and the mind : the science and philosophy of the infinite /
di: Rucker, Rudy
Pubblicazione: (1982)
di: Rucker, Rudy
Pubblicazione: (1982)
Simple theories and hyperimaginaries
di: Casanovas, Enrique, 1957-
Pubblicazione: (2011)
di: Casanovas, Enrique, 1957-
Pubblicazione: (2011)
Notes on forcing axioms /
di: Todorcevic, Stevo
Pubblicazione: (2014)
di: Todorcevic, Stevo
Pubblicazione: (2014)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Pubblicazione: (1998)
Pubblicazione: (1998)
A middle way to God
di: Hallett, Garth
Pubblicazione: (2000)
di: Hallett, Garth
Pubblicazione: (2000)
Computability in context computation and logic in the real world /
Pubblicazione: (2011)
Pubblicazione: (2011)
Logical reasoning with diagrams
Pubblicazione: (1996)
Pubblicazione: (1996)
The fingerprint of God : recent scientific discoveries reveal the ... /
di: Ross, Hugh
Pubblicazione: (1989)
di: Ross, Hugh
Pubblicazione: (1989)
The existence of God /
di: Matson, Wallace I.
Pubblicazione: (1965)
di: Matson, Wallace I.
Pubblicazione: (1965)
The Fire in the equations : science, religion and the search for God /
di: Ferguson, Kitty
Pubblicazione: (1994)
di: Ferguson, Kitty
Pubblicazione: (1994)
God? a debate between a Christian and an atheist /
di: Craig, William Lane
Pubblicazione: (2004)
di: Craig, William Lane
Pubblicazione: (2004)
God? Very probably : five rational ways to think about the question of a god /
di: Nelson, Robert H.
Pubblicazione: (2015)
di: Nelson, Robert H.
Pubblicazione: (2015)
Meditations on first philosophy with selections from the Objections and replies /
di: Descartes, René, 1596-1650
Pubblicazione: (2008)
di: Descartes, René, 1596-1650
Pubblicazione: (2008)
Logic and theism arguments for and against beliefs in God /
di: Sobel, Jordan Howard
Pubblicazione: (2004)
di: Sobel, Jordan Howard
Pubblicazione: (2004)
The foundations of mathematics /
di: Stewart, Ian, 1945-
Pubblicazione: (1977)
di: Stewart, Ian, 1945-
Pubblicazione: (1977)
Mathematical logic
di: Chiswell, Ian, 1948-
Pubblicazione: (2007)
di: Chiswell, Ian, 1948-
Pubblicazione: (2007)