Five Conferences on Undecidability

Details Five Conferences on Undecidability Five Conferences on Undecidability

2007-11-29

arxiv.org/abs/0711.4717v1

Five Conferences on Undecidability, Presses de l'Ecole Nationale des Ponts et Chauss\'ees (Ed.) (1983) 57

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Five Conferences on Undecidability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Five Conferences on Undecidability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Five Conferences on Undecidability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-46031