tag:blogger.com,1999:blog-264226589944705290.post145486348148763080..comments2023-11-05T03:45:25.001-08:00Comments on God Plays Dice: You are in a maze of twisty little equations, all alike.Michael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-264226589944705290.post-39209891819978161362007-10-19T00:01:00.000-07:002007-10-19T00:01:00.000-07:00This really rang true with me.So much so, that I t...This really rang true with me.<BR/><BR/>So much so, that I thought it would be fun to imagine theorem proving as a text adventure.<BR/><BR/>I <A HREF="http://conflate.net/inductio/general/the-mathematical-grue/" REL="nofollow">posted</A> the result on my blog.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-76670880601711105132007-10-17T16:57:00.000-07:002007-10-17T16:57:00.000-07:00I don't run out of quarters when I do calculations...I don't run out of quarters when I do calculations. :-)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-42349604372178821902007-10-17T16:53:00.000-07:002007-10-17T16:53:00.000-07:00Long calculations usually don't have walkthroughs ...Long calculations usually don't have walkthroughs easily available on the net, though.<BR/><BR/>That said, our course is clear: we must find some mathematical object that can be appropriately named a "zork".Anonymousnoreply@blogger.com