UTSC Calendar
Published on UTSC Calendar (https://utsc.calendar.utoronto.ca)


MATC09H3

Predicate calculus. Relationship between truth and provability; Gödel's completeness theorem. First order arithmetic as an example of a first-order system. Gödel's incompleteness theorem; outline of its proof. Introduction to recursive functions.

Prerequisite: 

MATB24H3 and [MATB43H3 or CSCB36H3]

Exclusion: 

MAT309H, CSC438H

Breadth Requirements: 
Quantitative Reasoning
Link to UTSC Timetable

Source URL (modified on 05/12/2020 - 15:59): https://utsc.calendar.utoronto.ca/course/matc09h3