Lecture Notes
Lecture 5: Three Profound Theorems about Mathematical Logic
Description:
This resource discusses G?del’s completeness theorem, axioms and inference rules, G?del’s incompleteness theorem for arithmetic, sets and functions, and Russell?s Paradox.
Resource Type:
Lecture Notes
pdf
120 kB
Lecture 5: Three Profound Theorems about Mathematical Logic
Course Info
Instructors
As Taught In
Fall
2005
Level
Topics
Learning Resource Types
grading
Exam Solutions
grading
Exams
notes
Lecture Notes
assignment_turned_in
Problem Set Solutions
assignment
Problem Sets
