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