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

1
2 Likes
2

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

1 Like
3

Trying to make people less stupid. <3

4

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

5

What about LessWrong?

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

6

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

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