@St_Rev Yes, exactly. The paper is “good” because it at least makes that assumption explicit; everyone else does it without thinking.
@St_Rev Maybe… experience has been that actually trying to turn English into FOPC fails for anything non-trivial. Even for math papers.
-
-
@Meaningness There's a straight analogy there to terminating vs. infinite decimal expansions, that's all I'm saying. -
@St_Rev Understood, but sentences and ideas don’t correspond; it’s many-to-many; and no agreement about details of relationship. - 2 more replies
New conversation -
-
-
@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 - 2 more replies
New conversation -
-
-
@Meaningness Suppose you have an idea and I can ask you questions about it forever and write down the conversation.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Meaningness Any real discussion corresponds to a finite string from a finite alphabet; if we can argue forever it's infinite strings.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.