Google Tech Talks
November 4, 2008

ABSTRACT

Our aim is to present a personal view of Gdel's incompleteness. We will focus on interesting/natural concrete independent sentences, on the source of incompleteness, and on how common the incompleteness phenomenon is. Some open questions will be briefly stated.

Speaker: Cristian Calude
A lifelong researcher in algorithmic information theory and a close friend of Gregory Chaitin, Dr. Calude has written and edited dozens of books and hundreds of articles on computability and incompleteness. (less info)