zurew

Typically role model means copying someone's way of life - which usually entails their virtues and morals. But I think the disagreement you guys have is mostly just a semantic disagreement (you guys mean different things by the same word) and isn't a substantive disagreement (I think you guys would mostly agree on the substance , after clearing up the language) - like, I don't think anyone would have problem admitting that Tate has some good traits.

Yes, ad-homs won't have any effect on the truth value of the proposition Terrence Howard put forth. If you read this thread from the beginning , you will see me writing down things that will imply that Howard's character flaws or his inability to establish his proof doesn't necessarily mean, that he is wrong. @nuwu But the main thing is that , what you described above isn't what happened here - He didn't get ridiculed for wanting to challenge math , he got ridiculed for going on side tangents that has nothing to do with the substance of his proof and they are purely rhetorical moves by him. (to avoid engaging with the actual substantive and good faith pusback that he already received from professionals [for example, from Neil deGrasse Tyson]). So yes, if he is using certain rhetorical moves that has 0 to do with the actual substance - I will react to that, and I won't approve of it and I will sometimes ridicule it . Some of you guys might call that bad, but I think it does reinforce certain social norms that push people to use less rhetoric and focus more on the substance. And again, on the opposite end of all of this, I think allowing and enabling him for going on side tangents and allowing using certain rhetorical moves is actually bad and does reinforce certain social norms that I would consider to be bad. @nuwu Notice, what you tried to do - you probably categorized some of my statements as pure rhetoric and you tried to sway me to focus back on the substance. Thats a kind of move im talking about that should be applied on Terrence Howard (and frankly thats what Ive been trying to do by the tool of ridicule). I think its good to enforce social norms like this. In this specific case, his rhetorical move was to blame everything on racism, which again - knowing all the context surrounding his case and how many people have already responded to him with a substantive criticism and given that he has shown no evidence that would indicate racism - that is a ridiculous claim. Sure, the rule Omega - we can do that , but there are certain things that are necessary for a steel-man You have to understand exactly what specific argument or point the other person tries to make, because if you don't, you will just end up creating an argument that the other person won't approve of and will just consider to be a strawman. Its on him to articulate himself well enough so that people can start to steelman his position. We have to make sure that we are talking about a proposition (A declarative statement, that has the capacity to be true or false) - if we are talking about something that don't even has the capacity to be false or true, im not sure what can be steel-maned there. Until now, I havent heard him say anything other than something incredibly vague "math is wrong, because of physics"; which I would consider as a category error . I would put it equivalent to saying "gravity has 4 legs" - thats a category error as well, because gravity doesnt have the property of having legs - so whatever gravity means there, semantically is not the same as what we generally mean by gravity. I can make that category error go away (in the gravity case), but it isn't clear at all whether that would actually cohere to the position what that person originally meant. - I could say, " I have a horse who has a name of 'gravity'"- but that probably isn't what that person originally meant by it. This is why its hard to engage with certain people's criticism who doesnt have a deep enough understanding of the subject they are trying to critique. Because they will strawman the whole field with certain positions and errors that the field doesn't really make or has - but for that to be recognized, one needs to have a proper contextual understanding of the field . (btw this is why I have been asking certain people on this forum to correct me, because there is a good chance, that I don't have some necessary contextual understanding of something that would make some of my statements either false or maybe even make some of my statement not even being capable of being true or false)

No, thats not what normal humans do. Normal humans dont pretend , that there is a reasonable room for disagreement in all cases - normal people very much understand that there is such a thing as a delusion. its only on this forum , where some of you guys pretend that you are completely agnostic about all claims and that you have no priors at all. I already brought you this very straightforward example - If Howard would tell you that he is your father , you wouldn't just say "well, yeah, there is pretty much room for disagreement there and we just disagree" - you would hopefully say: "no buddy, you are delusional" ; or you would hopefully say something that won't just enable or validate him into thinking that you two are coming from equal epistemic grounds regarding him being your father.

Stop, you are hurting my feelings bro, where is the benefit of the doubt? But, yeah true, you are pretty much right; I think there is very much merit in thinking that his ideas were rejected exclusively because of racism - I think we should enable him and ecourage him and tell him that thats actually the case (and we shouldn't ever ridicule him or hurt his feelings, or tell him thats improbable, or ask for evidence - because all of those things are very much bad and has nothing to do with truth, but enabling him endlessly has very much everything do with truth and enabling all his behavour is very much beneficial to him and couldn't ever hurt him)

Guys ,stop virtue signaling about norms that none of you follow. Truth has nothing to do with enabling endless idiocy either and the ridicule was not to establish that his proof is wrong , but to laugh at his implication - knowing all the context and given the lack of evidence for racism. None of you follow the idea that all claims have a 50% probability to be true and 50% to be false - Don't even try to pretend that you don't have certain priors and epistemic standards (if you guys want to , go ahead and show how in this specific case would be reasonable for him to assume racism as a reason for people rejecting his proof) I doubt that you two reject ridicule in principle. And if you do, I disagree with that ,I think there can be good arguments made why ridicule is good or beneficial or appropriate ( given certain contexts) and being an enabler all the time is bad. Now,im sure Salvijus, that you would give a 50% probability to all the claims that Howard says and you wouldnt ridicule him for any of them. Even if he would say that he is your father - you would go "hmm ridiculing is bad , and I cant 100% exclude that possibility,because no DNA test is completely bulletproof, so he might be right" And Nuwu, ridicule is very bad, but immediately throwing around the label of "narcissist" at multiple people on this forum ( not just this time but in the past) is cool, even though I doubt you could substantiate it . Which I dont care you can go ahead, but its nonetheless interesting, regarding applying your standards in a consistent way, because your standard about being charitable and giving the benefit of the doubt suddenly vanishes there and you choose one of the most negative interpretations from the possibility space of all logically possible interpretations.

Give what the benefit of the doubt? That his math proof was rejected because of his race? Of course im going to ridicule him for implying that, given that we already know the context around him and around his "math proof " and given that he didnt provide any evidence that would even remotely establish that he his idea was rejected because of his race or skin color. And btw speaking of narcissists - the idea that his first go to is assuming racism rather than actually entertaining the idea that people reject his proof because he is wrong - is nothing other than him being maxxed out on narcissism.

Neil deGrasse Tyson must have been deceived as well by white multiplication - thats the only possible reason why he rejects Terrence Howard's genius math.

"Jim Crow laws of mathematics" Lmao

You are awake, when you start to talk informatively like :

Here is a question to the math and logic folks: Im not sure whether the following conclusion necessarily/inevitably/deductively follows from the second incompletness theorem or not, because I have seen that theorem phrased in different ways and it is a little bit confusing to me how to apply negation to it properly. Because I understand, that under classical logic , its easy to just apply negation to a statement (if it is phrased in a clear way) and get what deductively follows from it. So - When you have a sufficiently complex system that can prove its own consistency, does that system necessarily have to entail contradiction or not? Some things that I ve gathered from the second incompleteness theorem so far: 1) there are sufficiently complex systems that cannot prove their own consistency, but just because they cannot prove their own consistency doesn't deductively follow that they are inconsistent (I have shown examples of this in my previous posts, where a system's consistency was shown by another system). 2) Sufficiently complex Inconsistent systems can paradoxically prove their own consistency, but this is the part im unsure about - just because sufficiently complex inconsistent systems can prove their own consistency, doesn't necessarily mean that only inconsistent systems are capable of proving their consistency (Only inconsistent system being capable of proving their consistency maybe deducitvely follows from the second incompleteness theorem, but im not sure of it yet, this is why im asking whether it does or doesn't follow from it deductively) Leo btw this is why I was pushing back on this specific thing, because it was unclear to me whether this: "sufficiently complex system that can prove their own consistency, necessarily have to be inconsistent or in other words necessarily have to contain a contradiction" deductively follows from the second theorem or not, because if it does, then I will obviously concede this to you (but it isn't obvious to me whether it is inductively or deductively follows from it , this is why I was asking you im my previous post to show how it follows deductively) If its unclear what Im asking I will try to rephrase it.

Im not sure I undestand exactly what you mean by absolute consistency. Do you mean something like a system is absolutely consistent if it can prove its own consistency within itself (without any need for an outside system to prove its consistency)? and by relative consistency I assume you mean a system that cant prove its own consistency within itself, but its consistency can be proven by another system.

Thats an interesting cheap shot from someone, who still doesn't have an understanding of prop logic and what a valid inference is (it would literally take you roughly 2-3 days to learn it , but you still refuse to do it). Being a critical thinker doesn't mean making logical jumps and just freely inferring whatever you feel like will confirm your underlying biases - it means rigorously and extremely carefully investigating the logical entailments and implications of a statement or of a conclusion - regardless if that confirms or undermines your existing biases or beliefs. Speaking of confirming ones underlying biases Leo, you are either intellectually dishonest (you are not honest about the limits of your argument - meaning you know that the philosophical implication you are talking about is not based on a deductive inference or in other words, the conclusion of your inference doesn't necessarily or inevitably follows from the incompleteness theorems) or you don't have an understanding of whats the difference between a deductive an inductive and an abductive inference and because of it, you think your inference is more powerful than it actually is. You should learn from Gödel , because he was actually intellectually honest about the limitations regarding the inference that he made about his own theorems' philosophical implications ( he didn't pretend, that his conclusion about philosophy deductively follows from the incompleteness theorems): As a sidenote: The philosophical implications are still very much argued and nothing is settled on this as you originally tried to imply. Now I will somewhat address your statements about "technical details" and how you labeling yourself as a big picture thinker won't get you out of the trouble and won't excuse your mistakes: There is this weird idea in your mind, that if you are a big picture thinker, you don't need to apply any rigor in your thinking anymore and or that you can just get away with making loose inferences. You and some of the people on this forum mistake rigor to mean something like - " focusing on all the irrelevant tiny details, regardless if that has almost no effect on the big picture or on the given proposition that we disagree on ", but thats just wrong and false. Being rigorous means indentifying all the relevant details (relevant there means: details that could change the truth value of a given proposition) and then carefully going through each and every one of those relevant details and investigating the logical relationships between those details. You can make valid and invalid inferences and If you care about making valid inferences (valid there means that it is impossible for the premises to be true and the conclusion to be false) and if you care about reaching valid conclusions about big picture propositions - you better apply as much rigor to your thinking as possible. If you are not rigorous, you will mistake an invalid inference for a valid inference ( invalid inference - where the conclusion doesn't inevitably/necessarily follows from the premises - in other words, invalid inference is when there are logically possible scenarios where the premises that you infer from are true and your conclusion is false) Or if you don't want to hold yourself to such a standard, where you only let yourself to exclusively make deductive inferences, then you should be very honest and aware about the limitations of your non-deductive inferences. Now to clear up why I asked for a source: The reason why I asked for citation or for a reference is because you have made some claims and then tried to use the incompleteness theorems as a justification for some of those claims . We have to be clear and careful - there is a giant difference between a source explicitly confirming something and between you making a loose inference to confirm your bias using a premise from the source (unless it is a deductive inference) . Now, in this specific case, the actual reason why thats problematic, is because the incompleteness theorems literally contradict (its not that they don't explicitly state some of your conclusions , and that your conclusions in principle could be inferred from the incompleteness theorems, but they literally contradict) some of your claims. So one claim that they contradict is this: Both the Peano arithmetic and ZFC are considered to be very powerful formal systems or in your words: "they are capable grasping a significant amount of reality" and none of them are inconsistent/contain a contradiction as you assert that they should inevitably become inconsistent. So both of those examples directly contradicts your claim that "If your formal system actually tried fo grasp any significant amount of reality it would contradict itself." Now, it is possible that you mean something different compared to what mathematicians mean by a 'powerful enough' formal/axiomatic system ), but then again, you come back to the issue of this: You cannot pretend that these theorems are directly justifying your philosophical biases unless, you can spell out a deductive inference (which I very highly doubt you can) that ends with whatever philosophical conclusion you want to get out of this. Just as a sidenote , to me this just seems like a desperate attempt on your part to use the incompleteness theorems to try to justify some of your philosophical biases and thats why you don't want to admit that you are wrong and that you have made some incorrect statements. If your conclusions from this would deductively follow I would have 0 issue with it or if you would admit that your conclusion does not necessarily/inevitably follow I would also have 0 issue with that. Just be intellectually honest and be rigorous. Regarding the self-reference statements, I would be curious what would be the issue with these: 1) Set of all sets (S), where S contains itself 2) "This statement is true" If there isn't any issue with the two above, then we have to sleep with the conclusion that not all self-referencing statements will inevitably lead to a paradox, just only a subset of self-referencing statements.

@Leo Gura Whatever you are referencing there cannot be found in any of the two Gödel incompleteness theorems ( in fact, I already showed you a counterexample in my previous post). I linked you two separate links there (one is wiki and the other one is SEP) and highlighted the main things. Now, its possible that you are talking about something that im not familiar with, but Im confident that whatever inconsistency you are talking about there, cannot be found in any of the 2 Gödel's incompleteness theorems and if you think it can be found there - show me where, please. Or if you want to change your position to "yes, okay, I was wrong, it cant be found in none of the 2 Gödel's incompleteness theorems" Im okay with that also, just show me something that substantiates this claim "Self-reference will always make your system inconsistent."

I would slightly disagree with this and would say that he isn't just making a slight language mistake there (like I am not getting hung up on little semantics), but his main point is basically wrong . (claiming that something is inconsistent is substantively different from the claim that a system cannot prove its own consistency within itself) - those are two completely separate claims and not even remotely similar in meaning and in implications (imo). Okay, I won't drag you into this debate with Leo , i was just checking whether you had any disagreement with me since you have a much higher understanding of math than me and you have been making substantive points throughout the whole thread.

@Ero Do you have a disagreement with any of this? (feel free to call out the bullshit, don't hold back) Or if you prefer wikipedia:

Lol this thread has become a high school (and at certain periods an elementary school) math boot camp. @Nemra I don't know how you have this much patience - hats off to you.

@Leo GuraSo in other words, from system's inability to prove its own consistency doesn't necessarily follow, that that system is actually inconsistent ( at least thats my understanding). Or if you prefer wikipedia: Leo, Im sorry but the truth is that you either have a wrong understanding of this specific subject (based on what I have read on this, feel free to prove me wrong) or you are using very imprecise language (claiming that something is inconsistent is substantively different from the claim that a system cannot prove its own consistency within itself - thats extremely imprecise language and thats being charitable towards you, because if any other person would make this big of a miscommunication, my assumption wouldn't be miscommunication, but my assumption would be that the other person lacks the understanding and thats why hes/she made a demonstrably false statement). Now, its obviously possible that I lack some contextual understanding on this, so feel free to prove my interpretation of the above texts wrong or feel free to point out how it ought to be interpreted and why.

Sure, but all of these limitations are directly applicable to your epistemology as well. Framing it this way is misleading, because my understanding is that both incompleteness theorems are only talking about provability and not about making "is" statements - so the system won't necessarily become inconsistent, it is just that you cannot prove within the system that the system itself is consistent (you need to go outside of the system in order to prove or disprove that system's consistency) - which is different from claiming that the system is inconsistent (because one is a truth claim, the other is a jusification[in this case investigating the limits of proving and proofs] and the truth value of a truth claim can be true or false regardless if I have the ability to prove it or disprove it). So in other words, from system's inability to prove its own consistency doesn't necessarily follow, that that system is actually inconsistent ( at least thats my understanding but I can be wrong).

Leo, you were changing your claims on the go as you realized ,your claims doesn't make sense or hold up. Starting with "all formal systems are contradictory" to "all formal systems with enough complexity are contradictory" to eventually making a difference between a contradiciton and incompleteness. I see no statement or implication of incompleteness here, I only see the assertion of inconsistency.

I think conflating those terms is a pretty big deal and shows a lack of understanding. Anyone who has a surface level understanding of basic logic wouldn't ever conflate incomplete with inconsistency . How can he make a video on this and not understand the meaning of those terms is baffling to me.

Im surprised that Leo would make such a statement that a finite system necessarily have to contain a contradiciton, when he did make a video about Gödel's incompleteness theorem himself. It seems that he either forgot or wasn't familiar with the "incomplete" option or he is being very vague and unprecise with his words again.

Im not sure what specific challenge you talk about. A Paradox comes with a specific challenge, but not all self referential systems entail a paradox , thats just a subset of the self referential systems.

I am familiar with the liar's paradox. Whats the argument you are trying to make?

A=2B 2A=4B A+2B =2A Show whats the "higher inconsistency that comes up here

"Look guys I have an idea how to revolutionize math, but I don't have an elementary understanding of math." How you manage to not cringe at your own self is impressive. You don't understand that 2^ 0=1 is not an axiom, its an entailment that comes from dividing a number by its own self equals to 1.