1 citations · 2 across the 4 of their papers we have counts for
4 papers
Informal Physical Reasoning Processes
Kurt Ammon
A fundamental question is whether Turing machines can model all reasoning processes. We introduce an existence principle stating that the perception of the physical existence of an…
An Effective Procedure for Computing "Uncomputable" Functions
Kurt Ammon
We give an effective procedure that produces a natural number in its output from any natural number in its input, that is, it computes a total function. The elementary operations o…
Informal Concepts in Machines
Kurt Ammon
This paper constructively proves the existence of an effective procedure generating a computable (total) function that is not contained in any given effectively enumerable set of s…
Beyond Turing Machines
Kurt Ammon
This paper discusses "computational" systems capable of "computing" functions not computable by predefined Turing machines if the systems are not isolated from their environment. R…