Hi Peter,
I'm afraid I seem to be unable to run GtMetamath on my crappy old Windows
laptop. When I follow the instructions on your README.md, the GtMetamath
window as shown in your screenshots comes up and is the correct blackish
background color, but I'm afraid it stays completely and stubbornly blank
with no obvious error message.
Best regards,
Antony
On Sun, Aug 28, 2022 at 12:00 PM Jon P <[email protected]> wrote:
> That is really cool, yeah I really like the progress you've made on it.
>
> I think it's great how clear and simple it all is just with the basic
> shapes. I also like how much reward there is in it with it going green and
> saying "well done" etc, that's very nice. I think giving lots of
> encouragement/stars/badges really helps.
>
> A couple of thoughts:
>
> Firstly it kind of looks like the squares are kind of items and the
> triangles are slots/boxes/containers where you can put the items. So I
> wonder if it might make sense to make that connection more obvious? Like
> rather than a triangle have a square which has a border and nothing in the
> middle, and that way it makes it clear you put a square in there.
>
> Secondly, I don't know exactly how this would work logically, but yeah it
> might be nice if the first level is just 1 square and 1 slot and all you do
> is drag the square into the slot, that makes it super simple as a first
> step for people to understand what to do. Then maybe a nice second level is
> to have a more complex expression on the left to be dragged into a more
> complex set of connected slots on the right, that way it teaches you that
> you can drag larger objects.
>
> Thirdly I think you currently have squares on the left, the goal in the
> middle and the triangle connectors on the right. Would it make more sense
> to have the triangle connectors in the middle and the goal on the right?
> That way it kind of reads left to right as "inputs" -> "transformers" ->
> "goal". Maybe that is less good if the screen ends up cluttered, the
> connectors could be along the bottom maybe?
>
> Fourthly it reminded me of this game
> https://www.zachtronics.com/opus-magnum/ which has a similar vibe of
> taking the little orbs and using machines to combine them into larger
> objects. Could be a nice place to look for inspiration and graphics.
>
> Not sure if any of that is useful, obviously feel free to ignore any or
> all of it. Overall I'd just like to be really encouraging! I think it's a
> really cool idea and I think you're close to having something really
> powerful.
>
> On Sunday, August 21, 2022 at 1:10:42 AM UTC+1 [email protected]
> wrote:
>
>> 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/788b627d-2714-45a8-a1e9-7a129284d7edn%40googlegroups.com
> <https://groups.google.com/d/msgid/metamath/788b627d-2714-45a8-a1e9-7a129284d7edn%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
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/CAJ48g%2BC_iDR51jJqybwz6gaY6vAOm0YbZJwn7O28BTG6-HQBFw%40mail.gmail.com.
