Five Conferences on Undecidability
From MaRDI portal
Publication:6207656
arXiv0711.4717MaRDI QIDQ6207656FDOQ6207656
Authors: Nicolas Bouleau, Jean-Yves Girard, Alain Louveau 
Publication date: 29 November 2007
Abstract: 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"odel'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.
Computability and recursion theory (03Dxx) Model theory (03Cxx) Set theory (03Exx) General logic (03Bxx)
This page was built for publication: Five Conferences on Undecidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6207656)
