P
PseuTonym
Guest
The word “theoretical” is helpful if we are able to identify a particular hypothesis that is being relied upon. It is a kind of disclaimer that says, “The following would be true if your hypothesis were true”, so that what comes next isn’t mistakenly taken to be a claim that “the following is true.”
[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.](http://forums.catholic-questions.org/showthread.php?t=1021291)
According to the Brouwer and Heyting theory of the decimal expansion of pi, what are the digits of pi? Clearly, we aren’t supposed to see what happens beginning at position 17,387,594,880. It seems that empiricism has simply overturned the theory of Brouwer and Heyting, so that there is no Brouwer-Heyting pi that can be studied. At least, it was empiricism in the sense that data was generated, and people looked for the digit sequence 0123456789 in the data, without having a theoretical reason for believing either that the digit sequence 0123456789 would be found or that it wouldn’t be found.
On the other hand, what is the meaning of the word “empirical”?
“based on, concerned with, or verifiable by observation or experience rather than theory or pure logic.”
However, is it possible to observe what begins at position 17,387,594,880 in the decimal expansion of pi without relying upon theory?
[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.](http://forums.catholic-questions.org/showthread.php?t=1021291)
According to the Brouwer and Heyting theory of the decimal expansion of pi, what are the digits of pi? Clearly, we aren’t supposed to see what happens beginning at position 17,387,594,880. It seems that empiricism has simply overturned the theory of Brouwer and Heyting, so that there is no Brouwer-Heyting pi that can be studied. At least, it was empiricism in the sense that data was generated, and people looked for the digit sequence 0123456789 in the data, without having a theoretical reason for believing either that the digit sequence 0123456789 would be found or that it wouldn’t be found.
On the other hand, what is the meaning of the word “empirical”?
“based on, concerned with, or verifiable by observation or experience rather than theory or pure logic.”
However, is it possible to observe what begins at position 17,387,594,880 in the decimal expansion of pi without relying upon theory?