At its heart, we face a dilemma that captures the paradox of a universe so intricately composed, so profoundly mesmerizing, that the very medium on which its poem is written—matter itself—appears to have absorbed the essence of the verse it bears. And that poem, unmistakably, is you—or more precisely, every version of you that has ever been, or ever will be.
I know what this is trying to do but invoking mythical language when discussing consciousness is very bad practice since it appeals to an emotional response. Also it’s hard to read.
Similar things are true for lots of other sections here, very unnecessarily poetic language. I guess you can say that this is policing tone, but I think it’s valid to police tone if the tone is manipulative (on top of just making it harder and more time intensive to read.
Since you asked for a section that’s explicitly nonsense rather than just bad, I think this one deserves the label:
We can encode mathematical truths into natural language, yet we cannot fully encode human concepts—such as irony, ambiguity, or emotional nuance—into formal language. Therefore: Natural language is at least as expressive as formal language.
First of all, if you can’t encode something, it could just be that the thing is not well-defined, rather than that the system is insufficiently powerful
Second, the way this is written (unless the claim is further justified elsewhere) implies that the inability to encode human concepts in formal languages is self-evident, presumably because no one has managed it so far. This is completely untrue; formal[^1] languages are extremely impractical, which is why mathematicians don’t write any real proofs in them. If a human concept like irony could be encoded, it would be extremely long and way way beyond the ability of any human to write down. So even if it were theoretically possible, we almost certainly wouldn’t have done it yet, which means that it not having been done yet is negligible evidence of it being impossible.
“natural languages are extremely impractical, which is why mathematicians don’t write any real proofs in them.”
I have never seen such a blatant disqualifaction of one’s self. Why do you think you are able to talk to these subjects if you are not versed in Proof theory?
Just type it into chat gpt:
Which one is true:
”natural languages are extremely impractical, which is why mathematicians don’t write any real proofs in them.”
OR
”They do. AND APPART FROM THAT Language is not impractical, language too expressive (as in logical expressivity of second-order-logic)”
Research proof theory, type theory, and Zermelo–Fraenkel set theory with the axiom of choice (ZFC) before making statements here.
At the very least, try not to be miserable. Someone who mistakes prose for an argument should not have the privilege of indulging in misery.
Here’s one section that strikes me as very bad
I know what this is trying to do but invoking mythical language when discussing consciousness is very bad practice since it appeals to an emotional response. Also it’s hard to read.
Similar things are true for lots of other sections here, very unnecessarily poetic language. I guess you can say that this is policing tone, but I think it’s valid to police tone if the tone is manipulative (on top of just making it harder and more time intensive to read.
Since you asked for a section that’s explicitly nonsense rather than just bad, I think this one deserves the label:
First of all, if you can’t encode something, it could just be that the thing is not well-defined, rather than that the system is insufficiently powerful
Second, the way this is written (unless the claim is further justified elsewhere) implies that the inability to encode human concepts in formal languages is self-evident, presumably because no one has managed it so far. This is completely untrue; formal[^1] languages are extremely impractical, which is why mathematicians don’t write any real proofs in them. If a human concept like irony could be encoded, it would be extremely long and way way beyond the ability of any human to write down. So even if it were theoretically possible, we almost certainly wouldn’t have done it yet, which means that it not having been done yet is negligible evidence of it being impossible.
[1]: typo corrected from “natural”
“natural languages are extremely impractical, which is why mathematicians don’t write any real proofs in them.”
I have never seen such a blatant disqualifaction of one’s self.
Why do you think you are able to talk to these subjects if you are not versed in Proof theory?
Just type it into chat gpt:
Research proof theory, type theory, and Zermelo–Fraenkel set theory with the axiom of choice (ZFC) before making statements here.
At the very least, try not to be miserable. Someone who mistakes prose for an argument should not have the privilege of indulging in misery.
The sentence you quoted is a typo, it’s is meant to say that formal languages are extremely impractical.
well this is also not true. because “practical” as a predicate… is incomplete.… meaning its practical depending on who you ask.
Talking over “Formal” or “Natural” languages in a general way is very hard...
The rule is this: Any reasoning or method is acceptable in mathematics as long as it leads to sound results.
I’m actually amused that you criticized the first paragraph of an essay for being written in prose — it says so much about the internet today.