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