Lectures and Events - Williams Lecture Series

Lectures and Events - Williams Lecture Series

Follow Lectures and Events - Williams Lecture Series
Share on
Copy link to clipboard

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

Lectures and Events - Williams Lecture Series


    • Dec 18, 2014 LATEST EPISODE
    • infrequent NEW EPISODES
    • 50m AVG DURATION
    • 27 EPISODES


    Search for episodes from Lectures and Events - Williams Lecture Series with a specific topic:

    Latest episodes from Lectures and Events - Williams Lecture Series

    Computation: From Axiomatization to Embodiment

    Play Episode Listen Later Dec 18, 2014 53:06


    Umesh Vazirani lectures on Computation

    Computation: From Axiomatization to Embodiment

    Play Episode Listen Later Dec 12, 2014 61:13


    William Bialek lectures on Computation

    Computation: From Axiomatization to Embodiment

    Play Episode Listen Later Dec 12, 2014 51:26


    Wilfried Sieg lectures on Computation

    Robotics: Logic and Philosophy in Action

    Play Episode Listen Later Nov 12, 2013 8:19


    Robotics: Logic and Philosophy in Action

    Play Episode Listen Later Nov 12, 2013 23:34


    Robotics: Logic and Philosophy in Action

    Play Episode Listen Later Nov 12, 2013 25:02


    Robotics: Logic and Philosophy in Action

    Play Episode Listen Later Nov 12, 2013 24:14


    How Logic Morphed from Museum piece to Marvel

    Play Episode Listen Later Mar 25, 2013 55:04


    The Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy The Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy has been established at the University of Pennsylvania to expose a wide audience to the value of the correct application of reason. The goal is to present logic as the formal study of reason and philosophy as the application of reason to significant problems in human experience.

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

    Play Episode Listen Later Nov 14, 2012 20:14


    The symposium is sponsored by The Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy, The Provost’s Fund for the Year of Proof, and the Schools of Arts and Sciences, Engineering and Applied Science, and Law.

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

    Play Episode Listen Later Nov 14, 2012 42:03


    Scott Aaronson is the TIBCO Career Development Associate Professor of Electrical Engineering and Computer Science at M.I.T. This year he received the Alan T. Waterman Award from the National Science Foundation in recognition of his work on computational complexity which explores the limits of quantum computers. He has also received the Junior Bose Award for Excellence in Teaching from M.I.T.

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

    Play Episode Listen Later Nov 14, 2012 38:51


    David Rudovsky is a Senior Fellow of the University’s Law School and one of the nation’s leading civil rights and criminal defense attorneys. In 1986, he was awarded a MacArthur Foundation Fellowship for his work on human rights. This year, he received his fifth Harvey Levin Award for Excellence in Teaching from the Law School; he has also received the University’s Lindback Award for Excellence in Teaching.

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

    Play Episode Listen Later Nov 14, 2012 31:16


    Solomon Feferman is the Patrick Suppes Family Professor of Humanities and Sciences, Emeritus and Professor of Mathematics and Philosophy, Emeritus at Stanford University. He was awarded the 2003 Rolf Schock Prize in Logic and Philosophy by the Royal Swedish Academy of Sciences “for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity.”

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

    Play Episode Listen Later Nov 14, 2012 26:53


    Dennis DeTurck is the Robert A. Fox Leadership Professor in the School of Arts and Sciences of the University of Pennsylvania, Professor of Mathematics, and Dean of the College of Arts and Sciences. This year he and his coauthors, Herman Gluck, Daniel Pomerleano and David Shea Vela-Vick, were awarded the Chauvenet Prize of the Mathematical Association of America for their paper “The Four Vertex Theorem and its Converse.” He has also received the SAS Ira Abrams Award for Distinguished Teaching, the University’s Lindback Award for Excellence in Teaching, and the M.A.A.’s Haimo Award for Distinguished Teaching.

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

    Play Episode Listen Later Nov 14, 2012 6:05


    The symposium is sponsored by The Thomas and Yvonne Williams Fund for the Advancement of Logic and Philosophy, The Provost’s Fund for the Year of Proof, and the Schools of Arts and Sciences, Engineering and Applied Science, and Law.

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

    Play Episode Listen Later Apr 26, 2012 51:48


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

    Play Episode Listen Later Apr 26, 2012 46:23


    An Anti-philosophy of Mathematics - April 2011

    Play Episode Listen Later Apr 15, 2011 72:05


    An Anti-philosophy of Mathematics - April 2011

    Play Episode Listen Later Apr 15, 2011 72:05


    Objectivity in Mathematics - April 2010 - University of Pennsylvania

    Play Episode Listen Later May 10, 2010 61:06


    Objectivity in Mathematics - April 2010 - University of Pennsylvania

    Play Episode Listen Later May 10, 2010 61:06


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

    Play Episode Listen Later Apr 16, 2009 66:25


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

    Play Episode Listen Later Apr 16, 2009 66:25


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

    Play Episode Listen Later May 15, 2008 77:36


    The Road to Godel, April 2005

    Play Episode Listen Later May 15, 2008 96:00


    Reflections on Godel, April 2007

    Play Episode Listen Later May 15, 2008 80:16


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

    Play Episode Listen Later May 7, 2008 77:36


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

    Play Episode Listen Later May 7, 2008 70:25


    Claim Lectures and Events - Williams Lecture Series

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel