High Stakes Maths 2: Aliens, metamath, Wolfram Problem Generator, 9 - 2 = ????

2 0

Published 2022-07-23

This is a video about a scifi scenario in which it would make sense to rigorously prove 9-2 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)