One might think that, once we know something is computable, how efficiently it can be com-puted is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong. In particular, I argue that computational complexity the-ory—the field that studies the resources (such as time, space, and randomness) needed to solve computational problems—leads to new perspectives on the nature of mathematical knowledge, the strong AI debate, computationalism, the problem of logical omniscience, Hume’s problem of induction and Goodman’s grue riddle, the foundations of quantum mechanics, economic ra-tionality, closed timelike curves, and several other topics of philosophical interest. I end b
A computable economist's view of the world of computational complexity theory is described. This mea...
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation...
The paper argues that a computational constraint is one that appeals to control of computational res...
One might think that, once we know something is computable, how efficiently it can be com-puted is a...
Introduction Computational complexity is the study of the di#culty of solving computational problem...
The philosophy of mind is traditionally concerned with the study of mental processes, language, the ...
International audienceComputational complexity theory (CCT) is usually construed as the mathematical...
In computational complexity theory, decision problems are divided into complexity classes based on t...
Searle’s arguments that intelligence cannot arise from formal programs are refuted by arguing that h...
Computational complexity theory and the related area of efficient algorithms have formed significant...
Computational complexity theory is a subfield of computer science originating in computability theor...
As a philosophy of mathematics, strict finitism has been traditionally concerned with the notion of ...
The decidability question, i.e., whether any mathematical statement could be computationally proven ...
The central claim of computationalism is generally taken to be that the brain is a computer, and tha...
Nature was computing long before humans started. It is the algorithmic content of the universe makes...
A computable economist's view of the world of computational complexity theory is described. This mea...
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation...
The paper argues that a computational constraint is one that appeals to control of computational res...
One might think that, once we know something is computable, how efficiently it can be com-puted is a...
Introduction Computational complexity is the study of the di#culty of solving computational problem...
The philosophy of mind is traditionally concerned with the study of mental processes, language, the ...
International audienceComputational complexity theory (CCT) is usually construed as the mathematical...
In computational complexity theory, decision problems are divided into complexity classes based on t...
Searle’s arguments that intelligence cannot arise from formal programs are refuted by arguing that h...
Computational complexity theory and the related area of efficient algorithms have formed significant...
Computational complexity theory is a subfield of computer science originating in computability theor...
As a philosophy of mathematics, strict finitism has been traditionally concerned with the notion of ...
The decidability question, i.e., whether any mathematical statement could be computationally proven ...
The central claim of computationalism is generally taken to be that the brain is a computer, and tha...
Nature was computing long before humans started. It is the algorithmic content of the universe makes...
A computable economist's view of the world of computational complexity theory is described. This mea...
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation...
The paper argues that a computational constraint is one that appeals to control of computational res...