List of Alfred Tarski Lectures
2007 - Harvey M. Friedman
Interpretations of Set Theory in Discrete Mathematics and Informal Thinking [poster]
Interpretations, According to Tarski.
Interpreting Set Theory in Discrete Mathematics: Boolean Relation Theory.
Interpreting Set Theory in Informal Thinking: Concept Calculus.
2006 - Solomon Feferman
Truth Unbound
The “Logic” Question
Real Computation
2005 - Zlil Sela
The Elementary Theory of a Free Group
Varieties Over Free Groups
AE Sentences and Quantifier Elimination
2004 - Alexander S. Kechris
New Connections Between Logic, Ramsey Theory, and Topological Dynamics
2003 - Ralph Nelson McKenzie
What is general algebra? (Three lectures)
2002 - Boris Zilber
Dimensions and homogeneity in mathematical structures
The fundamental trichotomy of Geometric Stability Theory, Zariski structures and Diophantine geometry
Pseudo-analytic structures and transcendental Number Theory
2001 - Ronald Jensen
On the Philosophical Foundations of Set Theory
Making cardinals w-Cofinal (Part 1)
Making cardinals w-Cofinal (Part 2)
2000 - Alexander Razborov
Complexity of Proofs and Computations
Interactive and Probabilistically Checkable proofs: A New Paradigm
Algebraic Proof Systems
1999 - Patrick Suppes
Invariance and Meaning
A Physical Model of the Brain’s Computation of Truth
1998 - Angus MacIntyre
Finite Fields and Model Theory
Nonstandard Frobenius Automorphisms
Logic and Intersection Theory
1997 - Menachem Magidor
The Future of Set Theory: Is Gödel’s Program Still Alive?
1996 - Ehud Hrushovski
Interpretations and Geometries
An Application to Diophantine Geometry
1995 - Hilary Putnam
PARADOX LOST? Truth and Hierachies
PARADOX LOST? Sets: Must It Be All or Nothing?
1994 - Michael O. Rabin
Trees, Decidability, and the Logic of Programs
The Truth and Nothing But the Truth: Zero Knowledge Proofs and User Authentication
1993 - Alec James Wilkie
On the Theory of the Real Field with Exponentiation and Other Analytic Functions
1992 - Donald A. Martin
Large Cardinals, Determinacy and the Role of Non-demonstrative
Evidence in Mathematics
1991 - Bjarni Jónsson
Boolean Algebras with Operators
1991 - H. Jerome Keisler
Model-Theoretic Forcing in Analysis
1990 - Willard Van Orman Quine
Reflections on Models and Logical Truth
1989 - Dana Stewart Scott
Wherein Lies the Foundations of Mathematics?
How Far Do We Need to Automate Proofs?
Can We Teach Geometry on the Computer?