INSTITUTE OF CYBERNETICS at TALLINN UNIVERSITY OF TECHNOLOGY
top

Seminariteade / Seminar announcement


Speaker: Andrey BOVYKIN, University of Liverpool, U.K.
Home page: http://logic.pdmi.ras.ru/~andrey/
Place: Room B101, Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia
Time: Wednesday, November 1, 2006, 14:00

"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.

Valid CSS! Valid XHTML 1.0 Strict

top
© Institute of Cybernetics at TUT, Akadeemia tee 21, 12618 Tallinn, Estonia    Phone: +372 620 4150   Fax: +372 620 4151

30/10/2006 20:16 EET webmaster ( at ) cs.ioc.ee