Posted: Jan 13, 2017 2:45 pm
ughaibu wrote: Now, imagine a researcher who has access to the set of laws of some empirical science that entails all human behaviour, and a sufficient description of the universe of interest, sufficient computing power, etc. That researcher would be able to stick the required input into a computer and get an answer to the question "after observing the result of the computation, which will I write earliest "-1" or "+1"?" But the researcher can set as their recording procedure the following: if the computation predicts "-1", record this by immediately writing "+1", and if the computation predicts "+1", record this by immediately writing "-1".
If the researcher didn't include his recording procedure in the input, that would make the input incomplete?