6 ms·

>First and foremost you need to stop talking about mathematics. This is why postmodernists are dangerous, you make grand proclamations about things you have no

>First and foremost you need to stop talking about mathematics. This is why postmodernists are dangerous, you make grand proclamations about things you have no idea about. If I really had "no idea" about this subject we would not even be having this discussion and you wouldn't have put so much effort into replying. I admit I am not an expert in pure math, but clearly I have learned enough to talk about it with you and to force you to engage with me. In any case, you seem more interested here in "taking down" what you perceive as postmodernism than critically engaging with the idea that CFG is something that relies on axioms which create rigid structures of logic that are unable to be questioned as they make it difficult to explore areas of math that do not conform to them. You say that ZF-C is trivial but there are significant portions of mathematics research dedicated to finding proofs without the AC and seeing if the AC is even necessary in constructing any axiomatic system, which would have wide reaching implications. I am not confident that the CFG is something that can exist without the AC (but I cannot here prove it), I don't think the fact that someone built a computer which follows very specific rules of interpretation can interpret context-free grammar proves much of anything besides that someone in a certain social context constructed something that relies on that social context. >>then 2+2 can easily equal 5 >This is literally just redefining what "=" means. It is a linguistic amiguity in mathematics that operators are "overloaded". Garbage tier argument. It is not a "linguistic ambiguity," you never specified the context for your claim. The arrogance on display when we are discussing the fundamentals of mathematical reasoning that something as simple as 2+2=4 cannot be questioned or made non-trivial shows that you are committed to a worldview where its more important that things "make sense," than that we critically engaging with those things. Look I am just learning about some areas of pure math recently (like Group Theory referenced above), but I know my set theory fairly well and there was a reason I was using group theory and not set-theory, since it seemed easier to express the notion of a possible algebra where a set containing integers could add to something other than another positive integer that was ordered such that one element (4) would always come as the result of the addition of 2+2. I don't know why I'd express it in a set-theoretical definition when that would clearly be more obtuse than describing it as a cyclic group. The number system is completely arbitrary and you treat it as some sort of holy writ! Don't say "2+2 always equals 4 except in unique circumstances which we all know about but don't question common sense," the core of pure math is questioning commonsensical ideas of what should be provable or possible.

constantcrying 3y ago
>f I really had "no idea" about this subject we would not even be having this discussion and you wouldn't have put so much effort into replying. I admit I am not an expert in pure math, but clearly I have learned enough to talk about it with you and to force you to engage with me. I am ridicoluing you. Everything you said was nonsensical or an inversion of the truth. No second year your would write blatant nonsense like that. Your post is again full of confidently asserted statements that are pure nonsense. >with the idea that CFG is something that relies on axioms which create rigid structures of logic that are unable to be questioned as they make it difficult to explore areas of math that do not conform to them. Idiotic thing to write. Who cares about CFG? It is a part of language theory. Its not even first order logic. The rest of the statement is just bizarre. >You say that ZF-C is trivial You are halucinating. I said every proof in ZF-C is a proof in ZFC. But since you know nothing about mathematics you do not know what that means. >but there are significant portions of mathematics research dedicated to finding proofs without the AC and seeing if the AC is even necessary in constructing any axiomatic system LOL, the question has always been answered. All countable mathematics is fine without AC. You don't even know what AC is about. AC is not neccesarry since ALL finite mathematics do not need it. > I am not confident that the CFG is something that can exist without the AC (but I cannot here prove it), Because you are an idiot. AC is only relevant in uncountable math, it never applies to CFG. Finite AC is like saying "the sky is blue". > I don't think the fact that someone built a computer which follows very specific rules of interpretation can interpret context-free grammar proves much of anything besides that someone in a certain social context constructed something that relies on that social context. You think that because you know very little about mathematics. And because you have no idea what AC or a CFG even is. To everyone with a basic math education this claim is obvious though. > I was using group theory and not set-theory In ZFC the only mathematical object is a set + a few primitives. All statements in group theory are set theoretical statements. 2 is a set + is a set. You don't know this because you are uneducated about mathematics, but every first semester learns this. I could go on further. My critique of you is: You know nothing about the subject, yet you are talking extremely confidently. I really do not care what you have to say, as everything you just said shows a profound lack of knowledge and humility in regards to mathematics. I was very surprised you didn't bring up Gödel, he is the usual goto for pseudointellectuals like you. Please stop talking about mathematics.

constantcrying 3y ago

>f I really had "no idea" about this subject we would not even be having this discussion and you wouldn't have put so much effort into replying. I admit I am not an expert in pure math, but clearly I have learned enough to talk about it with you and to force you to engage with me. I am ridicoluing you. Everything you said was nonsensical or an inversion of the truth. No second year your would write blatant nonsense like that. Your post is again full of confidently asserted statements that are pure nonsense. >with the idea that CFG is something that relies on axioms which create rigid structures of logic that are unable to be questioned as they make it difficult to explore areas of math that do not conform to them. Idiotic thing to write. Who cares about CFG? It is a part of language theory. Its not even first order logic. The rest of the statement is just bizarre. >You say that ZF-C is trivial You are halucinating. I said every proof in ZF-C is a proof in ZFC. But since you know nothing about mathematics you do not know what that means. >but there are significant portions of mathematics research dedicated to finding proofs without the AC and seeing if the AC is even necessary in constructing any axiomatic system LOL, the question has always been answered. All countable mathematics is fine without AC. You don't even know what AC is about. AC is not neccesarry since ALL finite mathematics do not need it. > I am not confident that the CFG is something that can exist without the AC (but I cannot here prove it), Because you are an idiot. AC is only relevant in uncountable math, it never applies to CFG. Finite AC is like saying "the sky is blue". > I don't think the fact that someone built a computer which follows very specific rules of interpretation can interpret context-free grammar proves much of anything besides that someone in a certain social context constructed something that relies on that social context. You think that because you know very little about mathematics. And because you have no idea what AC or a CFG even is. To everyone with a basic math education this claim is obvious though. > I was using group theory and not set-theory In ZFC the only mathematical object is a set + a few primitives. All statements in group theory are set theoretical statements. 2 is a set + is a set. You don't know this because you are uneducated about mathematics, but every first semester learns this. I could go on further. My critique of you is: You know nothing about the subject, yet you are talking extremely confidently. I really do not care what you have to say, as everything you just said shows a profound lack of knowledge and humility in regards to mathematics. I was very surprised you didn't bring up Gödel, he is the usual goto for pseudointellectuals like you. Please stop talking about mathematics.