(no subject)
Nov. 8th, 2004 01:20 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslTarski's World implements my Logic & Games idea for education. I should have known this before!
http://www-csli.stanford.edu/hp/Tarski2.html
Perhaps a nice project would be to implement such a game for modal logics? Bisimulation games?
One interesting goal for this area would be to make it easy to automatically generate game rules from a logic.
I just found out that logic-game theorist Andrzej Ehrenfeucht is into education.
Although I'm interested in cognitive science and have fun hacking my human representations into computers, my interest in education is more of a practical one.
http://www-csli.stanford.edu/hp/Tarski2.html
Since the student was wrong about the evaluation of this sentence, he will eventually lose the game. But in the course of losing, he learns exactly how he was misinterpreting the initial sentence: a big win for all.
Perhaps a nice project would be to implement such a game for modal logics? Bisimulation games?
One interesting goal for this area would be to make it easy to automatically generate game rules from a logic.
I just found out that logic-game theorist Andrzej Ehrenfeucht is into education.
Although I'm interested in cognitive science and have fun hacking my human representations into computers, my interest in education is more of a practical one.