Tbf I think this is a tall order for someone who has never thought deeply about game design, I think something pretty cool could emerge from just a little bit of collaboration with a good game designer, or just putting a lot more thought and playtesting into it!
Terry’s love of math is at odds with us normies here. A ‘math game about math’ is everything he wants from a game, or so it seems.
A proper normie should take the game and make it about dragons and lasers and swords and robots and princesses to save in another castle and it could be a success, like slay the spire. Or maybe a zachtronics-like game. Or spreadsheet spaceships um excuse me eve online is a thing right?
I've thought a bit about a game like this in the past and came to the conclusion that UI would be a nightmare. It's might be manageable as long as you stick to propositional calculus, but it's pretty limited and if you try to go further then substitution rules for quantifiers come into play. Maybe there is a way to make it work, but I don't think it's something you can just walk into without some consideration.
Sorry to be so negative, but one can barely parse the LLMish introduction, and thosebcontrols seem like a half finished personal obsidian document.
Kind of weird coming from tao, I remember his math notes being quite approachable and well written.
But gamification is it's own art and science.
A proper normie should take the game and make it about dragons and lasers and swords and robots and princesses to save in another castle and it could be a success, like slay the spire. Or maybe a zachtronics-like game. Or spreadsheet spaceships um excuse me eve online is a thing right?
Ai psychosis type phenomenon?