Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PREDTOPOI

Financiado

Cerrado

Predicative theories and Grothendieck toposes

"This project aims at applying the most recent results and techniques of topos theory to predicative Mathematics. The theoretical and applicative objectives it addresses, can be achieved by using in a substantial new way Grothendi... ver más

31/03/2013

UNIVLEEDS

199K€

Presupuesto del proyecto: 199K€

Líder del proyecto

UNIVERSITY OF LEEDS No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2013-03-31 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

UNIVLEEDS

0.00€ | Lider

Proyectos interesantes

B10NonAbBlcksETH

Applied Physics

Software

171K€ Cerrado

FunSilting

Applied Physics

Software

168K€ Cerrado

MTM2009-12872-C02-02

Applied Physics

Software

23K€ Cerrado

MTM2008-03389

Applied Physics

Software

70K€ Cerrado

PCG

Applied Physics

Software

1M€ Cerrado

AMEN

Applied Physics

Software

2M€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

UNIVERSITY OF LEEDS No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 199K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto "This project aims at applying the most recent results and techniques of topos theory to predicative Mathematics. The theoretical and applicative objectives it addresses, can be achieved by using in a substantial new way Grothendieck toposes and their theory, a possibility arisen in 2009 after the discoveries of O. Caramello. Predicative Mathematics is the branch of pure Mathematics that considers (well-founded) construction as the unique paradigm for its development, at any level of granularity: for this reason, it has a natural interpretation as the ‘Mathematics of the computable’ since, to every theorem or definition it is possible to associate a construction which can be thought of as an abstract algorithm. This project wants to characterize predicative theories in explicit topos-theoretic terms, i.e., it requires to find a formal description in the language of Grothendieck toposes to decide whether a mathematical theory is predicative, and, in the positive case, to formally associate to every theorem and definition their natural constructions. The aim is to transfer results proved in impredicative settings into the predicative world, by using the topos-theoretic description of an impredicative theory as a bridge toward a suitable predicative presentation. In the opposite direction, the project wants to develop a method to synthesize algorithms in impredicative frames by importing the intrinsic computational meaning of a predicative presentation. So, ultimately, this project wants to address the fundamental question whether every mathematical theory admits a predicative presentation and, if not, to what extent one can ‘approximate’ impredicative theories via predicative ones."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores