diff options
| author | Duncan Wilkie <antigravityd@gmail.com> | 2024-02-01 19:49:59 -0600 |
|---|---|---|
| committer | Duncan Wilkie <antigravityd@gmail.com> | 2024-02-01 19:49:59 -0600 |
| commit | 69a39773c604284752a07d172cf8583a43199064 (patch) | |
| tree | d72020fd35199fb9393262f2fbe0a48ddaaddb07 /staging/hypercomputer | |
| parent | 17b526a39faecf6497ef268bad0cf3b90313d730 (diff) | |
Patterson BTFO post
Diffstat (limited to 'staging/hypercomputer')
| -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. |