Recent and upcoming talks by Harvey Friedman

Mostowski 100, October 11-13, 2013

The Andrzej Mostowski Centenary Conference will take place at the University of Warsaw on 11-13 October 2013. Here is the list of speakers. Heritage track Mikołaj Bojańczyk, University of Warsaw. Computation in Sets With Atoms. continue reading…

Logic Colloquium 2012, July 12 – 18 2012

The 2012 ASL European Summer Meeting will take place 12th-18th July 2012 (University of Manchester). Tutorials Ilijas Farah: Elliott’s program and descriptive set theory (abstract) Antonio Montalbán: Reverse mathematics (abstract) Boris Zilber: Pseudo-analytic structures: model theory and algebraic geometry (abstract) Plenary Lectures Jeremy Avigad: Computability and convergence (abstract) Andreas R. continue reading…

Toronto Set Theory Seminar

Toronto Set Theory Seminar Friday, April 15 from 1:30 to 3pm Fields Institute, Room 210 Speaker: Harvey Friedman (Ohio State) Title: Concrete mathematical incompleteness Abstract: An unprovable theorem is a theorem about basic mathematical objects that can only be proved using more than the usual axioms for mathematics (ZFC = Zermelo Frankel set theory with the Axiom of Choice) – and that has been proved using standard extensions of ZFC generally adopted by the mathematical logic community. continue reading…