Lecture Notes
slides2f.pdf
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
slides2f.pdf
Course Info
Instructors
As Taught In
Fall
2005
Level
Topics
Learning Resource Types
assignment_turned_in
Problem Sets with Solutions
grading
Exams with Solutions
notes
Lecture Notes