The view that there are macro-properties that do not supervene on micro-features studied by physics is sometimes labelled emergentism. The suggestions is that, where there is no supervenience, macro-properties must miraculously come out of nowhere. But why? There is nothing of the newly landed about these properties. They have been here in the world all along, standing right beside the properties of microphysics. Perhaps we are misled by the feeling that the set of properties studied by physics is complete….The immediate point is that predictive closure among a set of properties does not imply descriptive completeness.
— Nancy CartwrightThe Dappled World

Archive for the 'Gödel' Category

Article on the Ubiquity of Undecidability

Saturday, March 6th, 2010

From March’s Notices of the AMS, Chaim Goodman-Strauss authors an article, “Can’t Decide? Undecide!” [1], on the ubiquity of undecidability in mathematics.
References
[1] Goodman-Strauss,C. 2010. “Can’t Decide? Undecide!”. Notices of the AMS. Vol 57:3.

Book: An Introduction to Gödel’s Theorems

Tuesday, July 10th, 2007

There is always room for one more book on Gödel’s Incompleteness Theorems. Today, there was an announcement on the FOM discussion list by the author, Peter Smith, of An Introduction to Gödel’s Theorems [1]. The author describes the book at his website:

You can get some idea of what is in the book by looking at the […]