Objetivo "Programs and Functons both have a mathematically sound definition. Every programmer has an informal idea of what an Algorithm is, yet no formal definition exists and this idea is likely to differ from one person to the other. Despite their lack of definition, Algorithms are central in Computer Science. Thus, finding a correct definition is a major modern challenge.This question is not new and has already been studied by many. It is unlikely that we can close it within a two years timeframe. Yet we have identified two novel ideas to attack the problem along three tracks of increasing difficulty thus ensuring results that will drive a future long term project.The main idea is to avoid a direct confrontation with the definition of Algorithm. We consider ""being the same algorithm"" as an equivalence between programs and we study the set of all possible equivalences. This will allow the use of the full mathematical arsenal, from set and order theory to algebra and topology, and guide future researches. The second idea is to allow algorithms to be an infinite object, thus opening more possibilities.The Researchers already has a permanent Lecturer position. The fellowship will create the condition for defending the Habilitation thesis and thus reach a position of full professorship with a long term research program based on the results obtained." Ámbito científico natural sciencesmathematicspure mathematicstopologynatural sciencesmathematicspure mathematicsalgebranatural sciencescomputer and information sciences Programa(s) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Tema(s) MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Convocatoria de propuestas H2020-MSCA-IF-2014 Consulte otros proyectos de esta convocatoria Régimen de financiación MSCA-IF-EF-ST - Standard EF Coordinador KOBENHAVNS UNIVERSITET Aportación neta de la UEn € 200 194,80 Dirección NORREGADE 10 1165 Kobenhavn Dinamarca Ver en el mapa Región Danmark Hovedstaden Byen København Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 200 194,80