@Meaningness (rigidity is borrowed from geometry; fewer allowed functions makes your geometry 'stiffer', more makes it 'floppier')
-
-
Replying to @Meaningness
@Meaningness Be interested to see a formalism that, intuitively, starts 'here' and works 'out' rather than goes up from a foundation.2 replies 0 retweets 0 likes -
Replying to @Meaningness
@St_Rev Example from the paper is that Dedekind cuts and Cauchy sequences are *not* real numbers as working mathematicians think about them.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@St_Rev You should be able to just say what reals do without having to specify an “implementation”.1 reply 1 retweet 1 like -
Replying to @Meaningness
@St_Rev Non-standard reals get you that, but you need several metric tons of cast-iron machinery.1 reply 0 retweets 0 likes -
-
Replying to @Meaningness
@Meaningness I don't understand. I guess that's in the article though.1 reply 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.