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