Carsten Thomassen's proof is relatively simple:
Carsten Thomassen, The Jordan-Schönflies theorem and the classification of surfaces. Amer. Math. Monthly 99 (1992), no. 2, 116-130.
By the way, the Jordan Curve Theorem has a formal proof (one that can be checked by a computer):
Thomas C. Hales, The Jordan curve theorem, formally and informally. Amer. Math. Monthly 114 (2007), no. 10, 882-894.
Hales bases the formal proof on Thomassen's.
The following is a survey on the older papers on the subject:
H. Guggenheimer, The Jordan curve theorem and an unpublished manuscript by Max Dehn. Archive for History of Exact Sciences 17 (1977), 193-200.
No comments:
Post a Comment