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

May 14-17, 2009
The Blackwell Inn
The Ohio State University,
Columbus, Ohio 43212

This event was made possible by the generous assistance of the John Templeton Foundation and the National Science Foundation

Organizer: neilpmb@yahoo.com (Neil Tennant)
Organizational Assistant: mcglothlin.13@gmail.com (James McGlothlin)

Conference Program

Titles and Abstracts

Download the poster

Advance publicity pieces:

• Ohio State's Arts and Humanities Focus
• The Columbus Dispatch: article
• The Columbus Dispatch: video
• Ohio State's onCampus
• Ohio State's research news blog

Streaming web-videos of all sessions

May 14th, 2009

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

May 15th, 2009

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

May 16th, 2009

• Professor Anil Nerode, Cornell University:
  'Foundations of Network Security Protocol Analysis'
  
• Professor Solomon Feferman, Stanford University:
  'What's definite? What's not?'
  
• Professor Andre Scedrov, University of Pennsylvania:
  'Foundations of Network Security Protocol Analysis'
  
• Professor Michael Detlefsen, University of Notre Dame:
  'Freedom and Its Ends'
  
• Professor Hartry Field, New York University:
  'Truth and Quasi-Impredicativity'
  
• Professor Norman Carey, CUNY Graduate Center, and
  Professor David Clampitt, The Ohio State University:
  'Foundations of Western Music: Mathematical Theory of Well-formed Modes'
  
• Professor Albert Visser, University of Utrecht:
  'Logics and Admissible Rules of Theories'
  
• Professor Gregory Cherlin, Rutgers University:
  'Structure/Nonstructure for Classes of Finite Models'
  
• Professor Denis Hirschfeldt, University of Chicago, University of Chicago:
  'What I Would Tell My Graduate Student Self About Reverse Mathematics'
  
• 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'
  
• Professor Theodore Slaman, University of California at Berkeley:
  'Borel Determinacy and Randomness'
  
• Professor Simon Thomas, Rutgers University, Rutgers University:
  'The Friedman Embedding Theorem'
  
• Professor Grigori Mints, Stanford University:
  'Analytic Cut in Modal Logic: System B'
  
• Professor Reed Solomon, University of Connecticut:
  'Reverse mathematics and group theory'
  
• 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).
  

May 17th, 2009

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