A new approach to the halting problem of the Turing machine using different interpretations of the Shannon measure of the information on the computational process represented as a distribution of events and defining a new concept of arithmetic logical irreversibility and memory erasure that generate uncertainty and computational improbability due to loss of information during computation. Different computational steps (input) can give the same result (next step, output) introducing thus information entropy in the computing process and uncertainty about the original step (cause). This means that the same output is produced by different inputs. Global indeterminism of computation as distribution but determinism of the computation as current p...
A practical viewpoint links reality, representation, and language to calculation by the concept of T...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
AbstractI explore the conceptual foundations of Alan Turing's analysis of computability, which still...
The Turing machine halting problem can be explained by several factors, including arithmetic logic i...
The work of Alan Turing (1936) set a milestone for the foundation of the concept of algorithm by gro...
Abstract. We review and investigate the general theory of thermodynamics of computation, and derive ...
A remarkable thesis prevails in the physics of information, saying that the logical properties of op...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
Landauer's principle says that, in principle, a computation can be performed without consumption of ...
Landauer's principle states that the logical irreversibility of an operation, such as erasing one bi...
This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely...
[EN] The halting problem is a prominent example of undecidable problem and its formulation and undec...
The Turing machine is one of the simple abstract computational devices that can be used to...
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines a...
A practical viewpoint links reality, representation, and language to calculation by the concept of T...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
AbstractI explore the conceptual foundations of Alan Turing's analysis of computability, which still...
The Turing machine halting problem can be explained by several factors, including arithmetic logic i...
The work of Alan Turing (1936) set a milestone for the foundation of the concept of algorithm by gro...
Abstract. We review and investigate the general theory of thermodynamics of computation, and derive ...
A remarkable thesis prevails in the physics of information, saying that the logical properties of op...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
When we understand that every potential halt decider must derive a formal mathematical proof from it...
Landauer's principle says that, in principle, a computation can be performed without consumption of ...
Landauer's principle states that the logical irreversibility of an operation, such as erasing one bi...
This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely...
[EN] The halting problem is a prominent example of undecidable problem and its formulation and undec...
The Turing machine is one of the simple abstract computational devices that can be used to...
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines a...
A practical viewpoint links reality, representation, and language to calculation by the concept of T...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
AbstractI explore the conceptual foundations of Alan Turing's analysis of computability, which still...