| Type de publication : |
 |
Ouvrages scientifiques |
|
| Domaine : |
|
Mathématiques/Logique
|
|
| Titre : |
|
Five Conferences on Undecidability |
|
| Auteur(s) : |
|
Nicolas Bouleau ( ) 1, Jean-Yves Girard 2, Alain Louveau 3 |
|
| Laboratoire : |
|
|
|
| Résumé : |
|
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the language of first order predicates and the axioms of set theory. The second and third lectures explain the incompleteness phenomena from the Hilbert program until Gödel's theorems with a presentation of the sequent calculus of Gentzen.The fourth talk deepens model theory reasoning in the case of the continuum hypothesis, and the last conference gives examples of effective computability results. |
|
Langue du texte
intégral : |
|
Français |
|
|
| Éditeur commercial : |
|
Presses de l'Ecole Nationale des Ponts et Chaussées |
|
| Date de publication : |
|
1983 |
|
| Nombre de pages : |
|
57 |
|
| Éditeur scientifique : |
|
N. Bouleau |
|
|
| Mots Clés : |
|
undecidability – set theory – predicate – logic – Hilbert program – incompleteness – consistency – recursive function – sequent – ordinal – cardinal – continuum – algorithm |
|
| Classification : |
|
MSC: 03Bxx, 03Cxx, 03Dxx, 03Exx |
|
|
Récupérer au format
