| EPSRC Reference: |
GR/M91419/01 |
| Title: |
TURING DEFINABILITY |
| 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 March 2000 |
Ends: |
28 February 2002 |
Value (£): |
79,896
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Computability theory originated with the seminal work of Godel, Church, Kleene and Turing, and has subsequently made great contributions to our understanding of fundamental notions basic to the modern world. Since then, the field of computability theory also known as recursion theory) has developed into one of the four main subdivisions of contemporary mathematical logic, and this is currently reflected in the choice of topics and speakers at major international conference and in the decisions of such major a funding body as the American NSF. (For instance, of the eighteen major new NSF awards made in logic in 1998, five were in the field of computability theory.) There are a number of basic questions in computability theory which appear to depend on new ideas and techniques in the local theory of relative Turing computability. The proposal brings together a number of themes which seem most likely to provide the needed breakthroughs. Historically, the UK has a remarkable record in this area, via the work of Charles Babbage, Bertrand Russell, Alan Turing, Robin Gandy, Michael Yates, and John Shepherdson - and EPSRC support of the Leeds group will further consolidate the continuance of this unique contribution.
|
|
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 |