en | de

Gödel's Incompleteness Theorem

PhD program

VO2  WS 2011/2012  703919

Description

This course studies Gödel's famous incompleteness theorems.

Literature

The course is based on the following book:

Quoting from the book: "This introduction to Gödel's incompleteness theorems is written for the general mathematican, philosopher, computer scientist and any other curious reader who has at least nodding acquaintance with the symbolism of first-order logic (...) and who can recognize the logical validity of a few elementary formulas."

The course aims to keep the stated accessibility.

Language

The course will be held in English.