Looks like you can watch the whole film, “Wittgenstein,” here.
Archive for the ‘Philosophy of Mathematics’ Category
Association for Symbolic Logic Conference
Posted in Conferences, Logic, News & Notes, Philosophy of Mathematics on March 11, 2007 | No Comments »
… is underway at the University of Florida. Details are available here.
- Rico Vitz
An infinity of undecidable sentences — Yablo’s Paradox, formal systems and incompleteness
Posted in Logic, Philosophy of Mathematics on February 14, 2007 | 4 Comments »
Most who are familiar with any sort of basic incompleteness result (like Gödel’s First Incompleteness Theorem) for formal systems are acquainted with a proof of the theorem which precisely states the result that demonstrates a single sentence of the language of the system that is neither provable nor whose negation is provable – that is [...]