Content deleted Content added
→[[WP:LEAD|Lede]]: I think B class; will update comments |
→B class: new section |
||
Line 70:
: I've moved RJGray's draft to the article space and merged its edit history with that of the article as it appeared before. [[User:Michael Hardy|Michael Hardy]] ([[User talk:Michael Hardy|talk]]) 03:54, 23 January 2010 (UTC)
== B class ==
I am going to change the math rating to B class. Here are my specific thoughts about ways the article could be improved:
* There is an obvious relationship between Cantor's proof and the Baire category theorem: the BCT follows immediately by the same proof technique, and the BCT proves Cantor's theorem as a corollary. Somebody must have discussed this in print.
* Is the claim about certain processes requiring sub-exponential time in the source by Gray? I scanned through the reference, but didn't see it.
* In the paragraph beginning "The constructive nature of Cantor's work is most easily demonstrated by using it to construct an irrational number. " — isn't this using the diagonal method rather than the method of Cantor's first proof? Why not make an example that uses the method of the first proof.
I'll read through the article again today to copyedit again. — Carl <small>([[User:CBM|CBM]] · [[User talk:CBM|talk]])</small> 13:09, 24 January 2010 (UTC)
|