Note that AFAIK Church did not state this “Quantitative Church’s thesis”—it’s hard to be sure because of the paywall, but I’d guess that this paper was the first to explicitly state it, and it did so in order to argue that it may not be true.
I could not tell which paper you are talking about. The paper I posted? It is not behind any pay wall for me. If not the paper I post which paper are you talking about I can try to look at it at work latter.
Don’t know what went wrong there—I have the paper now. Turns out I’m quite wrong, this idea is credited to:
P. van Emde Boas (1990), Machine models and simulations, in Handbook of Theoretical Computer Science, Vol. A, J. van Leeuwen, ed., Elsevier, Amsterdam, pp. 1–66.
Note that AFAIK Church did not state this “Quantitative Church’s thesis”—it’s hard to be sure because of the paywall, but I’d guess that this paper was the first to explicitly state it, and it did so in order to argue that it may not be true.
I could not tell which paper you are talking about. The paper I posted? It is not behind any pay wall for me. If not the paper I post which paper are you talking about I can try to look at it at work latter.
Don’t know what went wrong there—I have the paper now. Turns out I’m quite wrong, this idea is credited to:
P. van Emde Boas (1990), Machine models and simulations, in Handbook of Theoretical Computer Science, Vol. A, J. van Leeuwen, ed., Elsevier, Amsterdam, pp. 1–66.