An appendix to the translation of Gentzen’s article: “The present situation of basic research in mathematics”. (Czech) Zbl 0788.01043

Pudlák, Pavel

Pokroky Mat. Fyz. Astron. 37, No. 5, 270-272 (1992).

The author gives some comments to the translation of Gentzen’s article. He discusses shortly some important results in logic in the last half century, such as results of P. J. Cohen and S. A. Cook.

Reviewer: W.Wiȩsław (Wrocław)

MSC:

01A60	History of mathematics in the 20th century
03-03	History of mathematical logic and foundations

Keywords:

P. J. Cohen; S. A. Cook