This article provides a detailed analysis of the transfer of a key cluster of ideas from mathematical logic to computing. We demonstrate the impact of certain of Turing’s logico-philosophical concepts from the mid-1930s on the emergence of the...
Alan M. Turing’s last published work and some posthumously published manuscripts were dedicated to the development of his theory of organic pattern formation. In “The Chemical Basis of Morphogenesis” (1952), he provided an elaborate...
An investigation of the concept of “surveyability” as traced through the thought of Hilbert, Wittgenstein, and Turing. The communicability and reproducibility of proof, with certainty, are seen as earmarked by the “surveyability&rdq...
One of Wittgenstein’s most quoted passages from his Remarks on the Philosophy of Psychology concerns Turing’s “machines” and says verbatim: “These machines are humans who calculate. And one might express what he [Turing]...
Symmetric instruction machines (SIAs) and symmetric Turing machines (STMs) are models of computation involving concepts derived from those of classical Turing machines such as tape (memory) and head (processor), but with different functional and stru...
Chaos is now recognized as one of three emergent topics of study in the 21c. It is seen as appropriate to examine this in art practice. Accordingly, this paper is written from an art perspective. It does not mimic a traditional mathematical or scienc...
An effective method is a computational method that might, in principle, be executed by a human. In this paper, I argue that there are methods for computing that are not effective methods. The examples I consider are taken primarily from quantum compu...