diff options
Diffstat (limited to 'staging/hypercomputer/hypercomputer.org')
| -rw-r--r-- | staging/hypercomputer/hypercomputer.org | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/staging/hypercomputer/hypercomputer.org b/staging/hypercomputer/hypercomputer.org new file mode 100644 index 0000000..0597535 --- /dev/null +++ b/staging/hypercomputer/hypercomputer.org @@ -0,0 +1,9 @@ +#+TITLE: CSRNGs Make Our CPUs Hypercomputers +#+DATE: <2023-11-09 Thu 17:24> +#+TAGS: Computer Science, Church, Turing, Computability + +* People Consistently Misinterpret The Church-Turing Thesis + +There's an excellent [[https://plato.stanford.edu/entries/church-turing/][SEP article]] on what Turing's original claim was, and how rampant and severe inaccurate statements of it are. The gist: he claims that any procedure that could be carried out, in principle, by a human computer with pencil and paper could be carried out by the namesake machine. /Not/, as many people claim, that any procedure any machine could compute could also be computed by a Turing machine. + +The distance between these theses contains machines that exploit physical processes that produce non-computable results, such as a digit stream of [[https://mathworld.wolfram.com/ChaitinsConstant.html][Chaitin's constant]] or solving the [[https://en.wikipedia.org/wiki/Word_problem_for_groups][word problem for groups]]. Most existing proposals are pretty outlandish. |