JoshuaZ comments on Open thread for December 17-23, 2013 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (301)
Suggested repair of your example: A= "Pi is normal" and B= "Pi includes as a contiguous block the first 2^128 digits of e within the first Ackermann(8) digits" which should do something similar.