Description
This course studies Gödel's famous incompleteness theorems.
Literature
The course is based on the following book:- Raymond M. Smullyan
Gödel's Incompletness Theorems
Oxford Logic Guides, 1992
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.