4 ms·
No, it means there is a specific computable position where white has a forced win, when both white and black have to follow computable strategies. But if they
by throwaway81523 4y ago
No, it means there is a specific computable position where white has a forced win, when both white and black have to follow computable strategies. But if they can use uncomputable strategies, it is a draw. Uncomputable = "if arbitrary Turing machine X halts, I move here, otherwise I move there", that sort of thing.