[FOM] Counterfactuals in relative computability theory
martdowd at aol.com
martdowd at aol.com
Fri Aug 12 20:42:11 EDT 2016
Colin McLarty writes:
Church's Thesis would be shown false if someone exhibited a provably non-recursive function together with a procedure which every competent judge agrees you can always use, successfully, in finite time, to calculate every value of that function.
An interesting fact occurred to me upon reading this. According to linux "man 4 random",
The random number generator gathers environmental noise from device
drivers and other sources into an entropy pool. The generator also
keeps an estimate of the number of bits of noise in the entropy pool.
From this entropy pool random numbers are created.
These can be read from /dev/random in a computer program. Thus, your desktop has a random oracle.
I've used it in combinatorial search to get wider coverage of the search space.
Martin Dowd
-----Original Message-----
From: Colin McLarty <colin.mclarty at case.edu>
To: Foundations of Mathematics <fom at cs.nyu.edu>
Sent: Fri, Aug 12, 2016 3:15 pm
Subject: Re: [FOM] Counterfactuals in relative computability theory
Church's Thesis would be shown false if someone exhibited a provably non-recursive function together with a procedure which every competent judge agrees you can always use, successfully, in finite time, to calculate every value of that function.
I am not waiting for this to happen. But this is what it would be to show Church's Thesis is false.
Compare how people did, in fact, convince themselves that not every effective function is primitive recursive.
On Fri, Aug 12, 2016 at 5:18 AM, <W.Taylor at math.canterbury.ac.nz> wrote:
Suddenly I am at sea.
you only mean them to be denials of the
Church-Turing thesis or things implying that denial.
Obviously the above presupposes that CTT is something that is
either true or false. I had assumed it was merely a convention
or definition of "computable" (natural-domained-)function.
Can someone please enlighten us as to how it could be false?
-- Bill Taylor
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160812/3514a784/attachment.html>
More information about the FOM
mailing list