161 citations · 1.6k across the 141 of their papers we have counts for
5 papers · 1 filter
How to acknowledge hypercomputation?
Alexander Leitsch, Guenter Schachner, Karl Svozil
We discuss the question of how to operationally validate whether or not a "hypercomputer" performs better than the known discrete computational models.
Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience
Karl Svozil
Unlike classical information, quantum knowledge is restricted to the outcome of measurements of maximal observables corresponding to single contexts.
On the solution of trivalent decision problems by quantum state identification
Karl Svozil, Josef Tkadlec
The trivalent functions of a trit can be grouped into equipartitions of three elements. We discuss the separation of the corresponding functional classes by quantum state identific…
Omega and the time evolution of the N-body problem
Karl Svozil
The series solution of the behavior of a finite number of physical bodies and Chaitin's Omega number share quasi-algorithmic expressions; yet both lack a computable radius of conve…
Physical unknowables
Karl Svozil
A variety of physical unknowables are discussed. Provable lack of physical omniscience, omnipredictability and omnipotence is derived by reduction to problems which are known to be…