$title1="Seminariteade / Seminar announcement"; $papa="./"; include($_SERVER['DOCUMENT_ROOT']."/head.html.en"); $room = 'B101'; $time ='Wednesday, November 1, 2006, 14:00'; $name ='Andrey BOVYKIN'; // Bovykin $hpage = 'http://logic.pdmi.ras.ru/~andrey/'; $uni ='University of Liverpool, U.K.'; $tit ='A survey of new unprovability results'; $abstract ='I will talk about unprovable first-order '. 'mathematical statements and second-order statements '. 'of high logical strength.
'. 'The discussion of unprovable statements will include '. 'results about games on braid groups, a statement '. 'about the Riemann zeta-function, dynamical systems, '. 'and exact unprovability results for the Graph Minor '. 'Theorem.
'. 'The discussion of logical strength will be about '. 'Ramsey Theory: Infinite Ramsey Theorem for pairs, '. 'Infinite Canonical Ramsey Theorem and Infinite '. 'Regressive Ramsey Theorem. '; ?>
Speaker: | , |
Place: | Room , Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia |
Time: |