Herbrand's error and Gödel's correction
Goldfarb, Warren
Mod. Log., Tome 3 (1993) no. 2, p. 103-118 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Background on the Herbrand Theorem and Herbrand's error is given in §1 below. §2 presents Godei's correction. As it turns out, his proof is extremely close to that devised by Dreben and his co-workers; published in full in Dreben and Dentón, 1966 (and, somewhat condensed, in van Heijenoort, 1967, 572-576 and Herbrand, 1971,193-199). §3 concerns counterexamples to Herbrand's false lemma and numerical bounds for the corrected lemma. In particular, I show that the bound obtained by Gödel's argument cannot be significantly improved
Publié le : 1993-02-15
Classification:  03B10,  01A60,  03-03 
@article{1204834965,
     author = {Goldfarb, Warren},
     title = {Herbrand's error and G\"odel's correction},
     journal = {Mod. Log.},
     volume = {3},
     number = {2},
     year = {1993},
     pages = { 103-118},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204834965}
}

Goldfarb, Warren. Herbrand's error and Gödel's correction. Mod. Log., Tome 3 (1993) no. 2, pp.  103-118. http://gdmltest.u-ga.fr/item/1204834965/