Scott Aaronson "On the Nature of Proof"

Day and Time: 11/09/2012 || 2:00pm - 5:00pm
Location: Michael A. Fitts Auditorium, Golkin 100

A Symposium on the Nature of Proof, sponsored by the Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy and the Provost's Fund for the Year of Proof. Speakers will include Scott Aaronson (MIT), Dennis DeTurck (Penn), Solomon Feferman (Stanford), and David Rudovsky (Penn).

https://secure.www.upenn.edu/themeyear/proof/williams-symp.html

Видео Scott Aaronson "On the Nature of Proof" канала Saul Colquhoun