The biographical material in this article is mostly drawn from Dauben 1979.
Tư liệu có tính tiểu sử trong bài viết này phần lớn rút từ tác giả Dauben năm 1979.