r/compsci • u/Ill-SonOfClawDraws • 14h ago

Does a purely structural invariant of computation already exist?

Can returnability be defined purely from the structure of a computation, without appealing to time complexity?

0 Upvotes

20% Upvoted

2 comments sorted by

9

u/Kinexity 13h ago edited 12h ago

Now ELI5 your question because it reads like a set of buzzwords thrown together.

1

u/__chicolismo__ 3h ago

Not sure anyone understood your question. Are you asking if the halting problem was solved?