The Jordan Curve Theorem, Formally and Informally

American Mathematical Monthly - Tập 114 Số 10 - Trang 882-894 - 2007
Thomas C. Hales1
1Math Department, University of Pittsburgh, Pittsburgh PA 15260

Tóm tắt

Từ khóa


Tài liệu tham khảo

Courant R., 1996, What is Mathematics?

Mathias A. R. D., 1999, A term of length 4,523,659,424,929, Foundations of the formal sciences 1 (Berlin, 133, 75

Veblen O., 1905, Trans. Amer. Math. Soc., 6, 83, 10.1090/S0002-9947-1905-1500697-4