Foundations of Mathematics Meeting

University of Bristol, December 13-20, 2009

(organised by Andrey Bovykin)


The meeting was devoted to a thorough study of Harvey Friedman's Boolean Relation Theory and some other issues in Unprovability Theory.

Below are some photographs by participants and the videos of the two public talks by Harvey Friedman in Bristol.

The meeting received financial support from Bristol's Institute for Advanced Studies and the Department of Mathematics, Bristol University, in association with Heilbronn Institute.


 

HARVEY FRIEDMAN'S TALK FOR MATHEMATICIANS:

.AVI format

(a plug-in in case your PC doesn't play this video)

Flash format

MP4 format

HARVEY FRIEDMAN'S GENERAL AUDIENCE TALK:

.AVI Format

(a plug-in in case your PC doesn't play this video)
 

MP4 format

 

Lorenzo Carlucci (Rome), Stuart King (Bristol), Florian Pelupessy (Gent), Sam Sanders (Gent), Andreas Weiermann (Gent), Harvey Friedman (Ohio), Marianna Antonutti Marfori (Bristol), Michiel De Smet (Gent and Bristol), Andrey Bovykin (Bristol).

Harvey Friedman

Harvey Friedman, Lorenzo Carlucci, Sam Sanders, Andreas Weiermann, Andrey Bovykin, Stuart King, Michiel De Smet, Florian Pelupessy.

Michiel De Smet, Marianna Antonutti Marfori, Andrey Bovykin, Lorenzo Carlucci, Harvey Friedman, Irina Starikova, Sam Sanders, Andreas Weiermann, Florian Pelupessy, Stuart King.

Bristol University on December 17, 2009.