Saturday, May 28, 2016


A great followup today from John Baez to the 200-terabyte "very long proof" story Evelyn Lamb reported on last week:

At one point John writes, "It’s interesting that these 200 terabytes were used to solve a yes-or-no question, whose answer takes a single bit to state: no."  ;-)

I don't know what application this may all have (???), but fascinating stuff nonetheless!

No comments: