RMK Lecture Registration – "Gödel and the Vicious Circle: On the (In)Feasibility of Lower Bounds" Sorry, this form is not available anymore.