Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp [Book Review]

Bulletin of Symbolic Logic 20 (4):500-501 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2014.35

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reviewed Work: Dense Sphere Packings: A Blueprint for Formal Proofs by Thomas Hales.Review by: Jeremy Avigad - 2014 - Bulletin of Symbolic Logic 20 (4):500-501,.
Cambridge: Cambridge University Press, 1990. Daniel Vanderveken, Meaning and Speech Acts, vol. 2, Formal Semantics of Success and Satisfaction. Cambridge: Cambridge University Press, 1991. [REVIEW]Eckard Rolf - 1995 - Semiotica 104 (3/4):277-285.
Dyzenhaus, David, and Poole, Thomas, eds. Hobbes and the Law.Cambridge: Cambridge University Press, 2012. Pp. 254. $90.00. [REVIEW]Susanne Sreedhar - 2014 - Ethics 124 (4):894-899.
Imperial Houses S. Hales: The Roman House and Social Identity . Pp. xvi + 294, ills. Cambridge: Cambridge University Press, 2003. Cased, £55, US$75. ISBN: 0-521-81433-. [REVIEW]Jeremy Hartnett - 2005 - The Classical Review 55 (02):675-.
Aquinas's philosophical theology.A. Broadie - 1999 - British Journal for the History of Philosophy 7 (2):353 – 358.
Kristian Camilleri, Heisenberg and the Interpretation of Quantum Mechanics: The Physicist as Philosopher. Cambridge: Cambridge University Press, 2009. Pp. xii+199. ISBN 978-0-521-88484-6. £45.00 .Cathryn Carson, Heisenberg in the Atomic Age: Science and the Public Sphere. Cambridge: Cambridge University Press, 2010. Pp. xxiv+541. ISBN 978-0-521-82170-4. £55.00. [REVIEW]Matthew Stanley - 2011 - British Journal for the History of Science 44 (2):308-309.
Review of: The Cambridge Companion to Oakeshott by Efraim Podoksik (ed.). Cambridge: Cambridge University Press, 2012. [REVIEW]Martin Beckstein - 2014 - Political Studies Review 12 (2):262-263.
Ruth Abbey, ed., Charles Taylor (Cambridge: Cambridge University Press, 2004). Thomas Baldwin, ed., The Cambridge History of Philosophy (1870-1945)(Cambridge: Cambridge University Press, 2004). [REVIEW]Eric Bronson, Jeffrey Bloechl, Frans H. van Eemeren, Rob Grootendorst, Francois Raffoul, John Llewelyn, David Sedley & Jordan Howard Sobel - 2004 - Graduate Faculty Philosophy Journal 25 (1).
Michael J. P. Robson, ed., The Cambridge Companion to Francis of Assisi. Cambridge and New York: Cambridge University Press, 2012. Pp. xvii, 305. $90. ISBN: 978-0521-76043-0. [REVIEW]Colmán Ó Clabaigh - 2014 - Speculum 89 (3):820-821.
Literacy, authorship, and belief in medieval and renaissance Europe.Greg Walker - 1996 - The European Legacy 1 (8):2280-2283.
Citizens of the World: Universal Human Rights in a World of Difference by Brooke A. Ackerly. Cambridge, UK: Cambridge University Press, 2008. 373 pp. $90.00 , $34.99 . The Global Commonwealth of Citizens: Toward Cosmopolitan Democracies by Daniele Archibugi. Princeton, NJ: Princeton University Press, 2008. 298 pp. $29.95 . Ethics of Global Development: Agency, Capability and Deliberative Democracy by David A. Crocker. Cambridge, UK: Cambridge University Press, 2008. 416 pp. $99.00 , $43.00 . The Future Governance of Citizenship by Dora Kostakopoulou. Cambridge, UK: Cambridge University Press, 2008. 230 pp. $120.00 , $48.00. [REVIEW]Christine Sypnowich - 2010 - Political Theory 38 (1):156-168.
F REDERICK B URKHARDT, D UNCAN M. P ORTER et al. , The Correspondence of Charles Darwin, Volume 12: 1864. Cambridge: Cambridge University Press, 2001. Pp. xl+694. ISBN 0-521-59034-5. £55.00 . Volume 13: 1865. With Supplement to the Correspondence 1822–1864. Cambridge: Cambridge University Press, 2002. Pp. xl+695. ISBN 0-521-82413-3. £65.00 . Volume 14: 1866. Cambridge: Cambridge University Press, 2004. Pp. xl+655. ISBN 0-521-84459-2. £75.00. [REVIEW]Jonathan Hodge - 2006 - British Journal for the History of Science 39 (2):301-302.
Janneke Raaijmakers, The Making of the Monastic Community of Fulda, c. 744–c. 900. (Cambridge Studies in Medieval Life and Thought, 4th ser., 83.) Cambridge: Cambridge University Press, 2012. Pp. xx, 357; 8 black-and-white figures. $99. ISBN: 9781107002814. [REVIEW]Richard Sowerby - 2013 - Speculum 88 (4):1144-1145.
The civil war and its aftermath.Tim Harris - 1996 - The European Legacy 1 (8):2284-2289.
Complexity in practice.Peter J. Bowler - 2011 - British Journal for the History of Science 44 (2):275-280.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,195,272)

6 months
1 (#1,473,890)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references