> I think we have something of a counter-example: I believe at least one > high school student learned logic via Metamath/set.mm, > and contributed a number of proofs. > > I think I remember who you're talking about. A teenager who no longer understood anything about math and who had managed to put the pieces of the jigsaw together by exploring set.mm in his spare time in his room. And he ended up taking math classes again at the university.
Just quote his opinion in the "Pedagogy" section after mine, the way a good journalist in a good newspaper like the New York Times would quote divergent opinions or experiences on a given subject. And this without having to go into scientific delusions like "evidence-based". I would just point out that he and I are not talking about the same situation: he is talking about hundreds of hours he spent on his own on set.mm, and I am talking about a group course to less motivated students. I challenge any teacher to motivate his students by taking as a starting point the hundreds of theorems of propositional logic in set.mm. -- FL -- 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/c7449689-5da9-4676-84fc-a48e58d4fdab%40googlegroups.com.
