summaryrefslogtreecommitdiff
path: root/staging/hypercomputer/hypercomputer.org
blob: 05975352261566ede52cd4c029e286d9daf0c4d1 (plain)
1
2
3
4
5
6
7
8
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.