Up one level Top index page » 20060430_-_Kurt_Goedel_Symposium

20060430_-_Kurt_Goedel_Symposium


20060430 001 On Saturday I went to an open lecture in the town hall where we were welcomed by this Cannadian Bear.

On Saturday I went to an open lecture in the town hall where we were welcomed by this Cannadian Bear.

20060430 002 Roger Penrose explaining the relationsships between the

Roger Penrose explaining the relationsships between the "Physical World", the "Mental World" and the "Platonic Mathematical World".

20060430 003 Roger Penrose in action...

Roger Penrose in action...

20060430 004 Preparing the proof of Goedels Uncompleteness Theorem...

Preparing the proof of Goedels Uncompleteness Theorem...

20060430 006 This event happened in the main hall of the town hall.

This event happened in the main hall of the town hall.

20060430 007 ... and here is the proof itself.

... and here is the proof itself.