论文信息 - Herbrand's Theorem and the Incompleteness of Arithmetic - 字舞流文

Herbrand's Theorem and the Incompleteness of Arithmetic

W. Goldfarb | W. Goldfarb

[1] Jacques Herbrand. Sur la non-contradiction de l'Arithmétique. , 1932 .

[2] William W. Tait,et al. The substitution method , 1965, Journal of Symbolic Logic.

[3] Jacques Herbrand. Recherches sur la théorie de la démonstration , 1930 .

[4] T. Skolem,et al. Über einige grundlagenfragen der mathematik , 1929 .

[5] Peter B. Andrews,et al. False lemmas in Herbrand , 1963 .

[6] Die logischen Grundlagen der Mathematik , 1922 .

[7] T. M. Scanlon. The Consistency of Number Theory Via Herbrand's Theorem , 1973, J. Symb. Log..

[8] John Denton,et al. A supplement to Herbrand , 1966, Journal of Symbolic Logic.

[9] J. Neumann. Zur Hilbertschen Beweistheorie , 1927 .

[10] Wilhelm Ackermann,et al. Zur Widerspruchsfreiheit der Zahlentheorie , 1940 .

[11] P. Bernays,et al. Grundlagen der Mathematik , 1934 .

[12] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[13] J. Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .