Filtres de recherche

Thème - Sous thèmes

Publics visés

Auteurs

Lieux

Dates

Réinitialiser les filtres

Retour

Lire Livres Un thème 18+

Cinq conférences sur l’indécidabilité

1983

Nicolas Bouleau - Jean-Yves Girard - Alain Louveau

La formalisation des mathématiques. Le théorème d’incomplétude de Gödel. Indécidabilité de l’hypothèse du continu. Sur la calculabilité effective.

Création : 1983

Auteurs/contributeur(s) : Nicolas Bouleau - Jean-Yves Girard - Alain Louveau

Institution : Presses de l'Ecole Nationale des Ponts et Chaussées

Lien(s) : Lien 1

Retour