So it’s an attempt to find certainty by not-looking at things that might cause trouble for rationality.
-
-
Replying to @Meaningness @ReferentOfSelf
“Almost all functions are uncomputable? OK, we’ll just declare those are Not OK, and agree to pretend they aren’t there.”
1 reply 0 retweets 0 likes -
Replying to @Meaningness @ReferentOfSelf
I don’t think this is a good idea. Generally, this approach is harmful:https://meaningness.com/eternalism-considered-harmful …
1 reply 0 retweets 0 likes -
Replying to @Meaningness @ReferentOfSelf
But I am not sure this is what is going on with FP/Coq/constructivism/etc. Sometimes I’m tempted to do the work to form a definite opinion,
1 reply 0 retweets 1 like -
Replying to @Meaningness @ReferentOfSelf
but I figure it is so esoteric that not many people will be harmed, and also that it will probably fizzle out in a decade or so.
1 reply 0 retweets 0 likes -
Replying to @Meaningness
There's the Wildberger sorts who want to just throw out all the uncomputable stuff, but there is a more reasonable position where you...
1 reply 0 retweets 0 likes -
Replying to @ReferentOfSelf @Meaningness
realize that we don't really have an understanding what the relation between this uncomputable stuff has to reality, but that we can...
1 reply 0 retweets 0 likes -
Replying to @ReferentOfSelf @Meaningness
actually go and figure stuff out. On the other hand, there is the fact that restricting yourself like this actually gives you more useful...
1 reply 0 retweets 0 likes -
Replying to @ReferentOfSelf @Meaningness
stuff. There is less of a translation from theory to application. As for the proof verification stuff, that's all about the fact that...
1 reply 0 retweets 0 likes -
Replying to @ReferentOfSelf @Meaningness
proofs are getting so big and intricate that human verification is becoming unreliable. See eg. https://www.ias.edu/ideas/2014/voevodsky-origins …
2 replies 0 retweets 0 likes
Yes, that part at least is certainly valuable!
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.