|
Titre :
|
Logique interne : modèles et applications
|
|
Auteurs :
|
Yvon Gauthier, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Montréal (Québec, Canada) : Modulo, 1997
|
|
Collection :
|
Bibliothèque des sciences
|
|
ISBN/ISSN/EAN :
|
978-2-84352-024-2
|
|
Format :
|
233 p. / 24 x 17 cm
|
|
Accompagnement :
|
1 disquette HD Mac ou PC
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511 (Logique mathématique, Jeux mathématiques)
|
|
Mots-clés:
|
logique mathématique
;
manuels d'enseignement supérieur
|
|
Résumé :
|
Eclaire de façon nouvelle la question du rapport de la logique avec les autres disciplines scientifiques. Puisant ses sources dans les travaux de Fermat, dans le programme de Hilbert et de Kronecker, l'auteur propose une solution au problème de la consistance de l'arithmétique et ouvre des perspectives dans le domaine de la théorie ergodique, des systèmes dynamiques, de l'informatique théorique...
|
