Yes, I think you might be right about that. FWIW, it's 4AM here and I am not fir...

lisper on July 2, 2024 | parent | context | favorite | on: Did Turing prove the undecidability of the halting...

Yes, I think you might be right about that. FWIW, it's 4AM here and I am not firing on all cylinders. I live in the U.S. and politics is weighing heavily on my mind tonight.