Speaker:Prof. Béla Bollobás (DPMMS / Memphis)
Venue: Old Combination Room, Trinity College
Time: 23/01/2006 20:30, drinks from 20:15
In the talk we shall present some unusual proofs of several combinatorial results.
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?
Speaker:Dr Arthur Norman (Computing Laboratory)
Venue: Old Combination Room, Trinity College
Time: 07/11/2005 20:30, drinks from 20:15
In some respects quite a lot of calculus is easy to automate in the form of computer programs. However when people have done that they always seem to end up with systems that can be caused to give nonsense results. This talk looks at some of the pitfalls and considers the underlying questions (a) are computers a natural cause of confusion? (b) is calculus a natural cause of confusion?
Speaker:Prof. John Hinch, FRS (DAMTP)
Venue: Old Combination Room, Trinity College
Time: 24/10/2005 20:30, drinks from 20:15
Speaker:Prof. Imre Leader (DPMMS)
Venue: Old Combination Room, Trinity College
Time: 10/10/2005 20:30, drinks from 20:15
The talk is available.
Our starting point is the following obviously silly question. Suppose that you want to vote in a yes/no poll on some issue, and you want your vote to be right, but you have no idea at all about the issue. What should you do?