2
Motivation
•
Applications:
–
DB, PL, KR, complexity theory, verification
•
Results in FMT often claimed to be known
–
Sometimes people confuse them
•
Hard to learn independently
–
Yet intellectually beautiful
•
In this course we will learn FMT together