slideshow 3

Logic seminar

Feasible incompleteness - conjectures and open problems

Pavel Pudlak

 

Monday, 18. May 2015 - 13:30
IM, rear building, ground floor
In this lecture I will briefly survey main feasible incompleteness conjectures and then focus on open problems.