On Sun, Feb 23, 2020 at 7:12 AM Bruno Marchal <marc...@ulb.ac.be> 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv0kygvSqQo0WhGOF-2rUQMmGfcoDeEv1FNroE93Lx3bQA%40mail.gmail.com.
