Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Th. Skolem, Begründung der elementaren Arithmetik durch die rekurrierende Denkweise, Videnskapsselskapets Skrifter (Kristiania) I. Mat.-Naturv. Kl. (1923), Nr. 6.
2. D. Hilbert, Über das Unendliche, Math. Annalen95 (1916), S. 161?190.
3. W. Ackermann, Zum Hilbertschen Aufbau der reellen Zahlen, Math. Annalen99 (1928), S. 118?133.
4. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I., Monatshefte für Math. und Phys.38 (1931), S. 173?198.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rózsa Péter on the Philosophy and Foundations of Mathematics: A Reappraisal;Women in the History of Philosophy and Sciences;2022
2. NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM;The Bulletin of Symbolic Logic;2019-02-07
3. Turing Computability;Theory and Applications of Computability;2016
4. Foundations of Mathematics from the Perspective of Computer Verification;Mathematics, Computer Science and Logic - A Never Ending Story;2013
5. Formalism and intuition in computability;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2012-07-28