Logic seminar
Feasible incompleteness - conjectures and open problems
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.
published by Neil Thapen on Thu, 13/11/2014 - 21:59