@St_Rev “any function f: σ→𝛕 defines a bag of 𝛕” seems wrong to me. Not sure what he’s getting at there.
-
-
Replying to @Meaningness
@St_Rev Oh, wait, no, I see. This is actually his main point. He doesn’t mean “defines”; he means “implicitly specifies.”2 replies 0 retweets 0 likes -
Replying to @Meaningness
@St_Rev Given f: σ→𝛕, there’s an obvious natural induced mapping f: 𝛕→N, the count of how many times an element of 𝛕 appears in range.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness That's actually a pretty strong rigidity property, I think.2 replies 0 retweets 0 likes -
Replying to @St_Rev
@Meaningness eg f: R -> [0,1) given by f(x) = x mod 11 reply 0 retweets 0 likes -
-
Replying to @St_Rev
@Meaningness (rigidity is borrowed from geometry; fewer allowed functions makes your geometry 'stiffer', more makes it 'floppier')2 replies 0 retweets 0 likes -
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
@Meaningness But arguably that was a major weakness for 19th century mathematics and Hilbert did everyone a service. IDKlol
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.