Laboratory of Mathematical Logic at PDMI

Понедельник, 15 декабря, комната 203. Начало в 14:00.

Докладчик: Григорий Минц (Стенфорд).

Тема: New Trends in the Foundations of Mathematics.

Abstract

We discuss the turn in foundations of mathematics happening now under the slogans of HARD ANALYSIS (T. Tao) and PROOF MINING. (U. Kohlenbach). It follows Kreisel's program of unwinding proofs and comes from new emphasis on finitist methods and results caused by mathematical needs. New tools mathematicians needed turned out to be instances of well-known constructions of proof theory.