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
grading
Exams with Solutions
notes
Lecture Notes
assignment
Problem Sets
Problem Set Solutions
