Hacker News new | ask | show | jobs
by anitil 652 days ago
I love the whimsy of this. I'm not familiar with Magic, but now I wonder - is Magic Turing complete? And of course the answer appears to be yes! [0]

[0] https://arxiv.org/abs/1904.09828

2 comments

I might be misunderstanding the ruling, but I believe if your play involves an infinite loop that cannot resolve, you tie the game. Combine that with the fact the game is Turing complete, and this makes it such that you could force a game state where you must solve the halting problem in order to determine if you draw or not.
If the game state is "meaningfully changed" each iteration then it is considered a non-deterministic loop and it cannot be shortcut.
Here’s a live demo: https://youtu.be/pdmODVYPDLA
Here's your link without the creepy Google tracking:

https://youtu.be/pdmODVYPDLA