Prove
Growth Paths / Math Electives: Mathematical logic
AdvancedSkills
Math Electives: Mathematical logic
Formal logic, sets, computability and machine-checked proof.
Formal logic, sets, computability and machine-checked proof. An elective area: finish one outcome in each of the 6 areas, then 3 more in one area you choose to go deep in. Free courses, a free self-check for each, and real work confirmed by 3 people. Part of the Varsity Curriculum: Mathematics, adapted from OSSU Math (MIT License).
0 required outcomes49 weeksCredential on completion
Path outcomes
10
2 milestones
- 1Do the problem sets and write them up
- 2Formalise a real argument
20
SkillsOptional
Learn Sets, Logic and Computation (Open Logic Project)
Sets, Logic, Computation
Take this Challenge →2 milestones
- 1Do the problem sets and write them up
- 2Prove the completeness theorem in your own words
30
SkillsOptional
Learn Computability and Incompleteness (Open Logic Project)
Incompleteness and Computability
Take this Challenge →2 milestones
- 1Do the problem sets and write them up
- 2Explain Gödel's first theorem
40
2 milestones
- 1Do the problem sets and write them up
- 2Formalise a theorem in Lean
Resources for this path
No affiliate links. No sponsored placements.
OSSU Math ↗Curriculum
The course map this path is adapted from (MIT License).