Cooper, SB (2015) Incomputability Emergent, and Higher Type Computation. In: Sommaruga, G and Strahm, T, (eds.) Turing’s Revolution. The Impact of His ideas about Computability. Birkhäuser , Basel, Switzerland , pp. 311-329. ISBN 978-3-319-22155-7
Abstract
Typing of information played an historical role in bringing consistency to formulations of set theory and to the foundations of mathematics. Underlying this was the augmentation of language and logical structure with a respect for constructive principles and the corresponding infrastructure of an informational universe. This has important consequences for how we view the computational character of science, the humanities and human creativity. The aim of this article is to make more explicit the anticipations and intuitions of early pioneers such as Alan Turing in informing and making relevant the computability theoretic underpinnings of today’s understanding of this. We hope to make clearer the relationship between the typing of information—a framework basic to all of Turing’s work—and the computability theoretic character of emergent structure in the real universe. The informational terrain arising is one with comprehensive computational structure, but with theoretical boundaries to those areas accessible to effective exploration in an everyday setting.
Metadata
Item Type: | Book Section |
---|---|
Authors/Creators: |
|
Editors: |
|
Keywords: | Emergence; Higher type computation; Incomputability; Turing definability |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 25 Sep 2015 10:47 |
Last Modified: | 03 Nov 2016 05:21 |
Published Version: | http://dx.doi.org/10.1007/978-3-319-22156-4_13 |
Status: | Published |
Publisher: | Birkhäuser |
Identification Number: | 10.1007/978-3-319-22156-4_13 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:90133 |