Théorie de la récursivité pour la métamathématique
Collection(s) :
Logique, mathématiques, informatique
Paru le
15/09/1995 |
Broché 176 pages
Licence
36.44 €
Indisponible
traduit de l'anglais par Philippe Ithier
Quatrième de
couverture
Expose les relations entre les notions de calculabilité, décidabilité, cohérence, contradiction..., qui dépassent le cadre strict des mathématiques (elles sont métamathématiques).