Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called superTuring models such as interaction machines, the [pi]calculus and the $-calculus. In this paper we contest Weger and Eberbach claims
Computer science is based on classical, discreet models of computation such as the Turing machine or...
none3Various computational paradigms inspired to models of physical and biological systems are being...
In the 1930s, Turing suggested his abstract model for a practical computer, hypothetically visualizi...
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines a...
ABSTRACT. Wegner and Eberbach[Weg04b] have argued that there are fundamental lim-itations to Turing ...
'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of c...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
Abstract. It has been argued that neural networks and other forms of analog computation may transcen...
Many important lines of argumentation have been presented during the last decades claiming that mach...
Due to his significant role in the development of computer technology and the discipline of artifici...
Philosophical questions about minds and computation need to focus squarely on the mathematical theor...
AbstractI explore the conceptual foundations of Alan Turing's analysis of computability, which still...
DoctoralIn this talk I will review the positions of Church and Post on computability, contrast them ...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
Computer science is based on classical, discreet models of computation such as the Turing machine or...
none3Various computational paradigms inspired to models of physical and biological systems are being...
In the 1930s, Turing suggested his abstract model for a practical computer, hypothetically visualizi...
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines a...
ABSTRACT. Wegner and Eberbach[Weg04b] have argued that there are fundamental lim-itations to Turing ...
'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of c...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
Abstract. It has been argued that neural networks and other forms of analog computation may transcen...
Many important lines of argumentation have been presented during the last decades claiming that mach...
Due to his significant role in the development of computer technology and the discipline of artifici...
Philosophical questions about minds and computation need to focus squarely on the mathematical theor...
AbstractI explore the conceptual foundations of Alan Turing's analysis of computability, which still...
DoctoralIn this talk I will review the positions of Church and Post on computability, contrast them ...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
Computer science is based on classical, discreet models of computation such as the Turing machine or...
none3Various computational paradigms inspired to models of physical and biological systems are being...
In the 1930s, Turing suggested his abstract model for a practical computer, hypothetically visualizi...