eeeeeeeeeeeh kinda but traditional intuitionism is bullshit
-
-
-
-
-
Replying to @kushnerbomb
Well, this deserves some attention. My stance is, you can choose any rules you want. Constructionism isn't right or wrong, it's a *choice*.
1 reply 0 retweets 0 likes -
Replying to @St_Rev @kushnerbomb
Arguing over whether eg the law of the excluded middle is true is a waste of time. Accept it or don't, you're just playing different games.
1 reply 0 retweets 0 likes
Replying to @St_Rev @kushnerbomb
Mathematics is about figuring out which games are interesting, and playing them. The play is empirical, or quasi-empirical.
2:09 PM - 17 Oct 2017
1 reply
0 retweets
4 likes
-
-
Replying to @St_Rev
yeah i don't strongly disagree with any of this. but at least in the stuff i'm interested in, intuitionism gives more useful gameplay
1 reply 0 retweets 0 likes - 1 more reply
New conversation -
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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.
