HAL : hal-00192557, version 1

arXiv : 0711.4717

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Five Conferences on Undecidability, N. Bouleau (Ed.) (1983) 57

Five Conferences on Undecidability

Nicolas Bouleau (  Auteur correspondant ) 1, Jean-Yves Girard 2, Alain Louveau 3

(1983)

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.

1 :	Centre International de Recherche sur l'Environnement et le Développement (CIRED)
	Centre de coopération internationale en recherche agronomique pour le développement [CIRAD] : UMR56 – CNRS : UMR8568 – École des Hautes Études en Sciences Sociales [EHESS] – Ecole des Ponts ParisTech – Ecole Nationale du Génie Rural des Eaux et Forêts
2 :	Institut de mathématiques de Luminy (IML)
	CNRS : UMR6206 – Université de la Méditerranée - Aix-Marseille II
3 :	Institut de Mathématiques de Jussieu (IMJ)
	CNRS : UMR7586 – Université Pierre et Marie Curie [UPMC] - Paris VI – Université Paris VII - Paris Diderot

Domaine

:

Mathématiques/Logique

Mots Clés : undecidability – set theory – predicate – logic – Hilbert program – incompleteness – consistency – recursive function – sequent – ordinal – cardinal – continuum – algorithm

hal-00192557, version 1

http://hal.archives-ouvertes.fr/hal-00192557

oai:hal.archives-ouvertes.fr:hal-00192557

Contributeur : Nicolas Bouleau <>

Soumis le : Mercredi 28 Novembre 2007, 15:13:45

Dernière modification le : Jeudi 29 Novembre 2007, 14:47:05