Oversimplifying summary: totality checking tells you which things terminate, and which things produce more results. Gluing these together is all you need. Simplifying even more: stop it. Turing completeness is overrated.
-
Show this thread
-
Replying to @andrejbauer
Oh, controversial! My preferred default now is that coverage checking is most important, but also that if a machine doesn't agree a function is total, I at least want to understand why.
2:25 PM - 21 Jan 2020
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.