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