Uncomputability of the synchronous game value: no algorithm separates value 1 from value at most 1/2

Initializing...

Uncomputability of the synchronous game value: no algorithm separates value 1 from value at most 1/2 · Prove2Me