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/themeyea...
▶︎
Scott Aaronson: The Greatest Unsolved Problem in Math
▶︎
Prof. Scott Aaronson: Why Philosophers Should Care About Computational Complexity @ UT Austin
▶︎
Scott Aaronson, "Remarks on the Physical Church-Turing Thesis" FQXi conference 2014 in Vieques
▶︎
What Is Disrupting GPS Over The Whole Of Europe?
▶︎
Quantum Complexity: Scott Aaronson on P vs NP and the Future
▶︎
The Nature of Reality: A Dialogue Between a Buddhist Scholar and a Theoretical Physicist
▶︎
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
▶︎
Black Holes, Firewalls, and the Limits of Quantum Computers
▶︎
Avi's Permanent Impact on Me - Scott Aaronson
▶︎
Harvard Scientist Rewrites the Rules of Quantum Mechanics | Scott Aaronson Λ Jacob Barandes
▶︎
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
▶︎
Cantor's Infinities - Professor Raymond Flood
▶︎
Scott Aaronson: Closed Timelike Curves (CTCs) & Computation
▶︎
Information, Evolution, and intelligent Design - With Daniel Dennett
▶︎
The odds that P=NP is 3% | Scott Aaronson and Lex Fridman
▶︎
Scott Aaronson: Quantum Supremacy, Consciousness, Universe, Information | Hrvoje Kukina Podcast #17
▶︎
UTCS 50 KEYNOTE: Dr. Scott Aaronson - Quantum Computing
▶︎
Q2B24 Silicon Valley | Ask Us Anything with John Preskill & Scott Aaronson
▶︎
The Church-Turing Thesis: Story and Recent Progress
▶︎