Skip to main content
4 events
when toggle format what by license comment
Jan 1, 2024 at 14:09 comment added PPP Legend Thanks it's clear now
Jan 1, 2024 at 14:08 vote accept PPP Legend
Dec 31, 2023 at 13:06 comment added Ali Dastjerdi According to our assumptions our new program would halt only on i. In fact the program encoded by i behaves same as the program encoded by f(i). The reason that f(i) cannot be in K is that f(i) doesn't halt with its own code as input but i does halt on i. If I misunderstood your point please let me know so I can help you make things clear
Dec 29, 2023 at 12:29 history answered Ali Dastjerdi CC BY-SA 4.0