# JeffJo

Senior Members

44

1. ## problem with cantor diagonal argument

Mathematics does no recognize a "conventional for for a list." What you describe is just a convenient graphical representation of bijection. It has no significance. Cantor defined a string in the exact same way every other string he uses is defined. Each is a function mapping N to {'m','w'}. You are twisting it to make statements that are not true. There is no "A-list" or "B-list" except in your misrepresentations. Cantor uses another function from N to his set M, of all such strings. There is no division. He ignores nothing, because "If E0 is missing, so is D" is not true. 000000000000... 100000000000... 110000000000... etc. D is the first element here. Cantor never limits the set he uses to being a proper subset. The only restriction on what you call M1is that it is countable. You have proven nothing. You have thrown words at Cantor's proof that have nothing to do with it.
2. ## Clouds changing color inside rainbow arch

The effect you describe is probably what is called a glory, or spectre. See https://en.wikipedia.org/wiki/Glory_(optical_phenomenon) To understand rainbows and many similar (but often unrelated) effects, start at https://atoptics.co.uk/rainbows/primrays.htm . If you move the slider, you can see how the white incoming ray separates between red and violet. But also and how that separation has nothing to do with the location of the "angle of minimum deviation" or "rainbow angle" as described in this authoritative text. But I'm getting a little tired of the people here who are less interested in a scientific approach, as much as conforming to what they learned. No matter how clearly it is contradicted by actual facts. LIke http://www.trishock.com/academic/rainbows.shtml I'm glad you agree. But this isn't a vote, it is fact. And yes, the path description holds when angles A and B apply, whether or not the function obeys Snell's Law. But another fact is that when it applies to rainbows, it always does obey Snell's Law. So such speculation is moot. The correct deviation depends on Snell's Law.

6. ## problem with cantor diagonal argument

As I said before, anybody who doubts the result. Yes, they are cranks. Yes, I want to make this point clear to show why such cranks are wrong. I'm talking about the version that gets taught, the one that starts "Assume you have a list of all of these strings (or real numbers in [0,1])" and ends with "This contradicts the assumption that all of these strings is in the list." Take the word "all" out of it, and the steps of the proof all work the same except that no contradiction is found. This doesn't prove, yet, that it is impossible to have a complete list. But that proof isn't far. No, it really isn't a valid proof-by-contradiction this way. But as Cantor did it, without that word, the corollary is a valid proof by contradiction. It is imperative for you to understand this. No, he said that an algorithm like that was an example of something that is "determinate." So was a Law. He did not require "determinate" to be either of those things.

8. ## problem with cantor diagonal argument

I never said it was anything other than "fine." The point is that what is usually taught as CDA is this: Assume that a list of the entire set is possible. Prove that any list is missing an element E0. So that wasn't the entire set, as assumed. (Revisit this below) This contradiction disproves the assumption. This is invalid as a proof by contradiction, since the "assumption" that the entire set was in the list is not used to derive the supposed contradiction. So it isn't a contradiction, but it is a valid conclusion if you ignore the claim that it was assumed. But the actual proof is: For any countable subset that exists. Prove that this countable subset is missing an element E0. It follows that the entire set is uncountable, since E0 would have to both be in, and not be in, the set. And the reason this is important, is that most objections to the proof revolve around the point I asked you revisit. The "missing" string can be put into the list, so it isn't a contradiction. These doubters can't be reasoned with as long as they misinterpret the proof, and phyti is an example. He won't let go of that point. The reason I keep stressing that the "content" of CDA is not uncountability, is that one way to characterize this misinterpretation is that CDA actually depends on the argument itself being about a countable subset of M. Which I told you many times; you were also holding on to a misinterpretation of the argument, and only changed it when you read the logicmuseum translation. You were distracted from it by your objection to the Russell translation, missing the points that (A) Russell never required a Law but (B) translated every other part faithfully, including the removal of words like "manifold" that you object to. Which was my point in quoting it. The difference is: We need some gymnastics for that mapping to become a bijection, since in the trivial mapping "100000..." and "011111..." both map to "1/2." Many of the consequences that one could be tempted to put forward will deal with actual properties of numbers, which Cantor explicitly said have no part in the proof. And he is right. There is a better analogy. Let the 0's and 1's be "false" and "true." Each infinite string of 0s and 1s then defines a unique subset of the natural numbers. This way, CDA is an example, for infinite sets, of Cantor's Theorem. That the power set of any set A has greater cardinality that set A itself. The Theorem is trivial for finite sets, but it as important to show that it is true for an infinite set.
9. ## problem with cantor diagonal argument

Cantor uses the set of all infinite-length binary strings, in the form he called En. He calls this set M. He also says that the proof does not utilize the properties of irrational numbers, something his 1875 proof was criticized for. This is why I do not use numbers, especially if the arguments resort to properties (like yours do). Turing has defined "Law" in such a way that the subset of M that can be generated by Turing's Laws is countable. Call this set T. Russell did not refer to T; in fact, he could not, since he did not know Turing's definition. Nor did he know that attempting a definition might make the set countable. I'm saying that this is irrelevant. RUSSELL DID NOT REQUIRE "LAWS" BY ANY DEFINITION, LET ALONE TURING"S "LAWS." He suggested that a law might be used to generate strings in what he called "some determinate manner." All he required was "some determinate manner." Call this set D. He clearly did this so that, for string En, he could say whether an,n was an "m" or a "w", rather than either an "m" or a "w". But we can make a list of T and a apply diagonalization to it to get a new string. Russell clearly thinks this process is using "some determinate manner" for generating a string. So what Russell would think, if he knew of Turing's work, and I'm not bothering to learn LATEX so "<" means a subset, is T < D <= M All I'm trying to say is that Russel's "oopsie" is in not recognizing the possible difference between D and M. Not between T and D. And that if this ill-defined D is a strict subset of M, it is uncountable by the proof being discussed. I'm not saying that D is well defined by modern standards, or that Russell needed this step. I'm only saying that it doesn't invalidate the proof, and isn't a "howler."

11. ## problem with cantor diagonal argument

His "method" applies to any list that can be formed. The method by which is is formed is not relevant. Please, define what you think "complete" means here. Because it isn't what Cantor asked for.

13. ## problem with cantor diagonal argument

Massaging Wikipedia's informal definition (from the introduction) of a computable number, a computable string "can be computed to any desired number of characters by a finite, terminating algorithm." Russell's restriction was "[The characters comprising the strings E] are each [calculated by] some determinate manner ... which insures that the E’s of our series are all different." You are the one who translated this very non-specific statement into "computable string." I do not disagree that the set of all computable strings, which I will call L1 (I trust you can see where I am going) is countable. So there exists a bijection between L1 and the set of all natural numbers. What CDA says is that there is a string E0 that is "determined" from this bijection, that is not in L1. Which means that it is not computable. My point is that this string E0 can satisfy Russell's intended restriction, even though it cannnot satisfy yours. It is found "in a determinate manner" as described by CDA. So there is another set L2 where every string meets Russell's restriction, but some do not meet yours. Your L1 is a strict subset of L2. L2 may, or may not, be all of Cantor's M. It may, or may not, have a useable definition. But if it does, it is uncountable. No, my argument here is that you are adding meaning to Russell's argument that he did not intend. For the obvious reason that the concepts required for this added meaning would not be developed for decades. My argument is that you can't blithely translate his vague statement into a formal definition that was beyond his time, and then turn that formal definition back on his vague statement to claim it invalidates his informal proof. He did not define what he meant by "some determinate manner" because he did not know, envision how, or care if it could be done. He was merely saying that one could "determine" every character an,n and subsequently every bn. Yes, there is a character in each randomly-accessed position, and we don't need to "know" it to say we can invert it. But the difference between knowing it is there, and actually having it for such manipulation, is close to the subject of the Axiom of Choice. Again, not my area, but I don't know how well Choice was understood in Russell's time. My impression is that he wanted to advance the known state of the diagonal character an,n above "we know it is there and everything it can be." And that is Choice, as I understand it. +++++ But my main point is, and always has been, that the set of strings in the list used in the actual "diagonal argument" part of the uncountability proof is not the entire set M. What I consider to be "CDA" does not mention whether M is, or is not, uncountable. That's in a corollary. And to avoid drivel like what phyti spouts, we should make this clearer in all discussions of CDA. So: wtf: "How many countably infinite strings (decimal or binary makes no difference) are there? Well, there are uncountably many. That's the content of Cantor's diagonal argument." No, that's the content of the corollary to CDA. CDA: Any countable subset of M, the set of all infinite-length binary strings, necessarily omits a string E0 that is in M. Corollary: M is uncountable.
14. ## problem with cantor diagonal argument

He does if it is to be a defined object whose properties are required. Sure, if you want to call it that. Cantor doesn't, and no properties associated with "geometry" are required by any object in the proof. By this standard, he is also using vectors. Also unimportant. Cantor uses a "partial list" because that is what his proof needs at that point. You refuse to understand this, which is why you will never understand CDA. He uses it to prove only: "If E1, E2, …, Ev, … is any simply infinite [einfach unendliche] series of elements of the manifold M, then there always exists an element E0­ of M, which cannot be connected with any element Ev." Please identify the words that you think support this in Cantor. Or Russell. Or Wikipedia (which, incidentally, includes the note "Cantor does not assume that every element of T is in this enumeration." So, do you want to admit that you do not understand infinite sets? The complete set of all natural numbers can be ordered, and has no last member. I'll skip your incorrect analogies based on this fallacy. I didn't ignore it. I explained why I could dismiss it. But again: Every string in Cantor's sequence of strings is identified with a unique natural number n. Cantor's string b1b2...bn... differs from the string identified with n in position, and so is different that every string in this sequence of strings. So it is not in this sequence of strings. This method explicitly rules out any possibility of a duplicate.
15. ## problem with cantor diagonal argument

And I still think you do not understand my point. Which was only that "Russell's restriction of the elements of the list" does not invalidate the construction of such lists. Not that there can't be an issue with the uncountability proof, WHICH IS A COROLLARY TO CDA. And the reason for making this subtle distinction, between CDA and this corollary, is that almost every objection to CDA that I have seen is based on misunderstanding it. The sets used in the "diagonalization argument" part of the proof, are always sets that are denumerable. The full set M may or may not be. (And btw, M never contains real numbers, and CDA never mentions real numbers in any context except to say they aren't used. I know that there are relationships between the two, but I feel the discussions of CDA need to be about strings.) So a restriction that limits these lists to denumerable sets is not, by itself, a problem. But I also said that Russell went too far by stating this restriction, because we now know that there elements in his set M that cannot meet the restrictions. What I said was that his restrictions seemed necessary to him at the time he wrote it, in order to have access to all of the characters an,n. Where the potential problem lies is in the difference between L, the set of strings that can be found by his laws, and the set M that contains all strings. This isn't my area, but by my understanding what CDA (the actual argument, without the corollary) says is that applying diagonalization to any infinite list containing elements of L will produce a string that is not listed. Whether or not this string is in L is open to debate as far as I know, since it is "found in some determinate manner" but not in a finite number of steps like what your objection is based on. Maybe this is where we aren't seeing the objection the same way? If it is in L, it proves that L is uncountable, as shown in the corollary. The L that you think his restrictions define is countable. So the "finite steps" part seems like the issue. All that theory comes post-Russell, and I agree he didn't know the ramifications. Or consider that there could be. I just don't think your arguments apply in the way you think they do. But I remind you, again, that this proof was never meant to be a formal proof. It is an example of Cantor's Theorem, that the power set of any set A has a greater cardinality than set A.
16. ## problem with cantor diagonal argument

No you didn't. You read looking for something you wanted to see, and you added it. My interpretation is exact. Yes he did. But a better description is that row u is the "element" Eu that is a string in the set M. (And note that he mixes u and v up sometimes). What you want to add seems to be that every element of M is associated with a natural number u, and that simply is not true. Cantor's "sequence" is the list E1, E2, …, Eu, … . It is not a string - he never uses that word, but modern version do for what Cantor calls an "element." In other words, "sequence" and "string" mean different things, so this is a very confused statement that dose not correspond to Cantor. No, the coordinate pair (u,v) references either an 'm' or a 'w'. If you want to use Wikipedia, they don't refer to coordinates, per se, but do use '0' and '1'. If you ant to claim you are using Cantor, please stick to one nomenclature, or indicate (as I try to do) which and how it fits with the other. I have no idea what this gibberish (and what follows) is supposed to mean. Why does '9' get into it? This bears no relationship to anything Cantor did. This does: For proof, let there be E1 = (a1.1, a1.2, … , a1,v, …) E2 = (a2.1, a2.2, … , a2,v, …) Eu = (au.1, au.2, … , au,v, …) …………………………. where the characters au,v are either m or w. Meaning: E1, E2, ..., Eu ... is a list of elements from M. Not a list of every element in M. I call this set of Eu the set E. It is a subset of M, but at this point it may be an improper subset (meaning all of M). Then there is a series b1, b2, … bv,…, defined so that bv is also equal to m or w ... ... if av.v = m, then bv = w And by implication, if av.v = w, then bv = m. Meaning: This is a new series of characters that fits the definition of an element in M. Cantor calls this new element E0, not s. But, while Wikipedia does call it s, it is not your s. Yours starts at "coordinates" (11,1). This really doesn't matter, except that you are not using Cantor. then one sees straight away, that the equation E0 = Eu cannot be satisfied by any positive integer u. Meaning: E0 is not in E. But, from above, it is in M. This is not a contradiction, since nowhere, so far, does Cantor say E=M. This proves the "proposition" that CDA wants (and I fixed the mixed-up uses of u and v): If E1, E2, …, Eu, … is any simply infinite series of elements of the manifold M, then there always exists an element E0­ of M, which cannot be connected with any element Eu." That's it. That's CDA. It does not do this: There is no "geometry" in Cantor. You can't find any words in Cantor that have that meaning. What you refer to is, indeed, the visual aid you claimed others use. Cantor never draws a diagonal. Not one starting at (1,1), nor one starting at (11,1). There is no property associated with being a "diagonal," other than it also being a string. You can't find any words in Cantor that "define it as a different thing with different properties." In fact, the closes he comes is to say it is the same kind of thing. I left that out above so I could put it here: Then consider the element E0 = (b1, b2, b3, …) of M, These b's come from the characters you can find along a diagonal (but again, Cantor never used that word). Now, if you think any of this is wrong, please point to the words in Cantor that confirm your opinion.
17. ## problem with cantor diagonal argument

I don't think I emphasized this lie enough in my point-by-point debunk of phyti's complete misrepresentation of CDA: As a recap, Cantor first defines the set M. (I'm adding the emphasis - bold italic - to indicate an infinite set. This distinguishes the symbol for a set from those representing its elements.) It is the set of all possible binary strings. He is consistent in calling each such string an "element," not a "sequence," and he uses either E or Ev (where v is a natural number) for these elements. What Cantor does, is first say that that he is using only a subset of M, which I call E, that has the property that it can be put into an infinite list E1, E2, ... Ev, ... . Cantor never says whether this set E does, or does not, represent all of M. Only that it is countable. Phyti seems to think it does, and keeps implying that E=M without having the integrity to come out and say that this is what his claims are based on. Cantor then uses the algorithm that was, only after his proof, called his" Diagonal Argument." Or CDA. He uses it to construct the element (or string) he names E0: "Then consider the element E0 = (b1, b2, b3, …) of M ... " (you all know the rest). Please note that Cantor explicitly says that E0 is an element of M. This fact can't be missed. What phyti is lying about (I don't believe that he lacks the ability to understand this, so he must be intentionally misrepresenting it) is this: "The equation E0 = Ev cannot be satisfied by any positive integer v." In the quote at the top of this reply, phyti is claiming that in this sentence "Cantor declares E0 is not in M." Cantor is not saying that. Cantor is explicitly saying that E0 is not in E, the set listed in E1, E2, ... Ev, ... . The only way phyti's interpretation is true, is if we require E=M. That is never a requirement in the proof. If we admit that it is not in the proof, phyti's entire argument evaporates. The lie is refusing to recognize that (A) Cantor defined E as having elements from M, not being equal to M, (B) Cantor makes this crystal clear by saying that E0 is in E but not in M. and (C) then having the audacity to insist that Cantor is saying that E0 both is, and is not, a member of M when no such statement is made. in this part of the proof. It is made later, to prove that any that E meets the countability requirement cannot ever be equal to M. In other words, the very contradiction that phyti claims debunks CDA, is what it uses correctly to prove that there are uncountable sets.
18. ## problem with cantor diagonal argument

"It", meaning the diagonalization process, is about what subsets (and subsets can be "improper," meaning they equal the parent set) of Cantor's set M can be put into a surjection from the set N={1,2,3,...v, ...}. That is literally what this means: "If E1, E2, …, Ev, … is any simply infinite [sequence] of elements of the manifold M ..." What "it" is about, is the conclusion he proves, and that you doubt: "... then there always exists an element E0­ of M, which cannot be connected with any element Ev." What "it" is used for, is this corollary: "From this proposition it follows immediately that the totality of all elements of M cannot be put into the sequence: E1, E2, …, Ev, … otherwise we would have the contradiction, that a thing E0 would be both an element of M, but also not an element of M." What CDA is not about, is anything Cantor said in a paper about his philosophy. This is a different paper entirely. Drop it. A list is not the same as a set, and it is not "only a visual aid." It is the tool by which Cantor constructs the element he calls E0. A list is a surjective function from a set of consequential natural numbers {1,2,3,...v} or {1,2,3,...v...} to the set of interest. It usually is injective also, but that is not necessary here. And, while it may seem to be implied, Cantor did not require it. Russel did. Your issue is that you do not understand CDA, and you find it non-intuitive. So you look for statements that could be wrong without bothering to verify that those statements exist in CDA. They do not. These statements are part of the narrative describing what he wants to accomplish, not the proof itself. Regardless of how you choose to misinterpret them, they have no bearing on the errors you think you see. Sure. Irrelevant to CDA, but they can. The more appropriate division of sets are E, (my name for the subset he puts into a list; that is, E1, E2, E3, ..., Ev, ...) and M-E, the elements in M but not in E. The important observation is that E is countable, but at this point M and M-E may or may not be. By using the list structure you called "only a visual aid", Cantor constructs an element E0 that is proven to not be in E. It is not a sequence, it is an element. It is member of M but not a member of E which is put into a sequence. No error here. Get the terminology straight. Cantor calls the members of M "elements," not "sequences." Another possible name is "string." "Sequence" means the list of these elements that make the list you deny is important. There is no meaningful context for orientations of sequences, or strings. No error. Exactly. This word "diagonal" has no meaning to the proof. It is only the visual aid you misinterpret. No error. The contradiction is not a part of diagonalization. It is the "corollary" I listed above.
19. ## problem with cantor diagonal argument

You don't need to explain - I understood it from the start. You are not understanding mine. The restrictions Russell places, are placed on elements that he requires to comprise a countable set. Your objection is misplaced, because what you object to is that he cannot generate an uncountable set under those restrictions. That is irrelevant. In what way does describing how to generate a countable set invalidate the countable set that is generated? I'm not trying to "get the last word." I am asking a legitimate question about what you keep repeating. I am pointing out exactly what I think it is that you are either not seeing, or ignoring. CDA only ever makes use of a countable set. CDA proves that any such countable set cannot be the full set M (whose countability is not yet determined). Only after drawing a conclusion about countable sets, does Cantor conclude that M is uncountable. Because any subset that is countable - and as you seem to admit can be generated by the rules he described - is missing at least one element of M. And again, since you keep missing it, the rules Russell describes are never associated with the entirety of an uncountable set. No, you have discussed it for a version of that passage that is different than what Russell wrote. I don't know how I can make this any clearer: Russell's passage describes a countable set. Literally, "For let us take any denumerable collection of E’s..." The passage places restrictions on how to generate this countable set. The only place these restrictions are used is for this "collection of E's." You say it is an error because these restrictions cannot generate an uncountable set. I understand why it would be an error, if the passage was trying to generate an uncountable set. I don't understand why you think it is an error when it only needs to generate a countable set. I am suggesting that you, like phyti and what I believe is at least 99% of the people who think they understand CDA, do not fully realize that CDA is only ever applied to a countable set.
20. ## problem with cantor diagonal argument

Nor will I call Russell's restrictions on how to set up the first part of that a "howler" simply because you think they don't allow for the list to be uncountable. They are supposed to do that, in part #1. I do think it wasn't necessary to do so, all he needed was to establish that (A) such lists were possible and (B) we can reference the nth character in the nth string.
21. ## problem with cantor diagonal argument

I've described it several times. The "diagonal argument" in CDA is the proof that any countable list of infinite-length binary strings will necessarily omit at least one such string. This does not mention the set of all such strings, that Cantor called M and Wikipedia called S, except to say that the constructed string is a member. It does not mention "uncountability" in any way. The content you refer to is not in the argument. It is in the follow-up. Yes, I am making a fine distinction. No, I don't think you misunderstand this distinction at its core. But I believe it to be the point that every "Cantor Doubter" falis to understand, because the two arguments Cantor made are usually taught as one. Like how phyti misunderstands it. And continues to demonstrate the misunderstanding. You can see it, three posts higher, in his claims about being able to add the string he called "sx" to the list he worked with. He is still thinking that the listed set is "supposed" to be M, and he is claiming that any alleged "missing" string can be put into this "supposedly complete set." So that this disproves the uncountability of M. He somehow can't, or won't, recognize that the listed set is not supposed to be M, so adding sx to the listed set has no significance. All I'm trying to make clear is that the "content" you refer to, as CDA, is the first of these two, separate arguments: Any countable set of infinite-length binary strings (Ei, for all i>=1) will necessarily omit at least one such string E0. The complete set of infinite-length binary strings, M, must be uncountable; otherwise, there would be a string E0 that both is, and is not, in M. Note that the "contradiction" usually associated with CDA, with these two arguments combined into one, is that the "assumed to be complete" set M is found to not be complete. But the contradiction Cantor actually used in the second argument only is about E0, not M. And no, I won't apologize for Cantor not making this distinction clearer. THIS IS NOT THE THEOREM HE WANTED TO PRESENT. It is an example of that theorem. It is an example of how the power set of an infinite set like N={1,2,3,4,...} cannot be put into a bijection with N. Find the rest of the same paper to see its proof, which is far more formal.
22. ## problem with cantor diagonal argument

Bzzzzt. Wrong. Read it again. The diagonalization algorithm uses elements from M, but is "within the context" of a subset that is known to be countable. But thank you for playing. Come back when you understand CDA. "If E1, E2, …, Ev, … is any simply infinite [sequence] of elements of the manifold M, then there always exists an element E0­ of M, which cannot be connected with any element Ev."

24. ## problem with cantor diagonal argument

And from that I'm pretty sure that you are not following my point. Or Cantor's, or Russell's. By "Cantor's diagonal argument" I mean this part in Russell: This does not have the "content" you refer to. It refers to M only to say that Ep is a member. It does not refer to the countability, or uncountability, of M. This part is imbeded in a larger proof that does refer to M, and uncountability, but this actual "diagonalization" part does not. I find two shortcomings in CDA. The first is similar to your complaint, but it is not that it uses arcane language. It is informal, which leads to Cantor using the vernacular language that you find arcane. It can be informal because it isn't the theorem that the paper was presenting. That was Cantor's Power Set Theorem, and CDA is only an example of it. Llike you might show a (3,4,5) triangle before proving the Pythagorean Theorem. This is why CDA is called an argument and not a proof or theorem. The second is that Cantor did leave one thing out. The above passage applies to any list that can actually exist, not a hypothetical list "assumed for contradiction." Cantor really should have demonstrated that such lists exist, and he didn't. Examples are trivial (Ep is all m's except a w in position p) so this can be forgiven. What Russell did was to rectify this omission. He describes a more formal way to create many such lists. He may have gone too far, by limiting his lists to strings that followed a law. I suppose he was trying to get around any Axiom of Choice issues; each character in the diagonal can be found by its law. But: HE DID NOT SAY THIS REPRESENTED ALL POSSIBLE LISTS, OR THE SET M. One thing Russell included that Cantor did not, is that each string does not have to be different. They can be so limited, but the point is to show that there is no surjection from N to M.
25. ## problem with cantor diagonal argument

And ... the sequence he is talking about is denumerable.
×