Talk:Heine–Cantor theorem

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
???	This article has not yet received a rating on the project's priority scale.

"See also" section does not introduce any new information. I suggest to delete it.

Non-constructive

As the proof is by contradiction (rather than by passing to the contrapositive), it is not constructive. It may be worth pointing this out in the article itself. Katzmik (talk) 11:31, 26 October 2008 (UTC)[reply]

Actually, it is possible to give a proof that is not a proof by contradiction. See [1]. I thought this one is more standard. (In fact, it appears in Rudin, if I remember correctly.) -- Taku (talk) 13:14, 26 October 2008 (UTC)[reply]

The proof of the existence of a finite subcover used here is surely non-constructive. I would be surprised if there exists a constructive proof for this theorem. There may be deep reasons for this. Katzmik (talk) 14:12, 26 October 2008 (UTC)[reply]