Unprovable Arithmetical Statements

5^th October 2004, 16:00
Andrey Bovykin
Laboratory of Mathematical Logic, Steklov Mathematical Institute, St. Petersburg, Russia, and Department of Computer Science, University of Liverpool, UK