This is the same as discussed by John Baez and others at https://johncarlosbaez.wordpress.com/2015/07/20/the-game-of-googol/ https://johncarlosbaez.wordpress.co

This is the same as discussed by John Baez and others at https://johncarlosbaez.wordpress.com/2015/07/20/the-game-of-googol/ https://johncarlosbaez.wordpress.com/2015/07/20/the-game-of-... right? (spoilers!)