×

zbMATH — the first resource for mathematics

An appendix to the translation of Gentzen’s article: “The present situation of basic research in mathematics”. (Czech) Zbl 0788.01043
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.
MSC:
01A60 History of mathematics in the 20th century
03-03 History of mathematical logic and foundations
Biographic References:
Gentzen, G.
PDF BibTeX XML Cite
Full Text: EuDML