Kolejny blog oparty na WordPressie
Cykl wykładów: GÖDEL’S INCOMPLETENESS THEOREM
Zapraszamy na cykl wykładów (w języku angielskim): GÖDEL’S INCOMPLETENESS THEOREM, które poprowadzi Prof. Marina Semenova
Miejsce: sala 416A Gmach Główny i sala 105 Gmach wydziału MiNI ul. Koszykowa 75
Termin: 7-30.03.2012
Godz. 16.15 – 19.00 – środy (sala 416A) i piątki (sala 105)
UWAGA! Środa 7.03. obowiązuje plan zajęć w piątek
Zgłoszenie przedmiotu pozwala zdobyć 2 ECTS
Zgłoszenia udziału w kursie (imię/nazwisko, adres e-mail, wydział, nr albumu) należy przesyłać do pana Huberta Pająka: H.Pajak@mini.pw.edu.pl.
Więcej informacji na stronie http://www.mini.pw.edu.pl/tikiwiki/
Fragment z opisu wykładu:
One of the most fundamental theorems in mathematics, Goedel’s Incompleteness Theorem, states that any effectively generated consistent theory of elementary arithmetic is not complete. We present an approach to the proof of Goedel’s Incompleteness Theorem which is due to Kleene and Schoenfield and uses basic results of computability theory. It shows that the halting problem is unsolvable; i.e., there is no computer program that can correctly determine, given a program P as input, whether P eventually halts when run with some given input.