Mathematische Logik 2

Dr. Heinrich Rolletschek

February 25, 2011

Time and place:

Thursday, 8:30-10:00, HS 11, beginning 10.3.2009


Familiarity with syntax und semantics of predicate logic, as presented in the course Mathematical Logic 1, is desirable, even though the fundamentals will be briefly repeated.


Some philosophical (epistomological) consequences, which result from limitations of the expressive and deductive power of first-order predicate logic, will also be discussed. Such limitations are shown primarily by Gödel's Incompleteness Theorem, but also by the existence of various nonstandard models.


Lecture notes will be handed out.


Oral exams will be given after the course.