9 Jul
2023
9 Jul
'23
2:46 p.m.
On 7/9/23, Undescribed Horrific Abuse, One Victim & Survivor of Many <gmkarl@gmail.com> wrote:
two branches: 1. does this disprove the indeterminability of the halting problem if we ignore that g() could pathologically correctly pass the private data, and to what degree? 2. what about the situation where g() pathologically correctly passes the private data? f() could still detect this, and wouldn’t know what to do: maybe access to further private data, and it calls itself recursively?
okay for 2 i think there’s a way to make it work if we assume cryptography can work.
ok um so we make the private data unknown to both g() and f() and we assume that we can send nonreproducible data to g() that proves it is in an outer simulation, i guess