GitHub - Peter-H-Meadows/GtMetamath: metamath logic game


What inspired you to develop this game? It looks pretty interesting.

1 Like

Trying to make people less stupid. <3

Interesting. Looks inspired from LessWrong. Or do you have a different source of inspiration?

What about LessWrong?

I was inspired to learn mathematics by a BBC ‘Horizon’ documentary about Fermat’s last theorem.

BBC iPlayer - Horizon - 1995-1996: Fermats Last Theorem

BBC - Horizon - 1996 - Fermat’s Last Theorem - video Dailymotion