P
PseuTonym
Guest
The intuitionists Brouwer and Heyting appealed to the “impossibility” of ever knowing whether and where the sequence 0123456789 appears in the decimal expansion of pi …
Yet it was found in 1997 by Kanada, beginning at position 17,387,594,880.
What should come next?Depending on one’s ontological perspective, either
- Nothing had changed, except for our state of knowledge. In other words, those digits were discovered in pi, and had always been there, or …
I will omit information about the source that I am quoting, because I think that the authors got a big sloppy there. I doubt that you will find a good answer by simply locating the text and copying what is there. However, after there have been some replies, I will certainly reveal the source in this thread if anybody makes such a request in this thread. In the meantime, send me a private message if you are interested.