Use Real Player to view these streaming videos.

If you cannot get your browser to bring up Real Player as its default video-player, then try the following. In your browser, while you are on this streaming-videos portal page, under the tab "View", click on "Page Source". That will reveal all the URLs for the videos themselves. Copy the URL of the video you wish to see. Within Real Player, under the tab "File", click on "Open location". Paste the copied URL into the revealed target-URL slot.

FOUNDATIONAL ADVENTURES: CONFERENCE IN HONOR OF THE 60th BIRTHDAY OF HARVEY M. FRIEDMAN

Streaming web-videos of all sessions
for which permission for web access has been granted

May 14th, 2009

  • President E. Gordon Gee: Words of welcome
    Professor Hilary Putnam, Harvard University: 'Personal Reflections'
    Streaming video

May 15th, 2009

  • Professor Christian Tapp, University of Bochum:
    'Absolute infinity: a bridge between mathematics and theology?'
    Streaming video
  • Professor Wilfried Sieg, Carnegie-Mellon University and University of Uppsala:
    'Reductive Structuralism'
    Streaming video
  • Professor Gerald Sacks, Harvard University and MIT:
    'Models of infinitely long sentences'
    Streaming video
  • Professor Patrick Suppes, Stanford University:
    'Neglect of Independence and Randomness in the Axioms of Probability'
    Streaming video
  • Professor Martin Davis, New York University:
    'Empirical Platonism'
    Streaming video
  • Professor Harvey Friedman, The Ohio State University:
    'Foundational Adventures for the Future'
    Streaming video
  • Professor Geoffrey Hellman, University of Minnesota:
    'On the Gödel-Friedman Program'
    Streaming video
  • Professor Andrew Arana, Kansas State University:
    'On Purity of Methods'
    Streaming video
  • Professor Rohit Parikh, City University of New York:
    'Knowledge, its logic and its effect on society'
    Streaming video
  • Professor Michael Rathjen, University of Leeds:
    'Infinitary Proof Theory and Pi-0-2 Conservation'
  • Professor Antonio Montalban, University of Chicago:
    'Theories of Hyperarithmetic Analysis'
    Streaming video
  • Professor Jeff Hirst, Appalachian State University:
    'Reverse mathematics of Ramsey theory'
    Streaming video

May 16th, 2009

  • Professor Anil Nerode, Cornell University:
    'Update Transducers'
    Streaming video
  • Professor Solomon Feferman, Stanford University:
    'What's definite? What's not?'
    Streaming video
  • Professor Andre Scedrov, University of Pennsylvania:
    'Foundations of Network Security Protocol Analysis'
    Streaming video
  • Professor Michael Detlefsen, University of Notre Dame:
    'Freedom and Its Ends'
    Streaming video
  • Professor Hartry Field, New York University:
    'Truth and Quasi-Impredicativity'
    Streaming video
  • Professor Norman Carey, CUNY Graduate Center, and
    Professor David Clampitt, The Ohio State University:
    'Foundations of Western Music: Mathematical Theory of Well-formed Modes'
    Streaming video
  • Professor Albert Visser, University of Utrecht:
    'Logics and Admissible Rules of Theories'
    Streaming video
  • Professor Gregory Cherlin, Rutgers University:
    'Structure/Nonstructure for Classes of Finite Models'
    Streaming video
  • Professor Denis Hirschfeldt, University of Chicago, University of Chicago:
    'What I Would Tell My Graduate Student Self About Reverse Mathematics'
    Streaming video
  • Professor Sam Buss, University of California at San Diego:
    'Lengths of proofs and self-reference'
  • Professor Sergei Artemov, CUNY Graduate Center:
    'Mathematical Logic of Justification'
    Streaming video
  • Professor Theodore Slaman, University of California at Berkeley:
    'Borel Determinacy and Randomness'
    Streaming video
  • Professor Simon Thomas, Rutgers University, Rutgers University:
    'The Friedman Embedding Theorem'
    Streaming video
  • Professor Grigori Mints, Stanford University:
    'Analytic Cut in Modal Logic: System B'
    Streaming video
  • Professor Reed Solomon, University of Connecticut:
    'Reverse mathematics and group theory'
    Streaming video
  • Professor Bruce Weide, The Ohio State University:
    'Progress on the Verified Software Grand Challenge: The Resolve Approach'
  • Speeches at formal banquet:
    Professor Professor Joan Leitzel, Interim Executive Dean, The Ohio State University; and
    Professor Norman Carey, CUNY Graduate Center (On Harvey Friedman's digitially sculpted piano performances).
    Streaming video

May 17th, 2009

  • Professor Harvey Friedman, The Ohio State University:
    Discussion session: The General Intellectual Interest of Foundations
    Streaming video
  • Professor Jeff Remmel, University of California at San Diego:
    'Pi^0_1 Classes in Mathematics'
    Streaming video
  • Professor Kevin Scharp, The Ohio State University:
    'Modal Semantics for Descending Truth'
    Streaming video
  • Professor John Burgess, Princeton University:
    'Axiomatic Theories of Truth: What We Know and What We Don't Know
    Streaming video
  • Professor Andreas Weiermann, University of Gent:
    'Well-quasi orderings and independence results'
    Streaming video
  • Professor Victor Marek, University of Kentucky:
    'Reasoning about infinite sets'
    Streaming video
  • Professor Dave Marker, University of Illinois at Chicago:
    'Isomorphism for first order theories
    Streaming video