Course Schedule and Catalog

Department: Philosophy

Grade Mode: Standard Letter

Course Type: Lecture

Distribution Group: Distribution Group III

Credit Hours: 3

Description: INCOMPLETENESS, UNDECIDABILITY AND COMPUTABILITY ***** DISTRIBUTION COURSE GROUP 3 ***** Proof of Godel's Incompleteness Theorems for number theory in several forms and by various methods, as well as development of several definitions of computability for number-theoretic functions,which are then shown to be equivalent. Includes proof of the unsolvability of the Halting Problem and analysis of Church's thesis, as well as exploration of the extension of the concept of computability to real-valued functions.