@Meaningness & if it is a theorem, yay, you now have a definition of 'proposition-existence', show how well it models folk-existence.
-
-
Replying to @Meaningness
@Meaningness My reaction to 3.1 was something like 'you just confused a quotient construction with the underlying object, wat'1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness OK, on rereading 3.1 and thinking about it, I feel comfortable dismissing the entire paper vigorously now.2 replies 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness You can list every idea that can be expressed in a given language, but not in a helpful way, & list won't be finite.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness That's why I said 'can be expressed'. Could perhaps argue that expressible ideas are dense in the set of ideas, like Q in R.1 reply 0 retweets 0 likes
@Meaningness Suppose you have an idea and I can ask you questions about it forever and write down the 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.