Intuitionistic logic
Basics on logic.
1-2 hours per week, for 8 weeks
Learn
Stuff
Quiz
What is the difference between classical and intuitionistic logic?
Classical
- LEM ($\phi \vee \neg \phi$)
Intuitionistic
- Propositions as Proofs
What is the right logic?
Don’t know, it depends.