Insisting on finiteness us the wrong approach, even though finite approximations are all that can ever be practically used.
-
-
-
Replying to @The_Lagrangian
even though your computer is a finite automaton, it is not useful to think of it in these terms (?)
2 replies 0 retweets 0 likes -
Replying to @ValueOfType
it seems most useful for resolving things like the Halting Problem (not a problem if you restrict # of program steps)
2 replies 0 retweets 0 likes
Replying to @The_Lagrangian
I would count that as "filtration of the infinite by finite subobjects", not" insisting on finiteness"
11:55 AM - 16 Sep 2016
0 replies
0 retweets
0 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.