PHIL 106B: Mathematical Logic

Instructor: Casey Rufener

Prerequisites: None

Course Description: <b>This course will be a 10-week Asynchronous Online course for Summer 2022</b><br> Covers in detail several of the following proofs: the Gödel Incompleteness Results, Tarski's Undefinability of Truth Theorem, Church's Theorem on the Undecidability of Predicate Logic, and Elementary Recursive Function Theory.

Session: Extended

Day: Online

Time: Asynchronous

Credit Hours: 4 Credits

Course Format: 10-week Asynchronous Online for Summer 2022

Brandeis Graduation Requirement Fulfilled: HUM, SN

Enrollment Limit: 20 students

Course Classification: Undergraduate Level Course

Course Tuition: $3,290

Course Fees: None

Open to High School Students: No

Instructor Biography

Course Syllabus