Paolo Degiorgi : Some excerpts from 'Remarks on the Foundations of Mathematics'

Posted by Paolo Degiorgi , part of the Louise Hay Logic Seminar.

At

Sept. 25, 2019, 4 p.m.

In

427 SEO

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.