| EPSRC Reference: |
EP/G000212/1 |
| Title: |
The Computational Structure of Partial Information: Definability in the Local Structure of the Enumeration Degrees |
| Principal Investigator: |
Cooper, Professor SB |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Pure Mathematics |
| Organisation: |
University of Leeds |
| Scheme: |
Standard Research |
| Starts: |
01 October 2008 |
Ends: |
30 September 2011 |
Value (£): |
260,673
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
04 Jun 2008
|
Mathematics Prioritisation Panel (Science)
|
Announced
|
|
|
Summary on Grant Application Form |
|
As the centenary of the birth of Alan Turing approaches, this proposal may be seen as a continuation and updating of Turing's research agenda focusing on a range of computational questions fundamental still to our understanding of, and engagement with, the world around us. It has been claimed that while the focus in 20th century mathematics was to develop grand formalisms like algebra and topology, the focus in the 21st century will be on extracting data and algorithms. The research topic described below represents foundational work in this direction, and as such is basic to understanding the underlying possibilities within a universe constrained by its algorithmic content.One of the most longstanding and intractable problems in the classical theory of computability is that of characterising the algorithmic content of physical systems and their computability-theoretic infrastructure. This proposal focuses on particular aspects which appear to give a better grip on the problem, and addresses technical challenges basic to further progress in the area. Any such progress is given added significance by new and unexpected relationships being discovered between the Turing universe and its extensions and various epistemological and structural questions in science and beyond.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.leeds.ac.uk |