Podcasts Technology Lectures and Events - Williams Lecture Series
Lectures and Events - Williams Lecture Series

Lectures and Events - Williams Lecture Series

18 episodes

Description: Lectures and Events at The School of Engineering and Applied Science The Harold Berger Lecture is sponsored annually The Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy is sponsored annually

Podcasts

Computation: From Axiomatization to Embodiment

Published: Dec. 18, 2014, 8:33 p.m.
Duration: 53 minutes 6 seconds

Listed in: Technology

Robotics: Logic and Philosophy in Action

Published: Nov. 12, 2013, 7:44 p.m.
Duration: 25 minutes 2 seconds

Listed in: Technology

How Logic Morphed from Museum piece to Marvel

Published: March 25, 2013, 5:16 p.m.
Duration: 55 minutes 4 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (6) Panel discussion with audience questions.

Published: Nov. 14, 2012, 5:40 p.m.
Duration: 20 minutes 14 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (2) Professor Scott Aaronson (MIT)

Published: Nov. 14, 2012, 5:39 p.m.
Duration: 42 minutes 3 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (3) David Rudovsky (Penn Law)

Published: Nov. 14, 2012, 5:39 p.m.
Duration: 38 minutes 51 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (3) Solomon Feferman (Stanford)

Published: Nov. 14, 2012, 5:37 p.m.
Duration: 31 minutes 16 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (5) Dennis DeTurck (Penn)

Published: Nov. 14, 2012, 5:37 p.m.
Duration: 26 minutes 53 seconds

Listed in: Technology

The Nature of Proof: A Symposium. (1) Introduction by Dr. Scott Weinstein and Penn Provost Vincent Price

Published: Nov. 14, 2012, 5:32 p.m.
Duration: 6 minutes 5 seconds

Listed in: Technology

Mixing Modality and Probability - April 2012 - Dana S. Scott - University of Pennsylvania

Published: April 26, 2012, 6:33 p.m.
Duration: 51 minutes 48 seconds

Listed in: Technology

A simple NP complete tiling problem - April 2012 - Dana S. Scott - University of Pennsylvania

Published: April 26, 2012, 6:32 p.m.
Duration: 46 minutes 23 seconds

Listed in: Technology

An Anti-philosophy of Mathematics - April 2011

Published: April 15, 2011, 3 p.m.
Duration: 1 hour 12 minutes 5 seconds

Listed in: Technology

Objectivity in Mathematics - April 2010 - University of Pennsylvania

Published: May 10, 2010, 8:38 a.m.
Duration: 1 hour 1 minute 6 seconds

Listed in: Technology

The Continuum Hypothesis and the Search for Ultimate (Mathematical) Truth - April 2009

Published: April 16, 2009, 3:16 p.m.
Duration: 1 hour 6 minutes 25 seconds

Listed in: Technology

The Road to Godel, April 2005

Published: May 15, 2008, 4:55 p.m.
Duration: 1 hour 36 minutes

Listed in: Technology

Reflections on Godel, April 2007

Published: May 15, 2008, 4:50 p.m.
Duration: 1 hour 20 minutes 16 seconds

Listed in: Technology

Is there such a thing as a logically perfect structure? April 2008

Published: May 7, 2008, 9:04 a.m.
Duration: 1 hour 17 minutes 36 seconds

Listed in: Technology

What Our Experience with the Continuum Hypothesis Should Teach Us, April 2006

Published: May 7, 2008, 8:17 a.m.
Duration: 1 hour 10 minutes 25 seconds

Listed in: Technology