On Wed, 27 Jul 2022 at 20:16, Jon P <[email protected]> wrote: > > Looks like a fun thing you're making.
I think fun is key to learning! :) (I'm sad that most schools seem to make learning mathematics boring). "School is like going to the best restaurant in town and then being told to eat the menu instead of the food." > > I've done a little game design and here's a couple of thoughts. I made this > game about the four colour theorem on steam (if anyone would like to play > feel free to email for a steam key). > Cool. I'm interested to study how my 8 year old nephew learns, so I'll use your game as one of the tests :) > One of the things I thought went best is that it doesn't have a tutorial, > it's just a super slow ramp of complexity, each new idea is introduced with a > couple of chances to play around with it before the next one. I'd really > recommend an approach like that, especially if it's for kids, the hardest > thing is walls of text, generally people learn easier by playing than reading. Yep! Here is a video of the first few proofs/levels in GtMetamath. https://youtu.be/TT5F75SK4gQ Any feedback/thoughts? weird words: deduction, elimination, transposes, inference, implies, hypotheses, assertion, antecedent, consequent, contraposition, axiom ph implies ps = red blob links to blue blob essential hypothesis = required input for transformer machine. and given starting chains. antecedent = thing at start (left-most) consequent = thing at end (right-most) modus ponens = detacher machine. a1i = add-to-front machine. syl = distributer machine. Cheers > > https://store.steampowered.com/app/816770/The_Four_Colour_Theorem/ > > And then yeah another suggestion might be some sort of power connectors game? > Like when you're doing a proof in MMJ2 you're trying to make sure every > statement is connected to the rest. So you're hypotheses are sort of like > your power sources and the theorem is like the lightbulb or something and > what you're trying to do is make a complete chain in-between with no loose > ends. > > I really like the sound of what you're saying with factories etc, maybe > little roads / power cables / conveyor belts / water pipes might communicate > that idea of connections pretty well. > > On Wednesday, July 27, 2022 at 3:15:38 PM UTC+1 [email protected] > wrote: >> >> On Sun, 26 Jun 2022 at 00:06, Jim Kingdon <[email protected]> wrote: >> > >> > Looks cool based on the screenshot and video. >> > >> > Given how popular colorful syntax highlighting has been for code, seems >> > like there could well be an appeal to do something sort of similar in >> > terms of the display here. >> > >> >> Thanks for the feedback. >> >> My goal is to make the game as simple, and fun as possible. >> >> Any ideas about how to make it fun for kids? >> >> How best to explain/introduce the rules? >> ( Maybe say it's a factory that uses machines to make/convert raw >> input into the result? modus ponens = detacher machine. etc.? >> I'm thinking how 'manufactoria' games do it. >> http://pleasingfungus.com/Manufactoria2022/ ) > > -- > You received this message because you are subscribed to a topic in the Google > Groups "Metamath" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/metamath/sf5Ma5_NIlU/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/c3fc0fda-0b18-4d72-8949-5f8a9b5e146fn%40googlegroups.com. -- 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/CANS9R93Y%2B57su_qPOF-cS13eaYHEqFhTP%2BZEWD_g2jfgwW04Xg%40mail.gmail.com.
