3 ms·
Maths is "turn based" albeit it has practically infinite available moves per turn. But I think the latter matters less than it may appear at first: At least in
by tsoj 23d ago
Maths is "turn based" albeit it has practically infinite available moves per turn. But I think the latter matters less than it may appear at first: At least in practice there isn't much different (for both humans and computers) if there are infinitely many moves, or "just" 10,000. And while (as far as I know) there aren't any board games with that many moves, the exponential explosion means that if you conceptually "combine" let's say three moves in a row, you suddenly have not 30 moves, but 27,000. And that's practically infinite.
- eru 23d agoYou can play a variant of math where you only have a limited set of options available each turn, and it wouldn't make much of a difference. (Eg limit yourself to commands you can send to vim as you write your Lean proof or whatever.)