Cris Calude gave a very interesting talk in the Google series in 2009.#
ABSTRACT#
Our aim is to present a personal view of Goedel'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.
Video at http://www.youtube.com/watch?v=tYjmiT422yQ
Poems inspired by the calculation of the first Omega bits
