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