From 69a39773c604284752a07d172cf8583a43199064 Mon Sep 17 00:00:00 2001 From: Duncan Wilkie Date: Thu, 1 Feb 2024 19:49:59 -0600 Subject: Patterson BTFO post --- staging/hypercomputer/hypercomputer.org | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 staging/hypercomputer/hypercomputer.org (limited to 'staging/hypercomputer') 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. -- cgit v1.2.3