Objetivo
The joint research in this programme will study important aspects—both theoretical as well as applied—of computing with infinite objects. A central aim is laying the grounds for the generation of efficient and verified software in engineering applications.
A prime example for infinite data is provided by the real numbers, most commonly conceived as infinite sequences of digits. While most applications in science and engineering substitute the reals with floating point numbers of fixed finite precision and thus have to deal with truncation and rounding errors, the approach in this project is different: exact real numbers are taken as first-class citizens and while any computation can only exploit a finite portion of its input in finite time, increased precision is always available by continuing the computation process.
This project aims to bring together the expertise of specialists in mathematics, logic, and computer science to push the frontiers of our theoretical and practical understanding of computing with infinite objects. Three overarching motivations drive the proposed collaboration:
Representability. Cardinality considerations tell us that it is not possible to represent arbitrary mathematical objects in a way that is accessible to computation. We will enlist expertise in topology, logic, and set theory, to address the question of which objects are representable and how they can be represented most efficiently.
Constructivity. Working in a constructive mathematical universe can greatly enhance our understanding of the link between computation and mathematical structure. Not only informs us which are the objects of relevance, it also allows us to devise always correct algorithms from proofs.
Efficient implementation. We also aim to make progress on concrete implementations. Theoretical insights from elsewhere will be tested in actual computer systems; obstacles encountered in the latter will inform the direction of mathematical investigation.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
- ciencias naturalesinformática y ciencias de la informaciónsoftware
- ciencias naturalesmatemáticasmatemáticas purastopología
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Programa(s)
Régimen de financiación
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Coordinador
57076 Siegen
Alemania
Ver en el mapa
Participantes (12)
54296 Trier
Ver en el mapa
80539 MUNCHEN
Ver en el mapa
SA2 8PP Swansea
Ver en el mapa
B15 2TT Birmingham
Ver en el mapa
78153 Le Chesnay Cedex
Ver en el mapa
1000 Ljubljana
Ver en el mapa
6200 MD Maastricht
Ver en el mapa
10691 Stockholm
Ver en el mapa
35122 Padova
Ver en el mapa
8005 139 Faro
Ver en el mapa
B4 7ET Birmingham
Ver en el mapa
44139 Dortmund
Ver en el mapa
Socios (8)
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
0003 PRETORIA
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
Santiago
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
305 701 DAEJEON
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
923 1292 Nomi Ishikawa
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
La participación finalizó
630090 NOVOSIBIRSK
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
8140 Christchurch
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
45221-0222 Cincinnati
Ver en el mapa
Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención.
639798 Singapore
Ver en el mapa