> > Learning a proof checker takes such a long time ! And the underlying > logics are different. >
As if informal mathematics is somehow easier. But at least they have international events to attend to and learn about each other in person. But that's not for amateurs or ordinary teachers. What he is looking for is that no? > > https://www.youtube.com/watch?v=Rst2hZpWUbU > According to Thurston (and seems that he knows what he's talking about) the best way is personal first-hand experience. Taking math on lectures is not that good at all. And the worse are papers and textbooks: https://arxiv.org/abs/math/9404236 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ead6d9d7-b957-44e8-8eaa-9ebc9514a3c2%40googlegroups.com.
