Par Giuseppe Longo, Directeur de Recherche en informatique théorique, CNRS et ENS
Ce texte a été publié dans la revue Intellectica, n. 35, 2002/2, pp. 131-162, nous remercions l'auteur pour son amabilité.
Prérequis :
-
Le texte n'est pas technique et les seuls prérequis sont une certaine culture scientifique générale.
-
Une connaissance générale des fondements de la théorie des ensembles et de l'arithmétique (telle qu'ils sont exposés dans les textes de la section "Logique" du site) sera utile.
-
Ce texte ouvrant une direction inhabituelle dans notre travail, n'hésitez pas à nous donner votre avis ou à nous demander des précisions.
Importer l'article au format ps ou pdf.