High Stakes Maths 6: What is the Unique Prime Factorisation of 54?

Jon P
Jon P
33
0
2022-08-12に共有
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
コメント (1)