In this seminar students will present selected papers of Kurt Gödel. These papers will then be discussed by the participants of the seminar. The addressed topics range from theoretical computer science to philosophy and Metaphysics. Students from Computer Science, Mathematics and Philosophy are welcome.