2023 Fall
MATH 136 001 - LEC 001
Incompleteness and Undecidability
Antonio Montalban
Class #:31393
Units: 4
Instruction Mode:
In-Person Instruction
Offered through
Mathematics
Current Enrollment
Total Open Seats:
3
Enrolled: 37
Waitlisted: 0
Capacity: 40
Waitlist Max: 5
No Reserved Seats
Hours & Workload
3 hours of instructor presentation of course materials per week, and 9 hours of outside work hours per week.
Final Exam
TUE, DECEMBER 12TH
03:00 pm - 06:00 pm
Haviland 12
Other classes by Antonio Montalban
Course Catalog Description
Functions computable by algorithm, Turing machines, Church's thesis. Unsolvability of the halting problem, Rice's theorem. Recursively enumerable sets, creative sets, many-one reductions. Self-referential programs. Godel's incompleteness theorems, undecidability of validity, decidable and undecidable theories.
Rules & Requirements
Repeat Rules
Course is not repeatable for credit.
Reserved Seats
Current Enrollment
No Reserved Seats
Textbooks & Materials
See class syllabus or https://calstudentstore.berkeley.edu/textbooks for the most current information.
Guide to Open, Free, & Affordable Course Materials
Associated Sections
None