News
Newest
Ask
Show
Jobs
Open on GitHub
A Structural Explanation of the Undecidability of the Halting Problem in TM
(bfzhao.substack.com)
3 points | by
bingfeng
2 hours ago
0 comments
0 comments