Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20 May 2016, Cool Logic, Dan Frumin and Guillaume Massas

Speaker: Dan Frumin and Guillaume Massas
Title: The one and only diagonal argument
Date: Friday 20 May 2016
Time: 17:30-18:30
Location: F1.15 ILLC seminar room, Science Park 107, Amsterdam
Target audience: MSc Logic and PhD candidates

In this talk we would like to present the Lawvere's fixed point theorem, which is a generalisation of the Cantor-Russell-Turing-Gödel argument in a sufficiently nice category. We will show how it implies straightforwardly Cantor's theorem and Russell's paradox, various versions of the Liar paradox. With a bit of work we will deduce Tarski's result about the undefinability of truth and Gödel's incompleteness theorem, as well as results from computability theory, such as the undecidability of the halting problem and the existence of fixed point combinators in λ-calculus.

For more information, see http://www.illc.uva.nl/coollogic/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.