Talk:Cantor's first set theory article: Difference between revisions

Content deleted Content added
MalnadachBot (talk | contribs)
m Fixed Lint errors. (Task 12)
Line 274:
Thank you, Michael and Trovatore, for the work you are doing on this. Now I have to work on adding a few references requested by the DYK review. --[[User:RJGray|RJGray]] ([[User talk:RJGray|talk]]) 19:02, 15 September 2018 (UTC)
:{{U|RJGray}}: There is not a disagreement. There is not a controversy. It's such a simple question that ''everyone agrees''. They just ''phrase'' it differently. --[[User:Trovatore|Trovatore]] ([[User talk:Trovatore|talk]]) 23:20, 1 May 2020 (UTC)
 
== Proof of Lemma needs a change ==
 
The lemma required for the second case in the proof states that x(n+1) and x(n+2) are the end points for the interval (a(n+1), b(n+1)), however these are just the first 2 candidates as end points, we do not know if they lie inside or outside the interval (a(n), b(n)). This is indeed enough to satisfy the criterion that x(n+1) and x(n+2) are either larger or best case are indeed the end-points.
 
The simplest modification would be to state that these two points are at best the end points. If not the induction actually runs better. [[Special:Contributions/2001:1C02:1203:8500:49CD:D219:D882:A34|2001:1C02:1203:8500:49CD:D219:D882:A34]] ([[User talk:2001:1C02:1203:8500:49CD:D219:D882:A34|talk]]) 13:32, 26 January 2023 (UTC)