[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fachbereich Informatik ]     [ Technische Universitšt Wien ]

1.0 VU AK der diskreten Mathematik und Logik 1 (185.257, WS 2005)

(Selected Topics in Discrete Mathematics and Logic 1)

Lehrveranstaltungsleiter: Alexander Leitsch

Diese Lehrveranstaltung ist Wahlfach im Magisterstudium Computational Intelligence (Bereich "Diskrete Mathematik und Logik").
This course also belongs to the advanced modules Logical foundations and Inference in classical and nonclassical logics of the international Master Programme in Computational Logic.

First Meeting:

Monday October 10, 2:00 p.m.
Hörsaal 7,
Main Building, Karlsplatz 13


Basic Principles of Second-Order Logic:

Second-order logic differs from first-order one in admitting predicate variables. This extension adds substantial expressive power to the language. We show that number theory is (non-effectively) axiomatizable by second-order axioms and that, as a consequence, second-order logic is not mechanizable. On the proof theoretic side we introduce a second-order Gentzen system LK2 and second-order arithmetic. We show that induction can be expressed in LK2 making it stronger than Peano arithmetic.

Valid HTML 4.01! Viewable With Any Browser A.Leitsch