Login
From:
Unstable Ontology
(Uncensored)
subscribe
On the falsifiability of hypercomputation, part 2: finite input streams – Unstable Ontology
https://unstableontology.com/2020/02/17/on-the-falsifiability-of-hypercomputation-part-2-finite-input-streams/
links
backlinks
Roast topics
Find topics
Find it!
In part 1, I discussed the falsifiability of hypercomputation in a typed setting where putative oracles may be assumed to return natural numbers. In this setting, there are very powerful forms of h…
