[FOM] Logicomix
joeshipman@aol.com
joeshipman at aol.com
Sun Apr 18 13:36:41 EDT 2010
As I wrote on Scott Aaronson's blog last December:
Logicomix was very good, and its focus on Russell was the right choice
from a dramatic point of view, but it gives an overly pessimistic view
because it slights the key work of Zermelo and Tarski, as well as
Godel’s Completeness theorem, leaving the impression that the
foundations of mathematics are in bad shape when they are largely a
success story.
-- JS
-----Original Message-----
From: Timothy Y. Chow <tchow at alum.mit.edu>
For FOMers who are not already aware of it, Doxiadis and Papadimitriou
came out with a book called "Logicomix" last year....
More information about the FOM
mailing list