Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand's fundamental theorem in the eyes of Jean van Heijenoort |
scientific article |
Statements
Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (English)
0 references
15 March 2013
0 references
The author elaborates on a hitherto unpublished correction of the ``false lemma'' in Herbrand's proof of his ``fundamental theorem'' given by van Heijenoort. In addition, the theorem and its (new) proof is put into the broader historical context.
0 references
Herbrand's fundamental theorem
0 references
van Heijenoort
0 references
0 references
