Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session-Reference-Cited by-同舟云学术

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

Published:2014 Issue: Volume: Page:1-35
ISSN:2214-9775
Container-title:Logic, Epistemology, and the Unity of Science
language:
Short-container-title:

Author:

Sundholm Göran

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-9217-2_1

Reference75 articles.

1. Ackermann, W. (1928). Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen, 99, 118–133.

2. Arnauld, A., & Nicole, P. (1662). La Logique ou L’Art de Penser. Paris: C. Savreux.

3. van Atten, M. (2004). On brouwer. Louisville: Wadsworth—Thomson Learning.

4. van Atten, M. (2008). The foundations of mathematics as a study of life: An effective but non-recursive function. Progress in Theoretical Physics, 173, 38–47.

5. van Atten, M. (2009). The hypothetical judgement in the history of intuitionistic logic. In C. Glymour, W. Wang, & D. Westerståhl (Eds.), Logic, methodology, and philosophy of science XIII: Proceedings of the 2007 international congress, Beijing (pp. 122–136). London: College Publications.

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

1. What is Intuitionistic Arithmetic?;Erkenntnis;2023-05-02

2. The Paradox of Knowability;Logic, Epistemology, and the Unity of Science;2023

3. Intellectual Modesty in Socratic Wisdom: Problems of Epistemic Logic and an Intuitionist Solution;History of Philosophy & Logical Analysis;2022-08-03

4. Péter on Church’s Thesis, Constructivity and Computers;Lecture Notes in Computer Science;2021

5. A Dialogical Account of the Intersubjectivity of Intuitionism;Constructive Semantics;2019