Projetos de I&D
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.
Universitaet Siegen; Universitaet Trier; Ludwig-Maximilians-Universitaet Muenchen; Swansea University; The University of Birmingham; Institut National de Recherche en Informatique et en Automatique; Univerza v Ljubljani; Universiteit Maastricht; Stockholms Universitet; Universita degli studi di Padova; Universidade do Algarve; Aston University; Fachhochschule Dortmund; KAIST; National University Corporation Japan Advanced Institute of Science and Technology; Institution of the Russian Academy of Sciences, A.P. Ershov Institute of Informatics; University of South Africa; Universidad Nacional Andres Bello; University of Canterbury; University of Cincinnati; Nangyang Technological University;
