Speaker:Dr Peter Smith (Faculty of Philosophy)
Venue: Old Combination Room, Trinity College
Time: 21/11/2005 20:30, drinks from 20:15

The talk is available.

Gödel famously showed that, in any theory in which you do enough arithmetic, there will be unprovable true sentences of arithmetic. Is this just a logical curiosity? Or does his Incompleteness Theorem impact on ‘ordinary’ mathematics?