High Stakes Maths 6: Aliens metamath Wolfram Problem Generator Is 20 Prime?

High Stakes Maths 6: Aliens metamath Wolfram Problem Generator Is 20 Prime?
.

Видео

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. Its massively over rigorous overkill for a simple and basic probl..., видео от 2024-12-05 загрузил на rutube Study Tips and Tricks...