I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

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 elaborated mathematical formulation of the theory of the origins of biological form that had been first proposed by Sir D’Arcy Wendworth Thompson in On Growth and Form (1917/1942). While arguably his most mathematically detailed and his systematically most ambitious effort, Turing’s morphogenetical writings also form the most thematically (...) self-contained and least philosophically explored part of his work. We dedicate our inquiry to the reasons and the implications of Turing’s choice of biological topic and viewpoint. We will probe for possible factors in Turing’s choice that go beyond availability and acquaintance with On Growth and Form. On these grounds, we will explore how and to what extent his theory of morphogenesis actually ties in with his concept of mechanistic computation. Notably, Thompson’s pioneering work in biological ‘structuralism’ was organicist in outlook and explicitly critical of the Darwinian approaches that were popular with Turing’s cyberneticist contemporaries—and partly used by Turing himself in his proto-connectionist models of learning. Resolving this apparent dichotomy, we demonstrate how Turing’s quest for mechanistic explanations of how organisation emerges in nature leaves room for a non-mechanist view of nature. (shrink)

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” of symbols, sequences, and structures of proof in all these thinkers. Hilbert initiated the idea within his metamathematics, Wittgenstein took up a kind of game formalism in the 1920s and early 1930s in response. Turing carried Hilbert’s conception of the “surveyability” of proof in metamathematics through into his analysis (...) of what a formal system (what a step in a computation) is in “On computable numbers, with an application to the Entscheidungsproblem” (1936). Wittgenstein’s 1939 investigations of the significance of surveyability to the concept of “proof “in Principia Mathematica were influenced, both by Turing’s remarkable everyday analysis of the Hilbertian idea, and by conversations with Turing. Although Turing does not use the word “surveyability” explicitly, it is clear that the Hilbertian idea plays a recurrent role in his work, refracted through his engagement with Wittgenstein’s idea of a “language-game”. This is evinced in some of his later writings, where the “reform” of mathematical notation for the sake of human surveyability (1944/45) may be seen to draw out the Hilbertian idea. For Turing, as for Wittgenstein, the need for “surveyability” earmarks the evolving culture of humans located in an evolving social and scientific world, just as it had for Hilbert. (shrink)

La cognition humaine paraît étroitement liée à la structure de l'espace et du temps relativement auxquels le corps, le geste, l'intelligibilité semblent devoir se déterminer. Pourtant, ce qui, après les approches physico-mathématiques de Galilée et de Newton, fut caractérisé par Kant comme formes de l'intuition sensible, n'a cessé au cours des siècles qui suivirent de se trouver remis en cause dans leur saisie première par les développements théoriques. En mathématiques d'abord, avec les géométries non-euclidiennes, en physique ensuite, où relativité générale (...) puis théories quantiques et critiques ont dû remanier profondément l'objectivité de ces concepts pour en faire des catégories, certes toujours aussi essentielles, mais de plus en plus contre-intuitives, et maintenant en biologie où la temporalité, notamment, et la causalité se révèlent largement différentes de celles de la physique. C'est ce que nous tentons de présenter et de discuter dans ce texte en vue d'en dégager la pertinence pour la cognition elle-même. (shrink)

Almost everything Turing wrote is now accessible on-line in some form, much of it in the Turing Digital Archive, which makes available scanned versions of the physical papers held in the archive at King's College, Cambridge University. See..