- 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
Formalizing Church’s Thesis
In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 253-268 (2006)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Formalizing Church's Thesis.Leon Horsten - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--253.
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 Bishop’s Constructivism.Douglas S. Bridges - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 58-65.
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.
Analog Computation and Church’s Thesis.Jerzy Mycka - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 331-352.
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.
Church’s Thesis as Formulated by Church — An Interpretation.Adam Olszewski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 383-392.
Remarks on Church’s Thesis and Gödel’s Theorem.Stanisław Krajewski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 269-280.
Church’s Thesis and the Variety of Mathematical Justifications.Janet Folina - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 220-241.
Analytics
Added to PP
2023-06-09
Downloads
4 (#1,643,580)
6 months
2 (#1,259,626)
2023-06-09
Downloads
4 (#1,643,580)
6 months
2 (#1,259,626)
Historical graph of downloads
Citations of this work
Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2018 - Philosophia Mathematica 27 (1):61-87.
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-68866f4b87-kfj6z uwo