Course Schedule and Catalog
Course Schedule - Spring Semester 2017
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
PHIL 357 001 (CRN: 23625)
INCOMPL, UNDECIDED&COMPUTBLTY
Long Title: INCOMPLETENESS, UNDECIDABILITY, AND COMPUTABILITY
Department: Philosophy
Instructor: Grandy, Richard E.
Meeting: 10:00AM - 10:50AM MWF (9-JAN-2017 - 21-APR-2017)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Distribution Group: Distribution Group III
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
Restrictions:
May not be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 19
Section Enrolled: 16
Waitlisted: 0 (Max 99)
Current members of the waitlist have priority for available seats.
Enrollment data as of: 2-MAY-2024 8:43AM
Final Exam: No Final Exam
Final Exam Time:
1-MAY-2017
9:00AM - 12:00PM M
Description: Proofs 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. Frequent misunderstandings and misrepresentations of the theorems are analyzed.