In the Shadow of Incompleteness: Hilbert and Gentzen-Reference-Cited by-同舟云学术

In the Shadow of Incompleteness: Hilbert and Gentzen

Published:2012 Issue: Volume: Page:87-127
ISSN:
Container-title:Epistemology versus Ontology
language:
Short-container-title:

Author:

Sieg Wilfried

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-4435-6_5.pdf

Reference99 articles.

1. The translations in the text are mine, except when quoted explicitly from particular publications.

2. Ackermann, W. 1924. Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen 93: 1–36.

3. Ackermann, W. 1925–1926. Letters to Bernays of 25 June 1925 and 31 March 1926: Wissenschaftshistorische Sammlung, ETH Zürich, Bernays Nachlass, HS 975: 96 and 97.

4. Ackermann, W. 1940. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen 117: 162–194.

5. Avigad, J., and R. Zach. 2007. The epsilon calculus, Stanford encyclopedia of philosophy (version of July 2007). http://plato.stanford.edu/entries/epsilon-calculus/#6

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. John von Neumann’s Discovery of the 2^nd Incompleteness Theorem;History and Philosophy of Logic;2022-11-28

2. In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics;Hajnal Andréka and István Németi on Unity of Science;2021

3. The Cantor–Bernstein theorem: how many proofs?;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2019-01-21

4. Contentual and Formal Aspects of Gentzen’s Consistency Proofs;Philosophical Logic: Current Trends in Asia;2017