On Sun, Feb 23, 2020 at 7:12 AM Bruno Marchal <[email protected]> wrote:
*> The BB is computable already with the Halting oracle* But a Halting oracle produces paradoxes, and I don't just mean weird situations I mean genuine logical contradictions. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv0kygvSqQo0WhGOF-2rUQMmGfcoDeEv1FNroE93Lx3bQA%40mail.gmail.com.
