New trends in foundations of mathematics

New directions in foundations of mathematics are closely connected with developments under the slogans of hard analysis (T. Tao) and proof mining (U. Kohlenbach). New emphasis on finitist methods and results in these investigations is caused by mathematical needs, not philosophical demands. They use new tools which often are instances of well-known constructions of proof theory.