Nature of Proof: A Symposium

Professor Scott Aaronson (MIT), Dennis DeTurck (Penn), Solomon Feferman (Stanford), and David Rudovsky (Penn Law) will discuss “The Nature of Proof” in a  multidisciplinary panel. A reception will follow. All are welcome