Fri Feb 11, 2011
60 Evans Hall, 4:10–6 PM
Grigori Mints (Professor of Philosophy and of Mathematics, Stanford University)
Extension of Epsilon Substitution to Second-Order Systems
The problem of extending the epsilon substitution method to second-order systems was posed by Hilbert in 1928 and repeated in “Grundlagen der Mathematik” (1939). In this talk I will describe the first-order formulation (due to Hilbert, Ackermann, von Neumann, and Bernays) and outline possible extensions to the second order, progress achieved up to now, and obstacles to a termination proof.