Rayon Mathématiques
Fiche technique
Format : Broché
Nb de pages : 176 pages
Poids : 319 g
Dimensions : 16cm X 24cm
EAN : 9782225848605
Théorie de la récursivité pour la métamathématique
Chez
Elsevier Masson
Collection(s) |
Logique, mathématiques, informatique
Paru le 15/09/1995
Broché
176 pages
traduit de l'anglais par Philippe Ithier
Licence
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).
