Louise Hay Logic Seminar
Paolo Degiorgi
UIC
Some excerpts from 'Remarks on the Foundations of Mathematics'
Abstract: 'The proposition "P is unprovable" has a different sense afterwards - from before it was proved.
If it is proved, then it is the terminal pattern in the proof of unprovability. - If it is unproved, then what is to count as a criterion of its truth is not yet clear, and - we can say - its sense is still veiled' (RFM Part I, Appendix III, paragraph 16) .
We will look at several passages from Wittgenstein's main work on (what one could call) the philosophy of mathematics. This has been subject to much controversy.
We will probably discuss his comments on Gödel's first incompleteness theorem, and how they relate to the discussion of the role of surprise in mathematics.
While doing this, we might run into some funny wood - sellers.
Wednesday September 25, 2019 at 4:00 PM in 427 SEO