- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Computability, Proof, and Open-Texture
In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 420-455 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Church’s Thesis and Physical Computation.Hartmut Fitz - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 175-219.
The Status of Church’s Thesis.Roman Murawski & Jan Wolenski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 310-330.
Church’s Thesis and Functional Programming.David Turner - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 518-544.
Church’s Thesis and Philosophy of Mind.Darren Abramson - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 9-23.
Analytics
Added to PP
2023-06-09
Downloads
18 (#1,114,171)
6 months
12 (#299,634)
2023-06-09
Downloads
18 (#1,114,171)
6 months
12 (#299,634)
Historical graph of downloads
Author's Profile
Citations of this work
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.
From Computer Metaphor to Computational Modeling: The Evolution of Computationalism.Marcin Miłkowski - 2018 - Minds and Machines 28 (3):515-541.
Open Texture and Mathematics.Stewart Shapiro & Craige Roberts - 2021 - Notre Dame Journal of Formal Logic 62 (1):173-191.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-7qg25 dc2