Title of the course: Unsolvability
Instructor: Dr. Ahmet Çevik
Institution: ODTÜ
Dates: 31 July – 6 August 2017
Prerequisites: -
Level: Graduate, advanced undergraduate, undergraduate
Abstract: We give an introduction to the theory of unsolvability, concerning basic subjects such as decidability, recursive functions, recursive enumerability, Turing machines, Gödel numbering, countability/uncountability, digonalization, halting problem, Church-Turing Thesis, and introduction to relative computability (time permitting).
Language: EN, TR