program halt-checker
will-halt(prgm): boolean
// hypothetical logic to test if prgm would halt in a finite amount of time
end
end
program fuckery
check(prgm): void
if halt-checker.will-halt(prgm)
loop infinity
else
exit
end
end
end
fuckery.check(fuckery) // 😲
cvanloo Goto Github PK
Name: Colin van Loo
Type: User
Bio: I can resist everything except temptation.
Location: Zürich, Switzerland
Blog: blog.vanloo.ch