Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a var...
Why do we need a formalization of the notion of algorithm or effective computation? In order to show...
Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philo...
There are various equivalent formulations of the Church-Turing thesis. A common one is that every ef...
AbstractCopeland and others have argued that the Church–Turing thesis (CTT) has been widely misunder...
In a very short time the computer developed from a mathematical-logical object into an everyday phys...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
Abstract. We describe a possible physical device that computes a function that cannot be computed by...
Church's and Turing's theses dogmatically assert that an informal notion of effective calculability ...
The conventional wisdom presented in most computability books and historical papers is that there we...
Since the early eighties, computationalism in the study of the mind has been “under attack” by seve...
We argue from the Church-Turing thesis (Kleene 1967) that a program can be considered as equivalent ...
Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theor...
none1siPublished online by Cambridge University Press: 17 May 2018In the search for a precise defin...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a var...
Why do we need a formalization of the notion of algorithm or effective computation? In order to show...
Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philo...
There are various equivalent formulations of the Church-Turing thesis. A common one is that every ef...
AbstractCopeland and others have argued that the Church–Turing thesis (CTT) has been widely misunder...
In a very short time the computer developed from a mathematical-logical object into an everyday phys...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
Abstract. We describe a possible physical device that computes a function that cannot be computed by...
Church's and Turing's theses dogmatically assert that an informal notion of effective calculability ...
The conventional wisdom presented in most computability books and historical papers is that there we...
Since the early eighties, computationalism in the study of the mind has been “under attack” by seve...
We argue from the Church-Turing thesis (Kleene 1967) that a program can be considered as equivalent ...
Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theor...
none1siPublished online by Cambridge University Press: 17 May 2018In the search for a precise defin...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a var...
Why do we need a formalization of the notion of algorithm or effective computation? In order to show...