Finite combinatory processes—formulation
@article{Post1936FiniteCP,
title={Finite combinatory processes—formulation},
author={Emil L. Post},
journal={Journal of Symbolic Logic},
year={1936},
volume={1},
pages={103 - 105},
url={https://api.semanticscholar.org/CorpusID:40284503}
}The present formulation should prove significant in the development of symbolic logic along the lines of Gödel's theorem on the incompleteness of symbolic logics and Church's results concerning…
382 Citations
Recursively enumerable sets of positive integers and their decision problems
- 1944
Mathematics
Introduction. Recent developments of symbolic logic have considerable importance for mathematics both with respect to its philosophy and practice. That mathematicians generally are oblivious to the…
Church-Turing Thesis, in Practice
- 2018
Philosophy, Computer Science
We aim at providing a philosophical analysis of the notion of “proof by Church’s Thesis”, which is – in a nutshell – the conceptual device that permits to rely on informal methods when working in…
Computer Science And Recursion Theory
- 1978
Computer Science, Mathematics
How recursion theory supplied computer science with specific mathematical definitions and techniques is considered, and how the computer scientist shaped this recursion-theoretic material to his own needs is considered.
The Church-Turing Thesis
- 2006
Philosophy
The notion of an effective method is an informal one, and attempts to characterise effectiveness, such as the above, lack rigour, for the key requirement that the method demand no insight or…
The Invariance Thesis
- 2014
Computer Science
It is demonstrated that the programs of any classical computation model or programming language that satisfies natural postulates of effectiveness—regardless of the data structures it employs—can be simulated by a random access machine (RAM) with only constant factor overhead.
The Foundations of Computability Theory
- 2020
Computer Science
The central notions in this book are those of the algorithm and computation, not a particular algorithm for a particular problem or a particular computation, but the algorithm and computation in…
Universality of Wolfram's 2, 3 Turing Machine
- 2020
Mathematics
The proof I intend to give demonstrates that this Turing machine can emulate any twocolor cyclic tag system for an infinite number of steps and shows that at least one of these initial conditions can be constructed by a process that is clearly not universal itself.
One Reference
An Unsolvable Problem of Elementary Number Theory
- 1936
Mathematics
Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use…