High Stakes Maths 5.5: Aliens, metamath, Wolfram Problem Generator, 11 || 1296 ???

Jon P
Jon P
33
0
Published 2022-08-01
This is a video about a scifi scenario in which it would make sense to rigorously prove some simple thing from highschool maths all the way from the ZFC axioms using metamath.

It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.

I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.

us.metamath.org/

github.com/digama0/mmj2
All Comments (1)