@Meaningness It seems to me that it's a mistake to assume in advance that 'exist' has a true meaning to be discovered and explored.
@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.
-
-
@St_Rev Maybe… experience has been that actually trying to turn English into FOPC fails for anything non-trivial. Even for math papers. -
@Meaningness Fails in any practical way, anyway. But I'm just thinking of literally counting possible ordinary-language arguments. -
@St_Rev Yeah but two different sentences can express “the same idea”; but people won’t agree on how similar they have to be to count as same -
@Meaningness Yeah, there isn't a well-defined version of convergence & equivalence. But to me that says 'same idea' isn't fully meaningful. -
@St_Rev Precisely! Which is why you can’t count them. So his saying “to say ideas exist is to say that the number of ideas > 0” is wrong.
End of conversation
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.