Skip to main content
3 events
when toggle format what by license comment
Jan 14, 2023 at 23:41 comment added Misha @HJRW: No, I even started to write it, but there was always something more urgent.
Jan 6, 2022 at 8:59 comment added HJRW I'm curious about the status of the complementary decidability result in the bit-computability model. Is that written down anywhere?
Nov 15, 2015 at 20:26 history answered Misha CC BY-SA 3.0