| EPSRC Reference: |
EP/C001389/1 |
| Title: |
Extensions of Embeddings in the Local Turing Universe |
| Principal Investigator: |
Cooper, Professor SB |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Pure Mathematics |
| Organisation: |
University of Leeds |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2004 |
Ends: |
30 September 2007 |
Value (£): |
135,152
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
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 Turing 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 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 |