Xem mã nguồn của Georg Cantor

{{Infobox scientist
| name              = Georg Cantor
| image             = Georg Cantor- colorized.jpg
| image_size        = 230px
| caption           = Cantor vào đầu những năm 1900
| birth_name        = Georg Ferdinand Ludwig Philipp Cantor
| birth_date        = {{Birth date|1845|3|3|df=y}}
| birth_place       = [[Saint Petersburg]], [[Đế quốc Nga]]
| death_date        = {{Death date and age|1918|1|6|1845|3|3|df=y}}
| death_place       = [[Halle (Saale)|Halle]], [[Tỉnh Saxony]], [[Đế quốc Đức]]
| residence         = {{unbulleted list | [[Đế quốc Nga]] (1845–1856) | [[Đế quốc Đức]] (1856–1918)}}
| nationality       = Đức
| alma_mater        = {{unbulleted list | [[ETH Zürich]] | [[Đại học Humboldt Berlin|Đại học Berlin]]}}
| thesis_title      = De aequationibus secundi gradus indeterminatis
| thesis_url        = https://web.archive.org/web/20150704015954/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN237853094&DMDID=DMDLOG_0008&L=1
| thesis_year       = 1867
| doctoral_advisor  = {{unbulleted list | [[Ernst Kummer]] |[[Karl Weierstrass]]}}
| doctoral_students =
| known_for         = [[Lý thuyết tập hợp]]
| spouse            = {{marriage|Vally Guttmann|1874}}
| field             = [[Toán học]]
| work_institutions = [[Đại học Halle]]
| prizes            = [[Huân chương Sylvester]] (1904)
}}
'''Georg Ferdinand Ludwig Philipp Cantor''' ({{IPA|de|ˈɡeːɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfiːlɪp ˈkantɔʁ|lang}}; {{OldStyleDate|3 tháng 3|1845|19 tháng 2}}&nbsp;– 6 tháng 1 năm 1918)<ref>Grattan-Guinness 2000, tr. 351</ref> là một [[nhà toán học]] [[người Đức]], được biết đến nhiều nhất với tư cách cha đẻ của [[lý thuyết tập hợp]], một lý thuyết đã trở thành một lý thuyết nền tảng trong [[toán học]]. Cantor đã cho thấy tầm quan trọng của [[song ánh|quan hệ song ánh]] giữa các phần tử của hai [[Tập hợp (toán học)|tập hợp]], định nghĩa các [[Tập hữu hạn|tập vô hạn]] và các [[tập sắp tốt]], và chứng minh rằng các [[số thực]] là "đông đúc" hơn các [[số tự nhiên]]. Trên thực tế, phương pháp chứng minh định lý này của Cantor ngụ ý sự tồn tại "vô hạn các tập vô hạn". Ông định nghĩa [[bản số]] và [[số thứ tự]] và phép tính về chúng. Sự nghiệp toán học vĩ đại của ông nhận được sự quan tâm lớn về mặt [[triết học]], nhờ đó khiến ông càng được biết đến nhiều hơn.{{efn|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. Các nguồn bổ sung quan trọng khác bao gồm Grattan-Guinness 1971, Purket và Ilgauds 1985.}}

Lý thuyết của Cantor về [[số siêu hạn]] ban đầu bị xem là phản [[trực giác]] - thậm chí gây sốc - tới mức nó vấp phải sự chống đối của những nhà toán học lừng lẫy đương thời như [[Leopold Kronecker]] và [[Henri Poincaré]],<ref name="bipolar">Dauben 2004, tr. 1.</ref> sau này là [[Hermann Weyl]] và [[Luitzen Egbertus Jan Brouwer|L. E. J. Brouwer]], trong khi [[Ludwig Wittgenstein]] đưa ra những phản đối về triết học. Một số nhà [[thần học]] [[Kitô giáo|Thiên Chúa giáo]] (đặc biệt là phái [[chủ nghĩa tân kinh viện|Tân kinh viện]]) xem công trình của Cantor là một thách thức đối với tính độc nhất hiện hữu của sự vô hạn tuyệt đối trong bản thể [[Thiên Chúa|Chúa Trời]]<ref name = "nuozkv">Dauben, 1977, tr. 86; Dauben, 1979, tr. 120, 143.</ref> - từng có lần đặt thuyết về số siêu hạn ngang hàng với [[thuyết phiếm thần]] - một điều mà Cantor phản đối mãnh liệt. Những sự chống đối với công trình của ông đôi khi trở lên hung tợn: Poincaré đòi loại bỏ những ý tưởng của Cantor "một lần và mãi mãi",<ref name="daub266">Dauben 1979, p. 266.</ref> và Kronecker ngoài phản đối công khai còn tấn công vào cá nhân Cantor, gọi ông là một "tên lang băm khoa học", "kẻ bội tín" và "kẻ làm suy đồi giới trẻ".<ref>Dauben 2004, tr. 1. Xem thêm Dauben 1977, tr. 89 ''chú thích 15''</ref> Kronecker thậm chí còn bác bỏ các chứng minh của Cantor rằng các [[số đại số]] là có thể đếm được, còn các [[số siêu việt]] thì không, những kết quả mà ngày nay được hiển nhiên thừa nhận trong các sách giáo khoa toán học cơ bản. Nhiều thập kỉ sau khi Cantor mất, Wittgenstein phàn nàn rằng toán học "bị dẫn qua dẫn lại bởi những thành ngữ độc hại của lý thuyết tập hợp", thứ mà ông xem là "hết sức vô nghĩa", "nực cười" và "sai lầm"<ref name = "Rodych"/>. Người ta cho rằng thái độ thù địch của những người đương thời là nguyên nhân dẫn đến những cơn [[trầm cảm|trầm uất]] thường xuyên lặp lại mà Cantor phải chịu đựng từ 1884 cho tới cuối đời,<ref name="daub280">Dauben 1979, tr. 280.</ref> mặc dù cũng có một giải thích khác rằng những cơn trầm uất này có thể là biểu hiện của một bệnh [[Rối loạn lưỡng cực|tâm thần lưỡng cực]].<ref name="bipolar" />

Sự chỉ trích khắc nghiệt cũng đi cùng với sự tôn vinh đối với Cantor. Năm 1904, [[Hội Vương thất Luân Đôn]] trao tặng cho Cantor [[Huy chương Sylvester]], danh dự cao nhất của Hội dành cho toán học.<ref name="daub248">[[#Dauben1979|Dauben 1979]], p. 248.</ref> Có người cho rằng Cantor tin rằng lý thuyết về số siêu hạn của ông là được [[Thiên Chúa|Chúa]] [[mặc khải]].<ref name = "xdpfir">Dauben 2004, tr. 8, 11, 12-13.</ref> [[David Hilbert]] đã lên tiếng bảo vệ nó với lời tuyên bố nổi tiếng: "Không ai đuổi được chúng ta khỏi Thiên giới mà Cantor đã sáng tạo nên."<ref>Hilbert 1926, tr. 170; xem Reid 1996, tr. 177</ref>

== Cuộc đời ==
=== Tuổi trẻ và học tập ===
[[Tập tin:Georg Cantor3.jpg|nhỏ|trái|Georg Cantor khoảng năm 1870]]
Cantor sinh ngày 3 tháng 3 năm 1845 ở vùng [[nhượng địa]] thương mại phương Tây ở [[Sankt-Peterburg]], [[Nga]], và sống tại đó cho tới năm lên mười một tuổi. Georg, con cả trong số sáu người con của gia đình, sớm bộc lộ là một nghệ sĩ [[vĩ cầm]] xuất sắc. Ông ngoại ông là [[Franz Böhm (nhạc công)|Franz Böhm]] (1788-1846, anh trai nghệ sĩ vĩ cầm [[Joseph Böhm]]) là một nhạc công nổi tiếng đương thời, một nghệ sĩ độc tấu trong dàn nhạc triều đình [[Đế quốc Nga]].<ref>[http://dic.academic.ru/dic.nsf/enc_music/924/Бём ru: The musical encyclopedia (Музыкальная энциклопедия)]</ref> Cha của Cantor từng tham gia vào [[Sàn chứng khoán Sankt-Petersburg]]; khi ông lâm bệnh, gia đình chuyển về Đức năm 1856, đầu tiên ngụ ở [[Wiesbaden]] sau rời tới [[Frankfurt am Main|Frankfurt]], tìm kiếm những nơi có thời tiết mùa đông dễ chịu hơn ở Sankt-Petersburg. Năm 1860, Cantor tốt nghiệp xuất sắc trường Realschule ở [[Darmstadt]]; hồ sơ cho thấy ông vượt trội trong các môn toán, đặc biệt là môn [[lượng giác]]. Năm 1862, Cantor vào học [[Đại học Zürich]]. Sau khi cha mất năm 1863, Cantor nhận một khoản thừa kế đáng kể và chuyển việc học hành tới [[Đại học Humboldt Berlin|Đại học Berlin]], dự các lớp giảng của [[Leopold Kronecker]], [[Karl Weierstrass]] và [[Ernst Kummer]]. Ông trải qua mùa hè năm 1866 ở [[Đại học Göttingen]], lúc bấy giờ và sau này là một trung tâm nghiên cứu toán học.<ref>{{Chú thích web |url=http://scientematics.blogspot.tw/2010/02/georg-cantor.html |ngày truy cập=2013-04-19 |tựa đề=Scientematics Biography |archive-date = ngày 19 tháng 4 năm 2013 |archive-url=https://archive.today/20130419005752/scientematics.blogspot.tw/2010/02/georg-cantor.html |url-status=live }}</ref>

=== Giảng dạy và nghiên cứu ===
Năm 1867, Cantor hoàn thành luận văn tốt nghiệp về lý thuyết số ở Đại học Berlin.<ref name=":1">{{Chú thích sách|title=Math and mathematicians: the history of math discoveries around the world|last1=Bruno|first1=Leonard C.|year=1999|publisher=U X L|last2=Baker|first2=Lawrence W.|isbn=978-0787638139|location=Detroit, Mich.|page=[https://archive.org/details/mathmathematicia00brun/page/54 54]|oclc=41497065|url=https://archive.org/details/mathmathematicia00brun/page/54}}</ref> Sau khi giảng dạy tại một trường nữ sinh ở Berlin một thời gian ngắn, Cantor đảm nhận một vị trí tại [[Đại học Halle-Wittenberg]] cho tới cuối sự nghiệp. Ông cũng bảo vệ thành công một luận án liên quan tới lý thuyết số khác cho văn bằng tiến sĩ khoa học tại Halle năm 1869.<ref name="St Andrews">{{chú thích web |author=O'Connor, John J, and Robertson, Edmund F |year=1998 |url=http://www-history.mcs.st-andrews.ac.uk/Biographies/Cantor.html |title=Georg Ferdinand Ludwig Philipp Cantor |publisher=MacTutor History of Mathematics}}</ref>

Năm 1874, Cantor cưới Vally Guttmann. Họ có sáu người con, đứa út Rudolph sinh vào năm 1886. Dù lương giáo sư eo hẹp nhưng Cantor có thể trang trải cho gia đình mình nhờ khoản thừa kế từ cha. Trong kì trăng mật ở dãy núi [[Harz]], Cantor đã có thời gian trao đổi toán học với [[Richard Dedekind]], người mà ông gặp hai năm trước đó trong kì nghỉ tại Thụy Sĩ.
Cantor được phong Giáo sư Đặc biệt vào năm 1872 và Giáo sư thực thụ năm 1879. Đạt chức vụ sau ở tuổi 34 là một thành tựu xuất chúng, nhưng Cantor vẫn khao khát có một ghế ở một đại học danh giá hơn, nhất là ở Đại học Berlin, lúc bấy giờ là đại học đứng đầu nước Đức. Tuy nhiên, công trình nghiên cứu của ông vấp phải quá nhiều sự chống đối nên mong muốn đó không thể trở thành hiện thực.<ref name="daub163">Dauben 1979, tr. 163.</ref> Kronecker, người đứng đầu ngành toán ở Đại học Berlin cho đến khi qua đời vào năm 1891, ngày càng trở nên khó chịu với viễn cảnh nhận Cantor làm đồng nghiệp<ref name="daub34">Dauben 1979, tr. 34.</ref>, đánh giá ông là một "kẻ làm suy đồi giới trẻ" khi giảng những ý tưởng cách tân cho thế hệ các nhà toán học trẻ hơn<ref>Dauben 1977, tr. 89 ''15n.''</ref>. Tệ hơn, chính Kronecker, một nhân vật rất nổi tiếng trong cộng đồng toán học và là thầy giáo cũ của Cantor, đã bất đồng căn bản với sự đột phá trong công trình của Cantor. Kronecker, người mà ngày nay được xem là một trong những cha đẻ của [[toán học kiến thiết]], không ưa phần lớn lý thuyết tập hợp của Cantor bởi vì nó khẳng định sự tồn tại của các tập hợp thỏa mãn những tính chất nhất định, mà không đưa ra những ví dụ cụ thể về các tập hợp mà các phần tử của chúng thực sự thỏa mãn những tính chất đó. Cantor nhiều lần đăng ký vị trí giảng dạy ở Berlin nhưng đều vấp phải sự phản đối của Kronecker, tin rằng mâu thuẫn lập trường nghiên cứu với Kronecker khiến cho ông không bao giờ có thể rời khỏi Halle.<ref name=Dauben2003>Dauben, Georg Cantor and the Battle for Transfinite Set Theory, 2003</ref>

Năm 1881, đồng nghiệp của Cantor tại Halle là [[Eduard Heine]] qua đời, tạo ra một ghế giáo sư trống. Theo đề xuất của Cantor, trường lần lượt bổ nhiệm Richard Dedekind, [[Heinrich M. Weber]] và [[Franz Mertens]], nhưng họ lần lượt từ chối. Người nhận vị trí đó cuối cùng là Friedrich Wangerin nhưng ông này không bao giờ gần gũi với Cantor. Năm 1882, trao đổi thư từ liên quan tới toán học giữa Cantor và Dedekind chấm dứt, dường như là kết quả của việc Dedekind không nhận ghế giáo sư Halle.<ref>Dauben 1979, tr. 2–3; Grattan-Guinness 1971, tr. 354–355.</ref> Cantor cũng bắt đầu mối liên lạc thư từ với [[Gösta Mittag-Leffler]] ở [[Thụy Điển]], và sau đó đăng bài trên tạp chí ''Acta Mathematica'' của ông này. Nhưng năm 1885, Mittag-Leffler bắt đầu lo ngại về bản chất triết học và thuật ngữ mới trong một bài báo Cantor gửi tới.<ref name="daub138">Dauben 1979, p. 138.</ref> Ông yêu cầu Cantor rút bài báo, viết rằng nó "...quá sớm khoảng một trăm năm". Cantor chấp nhận, nhưng từ đó cắt bớt liên lạc; và nói với một người khác:
{{quote|Theo cách của Mittag-Leffler, tôi phải chờ tới năm 1984, đối với tôi dường như đó là một đòi hỏi quá lớn!... Nhưng dĩ nhiên tôi chẳng bao giờ muốn biết thêm điều gì về ''Acta Mathematica''.<ref name="daub139">Dauben 1979, tr. 139.</ref>}}

Hậu quả của những chỉ trích về nghiên cứu khiến Cantor rơi vào cơn trầm uất đầu tiên vào năm 1884.<ref name = "daub282"/> Trong năm đó Cantor viết 52 bức thư cho Mittag-Lefler, bức nào đều phàn nàn về thầy cũ Kronecker, trong đó có đoạn nhắc tới sự kiệt quệ lòng tự tin về nghiên cứu của mình:
{{Quote|... Tôi không biết khi nào tôi sẽ trở lại việc nghiên cứu khoa học. Ở thời điểm hiện tại tôi không thể làm bất cứ điều gì, ngoại trừ những nghĩa vụ giảng dạy tối cần thiết; sẽ hạnh phúc biết mấy nếu tôi lại có thể hoạt động nghiên cứu, nếu như tối có lại được tinh thần sảng khoái.<ref>[[#Dauben1979|Dauben 1979]], p. 136; [[#Guinness1971|Grattan-Guinness 1971]], pp. 376–377. Letter dated June 21, 1884.</ref>}}
Sự khủng hoảng tinh thần này khiến ông đăng ký giảng [[triết học]] thay vì toán. Ông cũng bắt đầu nghiên cứu sâu về [[văn học]] thời đại Elizabeth, tin rằng phải có bằng chứng về việc [[Francis Bacon]] đã viết những vở kịch mà người ta quy cho là của [[William Shakespeare|Shakespeare]]; điều này thể hiện trong hai cuốn sách nhỏ in năm 1896 và 1897.<ref>Dauben 1979, tr. 281–283.</ref>
Cantor hồi phục ít lâu sau đó, và đem đến những cống hiến quan trọng nữa, bao gồm [[Lập luận đường chéo của Cantor|Luận cứ chéo]] Cantor nổi tiếng cũng như [[Định lý đường chéo Cantor|Định lý Cantor]]. Tuy nhiên ông không còn có thể đạt được mức độ công bố bài báo như những năm 1874-1884. Về sau ông đã tìm được cách hòa giải với Kronecker; tuy nhiên, những khó khăn và bất đồng về triết học ngăn cách họ vẫn tồn tại.

Năm 1890, Cantor đóng vai trò quan trọng trong việc thành lập [[Hội Toán học Đức]] (''Deutsche Mathematiker-Vereinigung'') và chủ trì phiên họp đầu tiên của hội tại Halle năm 1891,<ref name=":1" /> nơi ông lần đầu tiên giới thiệu luận cứ chéo của mình; danh tiếng ông đã đủ mạnh, bất chấp sự phản đối của Kronecker, để đảm bảo cho ông được bầu làm chủ tịch đầu tiên của hội. Gạt sang một bên sự thù nghịch Kronecker từng thể hiện đối với ông, Cantor mời ông diễn thuyết trước hội nghị, nhưng Kronecker không thể thực hiện do vợ ông mất do chấn thương trượt tuyết vào đúng thời gian đó.<ref name=Dauben2003/> Cantor cũng là người đề xuất và tổ chúc [[Đại hội Toán học Quốc tế]] lần thứ nhất vào năm 1897 tại Zurich.<ref name=":1" />

=== Những năm cuối đời ===
Sau khi lần nhập viện năm 1884, không có ghi chép nào rằng Cantor phải vào viện lần nữa cho tới năm 1899.<ref name="daub282">Dauben 1979, p. 282.</ref> Ít lâu sau lần nhập viện thứ hai đó, người con trai út Rudolph chết đột ngột (Cantor biết tin lúc đang giảng về thuyết Bacon và Shakespeare), và bi kịch này làm suy mòn phần nhiều đam mê toán học của ông.<ref name="daub283">Dauben 1979, p. 283.</ref> Cantor lại phải vào viện năm 1903. Một năm sau, ông bị xúc phạm và kích động bởi một bài viết của [[Julius König]] tại Đại hội Các nhà toán học Quốc tế lần thứ ba. Bài viết tìm cách chứng minh rằng những lý luận chủ yếu của lý thuyết tập hợp siêu hạn là sai. Do bài báo được đọc trước mặt các con gái và đồng nghiệp của Cantor, ông cảm thấy bị sỉ nhục công khai.<ref>Xem chi tiết về bài báo ở Dauben 1979, 248–250 và phản ứng của Cantor ở Dauben 1979, p. 248; 283.</ref> Mặc dù không đầy một ngày sau [[Ernst Zermelo]] đã chứng minh rằng ý kiến của König là sai, Cantor vẫn bị chấn động, đến mức không ngừng lẩm nhẩm hỏi Chúa.<ref name=autogenerated3>Dauben 1979, p. 248</ref> Trong suốt phần đời còn lại ông mắc chứng trầm uất kinh niên, vài lần phải nghỉ giảng dạy và liên tục phải trú tại trong các viện an dưỡng khác nhau. Các sự kiện năm 1904 mở đầu cho những lần nhập viện trong hai, ba năm sau đó.<ref>Dauben 1979, p. 283–284.</ref> Tuy nhiên ông đã không từ bỏ toán học hoàn toàn, mà vẫn giảng về những nghịch lý của lý thuyết tập hợp ([[nghịch lý Burali-Forti]], [[nghịch lý Cantor]], và [[nghịch lý Russell]]) trong một phiên họp của Hội Toán học Đức năm 1903, và tham dự Đai hội Toán học Quốc tế ở Heidelberg năm 1904.

Vào năm 1911, Cantor là một trong số những học giả nước ngoài được mời tham dự kỷ niệm 500 năm thành lập [[Đại học St. Andrews]] ở [[Scotland]]. Cantor đã có mặt, hi vọng gặp được [[Bertrand Russell]], người vừa xuất bản cuốn ''Principia Mathematica'' (Những nguyên lý toán học) trong đó trích dẫn công trình của Cantor; tuy nhiên họ không gặp được nhau. Năm sau đó, trường St. Andrews tặng Cantor bằng [[tiến sĩ danh dự]], nhưng cơn bệnh khiến ông không thể dự lễ nhận bằng.<ref name="St Andrews"/>

Cantor nghỉ hưu năm 1913, sống trong nghèo khổ và đói khát trong những năm [[Chiến tranh thế giới thứ nhất]].<ref name="daub284">Dauben 1979, p. 284.</ref> Chiến tranh cũng làm lễ kỷ niệm rộng rãi sinh nhật thứ 70 của ông phải hủy bỏ. Tháng 6 năm 1917, ông lại phải vào viện an dưỡng một lần nữa. Tình trạng của ông không được cải thiện và ông liên tục viết thư cho vợ xin cho ông về nhà. Ông mất ngày 6 tháng 1 năm 1918 do một cơn đau tim đột ngột tại viện an dưỡng.<ref name="St Andrews"/>

== Sự nghiệp toán học ==
Công trình chính của Cantor những năm 1874-1884 là nguồn gốc của [[lý thuyết tập hợp]].<ref name="Johnson p.55">Johnson 1972, tr. 55.</ref> Trước công trình này, quan niệm về tập hợp đã là một quan niệm cơ bản được sử dụng ngay từ buổi khởi đầu của toán học, có thể lần ngược nguồn gốc tới những tư tưởng của [[Aristoteles|Aristotle]].{{efn|Đoạn này là một tóm tắt rất vắn tắt về sự nghiệp của Cantor.}} Tuy nhiên trước Cantor, chỉ có những tập hợp hữu hạn (tương đối dễ hiểu) và "cái vô hạn" (nhưng là một chủ đề triết học thay vì toán học). Bằng cách chứng minh rằng có nhiều (vô hạn) những kích cỡ có thể cho các tập hợp vô hạn, Cantor đã khẳng định rằng lý thuyết về tập hợp là không vô nghĩa, rằng cần thiết phải nghiên cứu nó. Lý thuyết tập hợp đã đóng một vai trò một lý thuyết nền tảng trong toán học hiện đại vì nó cho phép diễn dịch những mệnh đề về các đối tượng toán học (chẳng hạn, [[số]] và [[hàm số]]) từ tất cả những ngành truyền thống của toán học ([[đại số]], [[Giải tích toán học|giải tích]], [[tô pô]] trong một lý thuyết duy nhất, và cung cấp một tập hợp những tiên đề để chứng minh hay bác bỏ chúng.<ref>Từ điển Bách khoa Triết học Standford mục [http://plato.stanford.edu/entries/set-theory/ Set theory]</ref>

Trên một trong những bài viết đầu tiên của mình, Cantor đã chứng minh rằng tập hợp các [[số thực]] là "đông đúc hơn" (tức là, lực lượng của tập hợp lớn hơn) so với tập hợp các [[số tự nhiên]]; điều này lần đầu tiên chỉ ra sự tồn tại các tập vô hạn với kích thước (lực lượng) khác nhau. Ông cũng là người đầu tiên đánh giá tầm quan trọng của tương ứng một-một trong lý thuyết tập hợp. Ông sử dụng quan niệm này để định nghĩa các tập hữu hạn và các tập vô hạn, phân loại các tập vô hạn thành các tập đếm được và các tập không đếm được.{{Efn|Một tập đếm được có thể là hữu hạn và vô hạn đánh số được}}

Cantor đã phát triển các khái niệm quan trọng trong [[tô pô]] và quan hệ giữa nó với lực lượng tập hợp. Chẳng hạn, ông chỉ ra rằng các [[tập Cantor]] không bao giờ dày đặc, mà có cùng lực lượng với tập tất cả số thực, trong khi các [[số hữu tỉ]] dày đặc ở mọi điểm nhưng có thể đếm được.

Cantor đưa ra những cấu trúc cơ bản trong lý thuyết tập hợp, như [[tập lũy thừa]] của một tập ''A'', là tập tất cả các [[tập hợp con]] khả dĩ của ''A''. Ông chứng mình rằng kích thước của tập lũy thừa của A lớn hơn kích thước của ''A'', ngay cả khi ''A'' là một tập vô hạn; điều này về sau gọi là [[Định lý đường chéo Cantor|Định lý Cantor]]. Cantor phát triển một lý thuyết toàn diện và số học về các tập vô hạn, gọi là [[bản số]] và [[tự số]], một sự mở rộng số học về các số tự nhiên. Ký hiệu ông dùng cho bản số là chứ cái [[Tiếng Hebrew|Hebrew]] aleph <math>\aleph</math> với một chỉ số dưới là số tự nhiên, đối với các tự số ông dùng chữ cái Hy Lạp omega ω; cách ký hiệu này vẫn duy trì tới ngày nay.

''[[Giả thiết continum|Giả thuyết continuum]]'', do Cantor đưa ra và sau này [[David Hilbert]] dùng làm bài toán thứ nhất trong số hai mươi ba bài toán thế kỷ ông đưa ra tại Đại hội Các nhà toán học Quốc tế ở Paris năm 1900. Công trình của Cantor cũng nhận được sự chú ý đặc biệt ngoài lời tán dương nổi tiếng của Hilbert.<ref name="encomium">Reid 1996, tr. 177.</ref> Triết gia người Mỹ [[Charles Sanders Peirce]] ca tụng lý thuyết tập hợp, và sau các bài thuyết trình của Cantor tại Đại hội Các nhà toán học Quốc tế lần thứ nhất ở Zurich năm 1897, [[Adolf Hurwitz]] và [[Jacques Hadamard]] đồng loạt biểu thị sự ngưỡng mộ. Cũng tại Đại hội đó, Cantor giảng hòa với Dedekind. Từ 1905, Cantor thường liên lạc với người hâm mộ và là dịch giả của ông, một người Anh tên là [[Philip Jourdain]] về lịch sử lý thuyết tập hợp và các quan điểm tôn giáo của Cantor.

=== Lý thuyết số, chuỗi lượng giác và bản số ===
Mười bài báo đầu tiên Cantor công bố đều liên quan tới [[lý thuyết số]], cũng là đề tài luận văn của ông. Dưới sự gợi ý của [[Eduard Heine]], Cantor chuyển sang [[Giải tích toán học|giải tích]]. Heine đề nghị Cantor giải một bài toán để ngỏ mà [[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]], [[Rudolf Lipschitz|Lipschitz]], [[Bernhard Riemann]] và bản thân Heine đã đi vào ngõ cụt: tính duy nhất của phép biểu diễn một [[hàm số]] bằng [[chuỗi lượng giác]]. Cantor giải bài toán phức tạp này năm 1869. Chính vào thời gian làm việc với bài toán này ông đã khám phá ra các bản số siêu hạn, xuất hiện như chỉ số n trong tập lấy đạo hàm thứ n S<sub>n</sub> của một tập S các không điểm của một chuỗi lượng giác. Cho trước một chuỗi lượng giác f(x) với S là tập các không điểm của nó, Cantor đã khám phá ra một quy trình sinh các chuỗi lượng giác khác có S<sub>1</sub> là tập các không điểm của nó, tại đó S<sub>1</sub> là tập các điểm giới hạn của S. Nếu S<sub>k+1</sub> là tập các điểm tới hạn của S<sub>k</sub>, thì ông có thể xây dựng một chuỗi lượng giác mà các không điểm là S<sub>k+1</sub>. Bởi các tập S<sub>k</sub> đều là tập đóng, chúng chứa các [[điểm giới hạn]], và [[phép giao|giao]] của các dãy vô hạn giảm dần của các tập S, S<sub>1</sub>, S<sub>2</sub>, S<sub>3</sub> tạo nên một tập hữu hạn, mà chúng ta gọi là S<sub>ω</sub>, và sau đó ông chỉ ra rằng Sω cũng phải có một tập các điểm giới hạn Sω+1, và cứ thế mãi. Ông có những ví dụ tiếp diễn mãi mãi, và đó là một dãy vô hạn xuất hiện tự nhiên ω, ω+1, ω+2,...<ref>{{Citation|last1=Cooke|first1=Roger|title=Uniqueness of trigonometric series and descriptive set theory, 1870–1985|journal=Archive for History of Exact Sciences|volume=45|pages=281|year=1993|doi=10.1007/BF01886630|issue=4|postscript=.}}</ref>

Giữa những năm 1870 và 1872, Cantor xuất bản thêm nhiều bài báo về chuỗi lượng giác, đồng thời một bài xác định các [[số ảo]] như là những dãy hội tụ của các [[số thực]]. Dedekind, người kết bạn với Cantor từ 1872, trích dẫn bài báo này trong năm ấy, gọi định nghĩa nổi tiếng về các số thực là [[lát cắt Dedekind]]. Trong khi mở rộng định nghĩa về số theo quan niệm có tính cách mạng về bản số vô hạn, Cantor lại đối lập một cách đầy nghịch lý đối với các đại lượng vô cùng bé do những người đương thời là [[Otto Stolz]] và [[Paul du Bois-Reymond]] đề xướng, mô tả chúng là một "điều ghê tởm", "một thứ vi khuẩn tả của toán học".<ref>Karin Usadi Katz and [[Mikhail Katz|Mikhail G. Katz]] (2011) A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography. [[Foundations of Science]]. {{doi|10.1007/s10699-011-9223-1}} Xem [https://link.springer.com/article/10.1007%2Fs10699-011-9223-1 link]</ref> Cantor cũng từng công bố một "chứng minh" sai về tính không nhất quán của các vô cùng bé.<ref>Ehrlich, P. (2006) The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes. Arch. Hist. Exact Sci. 60, no. 1, 1&ndash;121.</ref>

=== Lý thuyết tập hợp ===
[[Tập tin:Diagonal argument 2.svg|phải|nhỏ|250px|Minh họa của [[luận cứ chéo Cantor]] cho sự tồn tại của những [[tập không thể đếm được]]. Dãy ở phía dưới không thể xuất hiện ở bất cứ đâu trong danh sách vô hạn các dãy ở trên.]]
Bài báo của Cantor công bố năm 1874, "Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen" ("Về một thuộc tính của tập hợp tất cả số đại số thực")<ref>Cantor 1874 Bản dịch tiếng Anh: Ewald 1996, tr. 840&ndash;843.</ref> đã đánh dấu sự ra đời của lý thuyết tập hợp như một nhánh của toán học.<ref name="Johnson p.55"/> Bài báo này lần đầu tiên cung cấp một phép chứng minh chặt chẽ rằng có nhiều hơn một loại vô hạn. Trước đó tất cả các tập vô hạn hoàn toàn quy là "cùng lực lượng" (nghĩa là cùng "kích thước" hay cùng số phần tử).{{efn|Chẳng hạn, những bài toán hình học do [[Galileo Galilei|Galileo]] và [[John Duns Scotus]] gợi ý rằng tất cả các tập vô hạn là cùng lực lượng.<ref>Moore 1995, tr. 114.</ref>}} Cantor chứng minh rằng tập các số thực và tập các số nguyên dương là không cùng lực lượng. Nói một cách khác, các số thực là không thể đếm được. Phép chứng minh này phức tạp hơn luận cứ chéo Cantor tao nhã hơn mà ông đưa ra năm 1891.<ref>Về điều này, cũng như thông tin thêm về vai trò của Cantor với lý thuyết tập hợp, xem Suppes 1972.</ref> Bài viết của Cantor cũng chứa một phương pháp mới để xây dựng các số siêu việt, thay cho phương pháp đầu tiên mà [[Joseph Liouville]] tìm ra năm 1844.<ref>[http://www.bibnum.education.fr/mathematiques/theorie-des-nombres/propos-de-l-existence-des-nombres-transcendants À propos de l'existence des nombres transcendants] Education.fr</ref>

Cantor kiến tạo các kết quả này bằng cách sử dụng hai phép xây dựng. Phép xây dựng thứ nhất chỉ ra cách viết các số đại số thực{{efn|Số đại số thực là những [[nghiệm số|nghiệm]] thực của các phương trình [[đa thức]] với hệ số nguyên.}} như một dãy ''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>,&nbsp;.... Nói cách khác, các số đại số thực có thể đếm được. Cantor bắt đầu phép xây dựng thứ hai với bất kì dãy số thực nào. Sử dụng dãy này, ông xây dựng các [[khoảng lồng nhau]] mà giao của chúng chứa một số thực không nằm trong dãy. Bởi vì mọi dãy số thực có thể dùng để xây dựng một số thực không nằm trong dãy, các số thực không thể viết thành một dãy-nghĩa là, các số thực là không đếm được. Bằng cách áp dụng phép xây dựng đối với dãy các số thực đại số, Cantor tạo nên một số siêu việt. Ông chỉ ra rằng các phép xây dựng của mình chứng tỏ nhiều hơn thế; cụ thể, chúng cung cấp phép chứng minh mới cho định lý Liouville: mọi khoảng chứa nhiều vô hạn những số siêu việt.<ref>Liên quan tới chi tiết khác của bài báo, xem [https://www.maa.org/programs/maa-awards/writing-awards/georg-cantor-and-transcendental-numbers Gray 1995] {{Webarchive|url=https://web.archive.org/web/20170407064803/http://www.maa.org/programs/maa-awards/writing-awards/georg-cantor-and-transcendental-numbers |date=2017-04-07 }}. Gray 1995 (tr. 821&ndash;822) mô tả một [[phần mềm|chương trình máy tính]] sử dụng các phép xây dựng của Cantor để sinh ra một số siêu việt.</ref> Bài báo tiếp theo của Cantor chứa một phép xây dựng chứng tỏ rằng tập hợp các số siêu việt có cùng lũy thừa với tập các số thực.<ref>Phép xây dựng của Cantor bắt đầu với tập các số siêu việt ''T'' và loại bỏ một tập con đếm được {''t<sub>n</sub>''} (chẳng hạn, ''t<sub>n</sub>'' = ''[[số e|e]]&nbsp;/&nbsp;n''). Gọi tập này là ''T’''. Khi đó ''T'' = ''T’'' ∪ {''t<sub>n</sub>''} = ''T’'' ∪ {''t''<sub>2''n''-1</sub>} ∪ {''t''<sub>2''n''</sub>}. Tập các số thực '''R''' = ''T'' ∪ {''a<sub>n</sub>''} =''T’'' ∪ {''t<sub>n</sub>''} ∪ {''a<sub>n</sub>''} trong đó ''a<sub>n</sub>'' là dãy của các số thực đại số. Như vậy cả ''T'' và '''R''' là sự kết hợp ba tập rời rạc: ''T’'' và hai tập đếm được. Một tương ứng một-một giữa ''T'' và '''R''' được cho bởi hàm: ''f''(''t'') = ''t'' nếu ''t'' ∈''T’'', ''f''(''t''<sub>2''n''-1</sub>) = ''t<sub>n</sub>'', và ''f''(''t''<sub>2''n''</sub>) = ''a<sub>n</sub>''. Cantor thực ra áp dụng phép xây dựng cho các số ảo hơn là các số siêu việt, nhưng ông biết rằng nó có thể áp dụng cho bất kỳ tập nào tạo thành bằng cách loại bỏ một cách đếm được các phần tử từ tập các số thực.(Cantor 1932, tr. 142).</ref>

Giữa những năm 1879 và 1884, Cantor đã đăng một loạt sáu bài báo trên tờ ''Mathematische Annalen'', cùng với nhau chúng tạo nên một dẫn nhập về lý thuyết tập hợp. Cùng lúc, có một sự phản đối ngày càng tăng lên đối với các ý tưởng của Cantor, do Kronecker chủ xướng, những người chấp chận các khái niệm toán học chỉ nếu chúng có thể xây dựng trong một số hữu hạn các bướcc từ những số tự nhiên, điều hợp với trực giác thông thường. Đối với Kronecker, các thứ bậc vô hạn khác nhau của Cantor là không thể chấp nhận được, vì tiếp thu quan niệm về [[vô hạn thực]] sẽ mở ra cánh cửa tới những nghịch lý thách thức tính đúng đắn của toàn thể toán học.<ref name="popeleo">Dauben 1977, tr. 89.</ref> Cantor cũng đưa ra khái niệm [[tập Cantor]] trong thời kỳ này.

Bài báo thứ năm trong loạt bài, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre" ("Những Nền tảng của một Lý thuyết Tổng quán về các Tập hợp") công bố năm 1883, là bài quan trọng nhất và được xuất bản dưới dạng chuyên khảo. Nó chứa đựng lời đáp trả của Cantor đối với những phê phán nhắm vào ông và chỉ ra cách làm thế nào những số siêu thực là một mở rộng hệ thống của các số tự nhiên. Nó bắt đầu bằng cách định nghĩa các [[tập chặt chẽ]]. Các tự số cũng được đưa ra, như là các loại thứ bậc của tập chặt chẽ. Sau đó Cantor định nghĩa phép cộng và nhân của các bản số và tự số. Năm 1885, Cantor mở rộng lý thuyết về các dạng thứ bậc khiến cho tự số đơn giản trở thành một trường hợp đặc biệt của các dạng thứ bậc.

Năm 1891, ông công bố một bài báo chứa "luận cứ chéo" (phương pháp chéo) về sự tồn tại của một tập không đếm được. Ông áp dụng ý tưởng giống như khi chứng minh [[Định lý đường chéo Cantor|Định lý Cantor]]: lực lượng của một tập lũy thừa của tập ''A'' là lớn hơn lực lượng của ''A''. Điều này thiết lập sự phong phú các thứ bậc của các tập vô hạn, và của số học về bản số và tự số mà ông định nghĩa. Luận cứ của ông có ý nghĩa cơ bản trong lời giải của [[bài toán dừng]] và phép chứng minh [[định lý thứ nhất về tính không đầy đủ của Gödel]]. Cũng vào năm 1894, Cantor viết bài về [[giả thuyết Goldbach]].

Năm 1895 và 1897, Cantor xuất bản bài báo hai phần trên tờ Mathematische Annalen do [[Felix Klein]] biên tập; đây là bài báo quan trọng cuối cùng của ông về lý thuyết tập hợp.<ref>Bản dịch tiếng Anh trong Cantor, 1955.</ref> Phần thứ nhất bắt đầu bằng việc định nghĩa tập hợp, tập con, v.v.. theo cách mà ngày nay chấp nhận rộng rãi. Số học về bản số và tự số cũng được xem xét. Cantor muốn phần thứ hai bao gồm một phép chứng minh cho [[giả thiết continum|giả thuyết continuum]], nhưng đã phải dành để diễn giải về các tập chặt chẽ và tự số. Cantor nỗ lực chứng minh rằng nếu ''A'' và ''B'' là các tập hợp với ''A'' tương đương với một tập con của ''B'' và ''B'' tương đương với một tập con của ''A'', thì ''A'' và ''B'' tương đương với nhau. [[Ernst Schröder]] đã khẳng định định lý này ít lâu trước đó, nhưng phép chứng minh của ông này, cũng như của Cantor, còn có khe hở. Phải đến năm 1898 trong luận văn tiến sĩ [[Felix Bernstein]] mới cung cấp một phép chứng minh đúng đắn, do đó mà có tên [[định lý Cantor-Bernstein-Schroeder]].

==== Tương ứng một-một ====
{{Chính|Song ánh}}
[[Tập tin:Bijection.svg|nhỏ|Một hàm song ánh.]]
Bài báo năm 1874 gửi cho tạp chí Crelle (do Kronecker chủ biên) là bài đầu tiên viện dẫn khái niệm tương ứng một-một ([[song ánh]]), mặc dù ông không dùng cụm từ đó. Ông bắt đầu tìm kiếm tương ứng một-một giữa các điểm trên một [[hình vuông đơn vị]] và các điểm của một [[đoạn thẳng]] đơn vị. Trong lá thư gửi Dedekind năm 1877, Cantor chứng minh một kết quả mạnh hơn nhiều: đối với bất kì số nguyên dương ''n'' nào, tồn tại một tương ứng một-một giữa các điểm của đoạn thẳng đơn vị và tất cả các điểm trong một không gian n chiều. Câu nói của Cantor trong lá thư về khám phá này đã trở thành nổi tiếng "''Je le vois, mais je ne le crois pas''!" ("Tôi thấy nó, nhưng tôi không tin nó!")<ref>Wallace 2003, tr. 259.</ref>. Kết quả mà ông thấy quá đỗi ngạc nhiên có những ngụ ý trên hình học và định nghĩa về [[chiều (hình học)|chiều không gian]].

Năm 1878, Cantor gửi một bài báo khác tới Crelle, trong đó ông định nghĩa một cách chính xác khái niệm về tương ứng một-một, và đưa ra định nghĩa về "lực lượng" tập hợp (một thuật ngữ mượn từ [[Jakob Steiner]]) sự "tương đương" của các tập hợp: hai tập hợp là tương đương (có cùng lực lượng) nếu tồn tại tương ứng một-một giữa chúng. Cantor định nghĩa các tập có thể đếm được (hay có thể đánh số được) là [[không gian Euclide|không gian Euclid]] ''n'' chiều '''R'''<sup>''n''</sup> có cùng lực lượng với tập các số thực '''R''', cũng như một [[tích Descartes|tích]] vô hạn đếm được các bản sao của '''R'''. Trong khi ông sử dụng rộng rãi tính có thể đếm được như một quan niệm, ông chỉ viết thuật ngữ "có thể đếm được" từ năm 1883. Cantor cũng thảo luận những tư tưởng của ông về chiều không gian, nhấn mạnh rằng phép [[ánh xạ]] của ông giữa một khoảng đơn vị và một hình vuông đơn vị không phải là một ánh xạ liên tục.

Bài báo này đã làm mếch lòng Kronecker, và Cantor muốn rút nó xuống, tuy nhiên Dedekind thuyết phục ông không làm vậy và [[Karl Weierstrass|Weierstrass]] tán thành việc công bố.{{efn|Bài báo được gửi tháng 7 năm 1877. Dedekind ủng hộ, nhưng trì hoãn công bố do sự phản đối của Kronecker. Weierstrass đã cổ vũ tích cực cho nó.<ref>Dauben 1979, tr. 69; 324 ''chú thích 63''</ref>}} Tuy nhiên, Cantor không bao giờ gửi công trình nào cho tờ Crelle nữa.

==== Giả thuyết continuum ====
{{Chính|Giả thuyết continuum}}
Cantor là người đầu tiên thiết lập giả thiết mà về sau được biết dưới tên [[giả thiết continum|giả thuyết continuum]] (tiếng Anh: continuum hypothesis, trong các sách thường viết tắt CH): không tồn tại bất cứ tập nào mà lực lượng của nó lớn hơn của tập số tự nhiên và ít hơn tập các số thực (hay một cách tương đương, bản số của số thực là ''chính xác bằng'' aleph-1). Cantor tin rằng giả thuyết continuum đúng và nhiều năm liền tìm cách chứng minh nó đã khiến cho ông suy sụp đáng kể.<ref name="daub280" />

Những tiến bộ về sau trong toán học đã chỉ rõ những khó khăn mà Cantor vấp phải trong việc chứng minh giả thuyết continuum: các kết quả năm 1940 của [[Kurt Gödel|Gödel]] và năm 1963 của [[Paul Cohen (nhà toán học)|Paul Cohen]] cho phép suy luận rằng giả thuyết continuum không thể chứng minh hay bác bỏ nếu sử dụng [[lý thuyết tập hợp Zermelo-Fraenkel]] cùng với [[tiên đề chọn]] (tiếng Anh là "axiom of choice", tổ hợp hai yếu tố này thường được viết tắt là ZFC).{{efn|Một số nhà toán học xem những kết quả này là đã đặt ra vấn đề, và nhiều nhất thì cho phép có thể kiểm tra các kết quả hình thức của CH hoặc phản đề của nó, hoặc của các tiên đề ngụ ý một trong hai điều. Những người khác vẫn tiếp tục tìm những tiên đề "tự nhiên" hay "đúng đắn" mà khi thêm vào ZFC, sẽ cho phép chứng minh hoặc bác bỏ CH, hoặc thậm chí là một bằng chứng trực tiếp ủng hộ hay chống lại CH; trong số những người đó nổi bật nhất là [[W. Hugh Woodin]]. Một trong những bài báo cuối cùng của Gödel lập luận rằng CH sai, và continuum có lực lượng là Aleph-2.}}

==== Nghịch lý ====
Thảo luận về những [[nghịch lý]] liên quan tới lý thuyết tập hợp bắt đầu xuất hiện khoảng cuối thế kỉ 19. Một số trong những nghịch lý ngụ ý những khó khăn cơ bản đối với bản thân lý thuyết.<ref>Dauben 1979, tr. 240&ndash;270; đặc biệt xem tr. 241, 259.</ref> Trong một bài báo năm 1897 về một chủ đề không liên quan, [[Cesare Burali-Forti]] đặt ra nghịch lý đầu tiên, [[nghịch lý Burali-Forti]]: tự số của tập hợp tất cả các bản số phải là một tự số và điều này dẫn tới mâu thuẫn. Cantor đã phát hiện nghịch lý này năm 1895, mô tả nó trong một bức thư gửi [[David Hilbert|Hilbert]] năm 1896. Những chỉ trích đạt tới đỉnh điểm khi Cantor đưa ra những lập luận phản bác vào năm 1903 với dự định bảo vệ những giáo lý cơ bản trong lý thuyết của mình.<ref name=autogenerated5>Dauben 1979, p. 248.</ref>
Năm 1899, Cantor khám phá ra [[nghịch lý Cantor|nghịch lý mang tên ông]]: bản số của tập hợp của mọi tập hợp là gì? Rõ ràng nó phải là bản số lớn nhất khả dĩ. Nhưng với bất kỳ tập ''A'' nào, bản số của tập lũy thừa của ''A'' lớn hơn bản số của ''A'' (thực kiện này chính là định lý Cantor). Nghịch lý này, cùng với nghịch lý thứ nhất kể trên, dẫn Cantor tới việc thiết lập một quan niệm gọi là ''phép giới hạn kích thước'', theo đó tập hợp của tất cả bản số, hoặc của tất cả tập hợp, là một số "bội không nhất quán" "quá lớn" để là một tập hợp. Về sau người ta gọi những "tập hợp" như vậy là
[[lớp (lý thuyết tập hợp|lớp riêng]]".

Một quan điểm chung của các nhà toán học là những nghịch lý này, cùng với [[nghịch lý Russell]] chứng tỏ rằng không thể nào đem một cách tiếp cận giản đơn, phi tiên đề đối với lý thuyết tập hợp mà không có nguy cơ gặp mâu thuẫn, và chắc chắn rằng chúng là những động lực để Zermelo và những người khác tạo nên những phép tiên đề hóa cho lý thuyết tập hợp. Những người khác lại ghi nhận rằng những nghịch lý không thu được trong một cái nhìn không hợp thức khuyến khích bởi những thứ bậc lặp lại, vốn có thể xem như sự diễn giải những ý tưởng về phép giới hạn kích thước. Vài người cũng đặt câu hỏi liệu cách thiết lập lý thuyết tập hợp giản đơn của Frege (thứ bị nghịch lý Russell bác bỏ trực tiếp) có thực sự là một cách diễn giải trung thành của những quan niệm Cantor.<ref>Weir 1998, tr. 766</ref>

== Triết học, tôn giáo với toán học Cantor ==
Quan niệm về sự tồn tại của một [[vô hạn thực]] là một vấn đề quan trọng được các lĩnh vực toán học, triết học và tôn giáo cùng quan tâm. Bảo vệ tính chính thống của mối quan hệ giữa Chúa Trời và toán học, mặc dù không giống cách của những người chỉ trích mình, là một mối quan tâm dai dẳng của Cantor.<ref name="daub295">Dauben 1979, tr. 295.</ref> Ông trực tiếp nhắc đến sự giao thoa giữa các lĩnh vực trên trong lời giới thiệu ''Grundlagen einer allgemeinen Mannigfaltigkeitslehre,'' trong đó ông nhấn mạnh mối liên hệ giữa quan điểm về cái vô hạn với ý tưởng triết học về nó của ông.<ref>Dauben, 1979, tr. 120.</ref> Đối với Cantor, những quan điểm toán học của ông gắn bó nội tại với những ngụ ý triết học và thần học của chúng; ông đồng nhất cái Vô hạn Tuyệt đối với Chúa Trời<ref>Hallett 1986, tr. 13. So sánh với các bài viết của [[Tommaso d'Aquino|Thomas Aquinas]].</ref> và ông xem công trình về số siêu hạn của minh đã được mặc khải cho ông trực tiếp từ Chúa-đấng chọn Cantor để hiển lộ chúng cho thế giới.<ref name = "xdpfir"/>

Tranh cãi giữa các nhà toán học nảy sinh từ những quan điểm đối lập trong [[triết học toán học]] liên quan tới bản chất của vô hạn thực. Một vài người giữ quan điểm rằng vô hạn là một sự trừu tượng hóa không hợp thức về mặt toán học, và từ chối sự tồn tại của nó.<ref name="daub225">Dauben 1979, tr. 225</ref> Các nhà toán học từ ba trường phái tư tưởng chính ([[chủ nghĩa cấu trúc (toán học)|cấu trúc luận]] và hai nhánh của nó, [[trực giác luận]] và [[hữu hạn luận]]) phản đối lý thuyết của Cantor về vấn đề này. Đối với những nhà cấu trúc luận như Kronecker, sự bác bỏ vô hạn thực nảy sinh từ sự bất đồng căn bản với ý tưởng rằng những phép chứng minh phi cấu trúc như lập luận chéo của Cantor là đủ để đảm bảo sự tồn tại của cái gì đó. Thuyết trực giác cũng phản đối ý tưởng rằng vô hạn thực là biểu diễn của bất kỳ loại hiện thực nào, nhưng từ một con đường khác. Thứ nhất, lập luận của Cantor dùng logic để chứng minh sự tồn tại của số siêu hạn như một thực thể toán học thực, trong khi những người theo thuyết trực giác cho rằng các thực thể toán học không thể quy giảm về các mệnh đề logic, mà phải bắt nguồn từ [[trực giác]] của [[tinh thần|tâm thức]].<ref name=autogenerated1>[[#Dauben1979|Dauben 1979]], p. 266.</ref> Thứ hai, cách định nghĩa cái vô hạn của Cantor tự nó đã không được phép trong trực giác luận, bởi vì tâm thức con người không thể xây dựng bằng trực giác một tập vô hạn.<ref>Snapper 1979, tr. 3</ref> [[Luitzen Egbertus Jan Brouwer|Brouwer]] và đặc biệt là [[Henri Poincaré|Poincaré]] tiêu biểu cho lập trường trực giác luận chống Cantor. Trích dẫn những nghịch lý của lý thuyết tập hợp như ví dụ về bản chất sai lầm cơ bản của nó, Poincaré đòi hỏi "hầu hết những ý tưởng của lý thuyết tập hợp Cantor cần bị loại bỏ khỏi toán học một lần và mãi mãi."<ref name=autogenerated1 /> Cuối cùng, đòn tấn công của [[Ludwig Wittgenstein|Wittgenstein]] có tính hữu hạn luận: ông tin rằng lập luận chéo của Cantor đúc kết thành một cường độ của một tập hợp các bản số hay số thực với trương độ của nó, và do đó tạo thành quan niệm về những nguyên tắc tạo ra một tập hợp với một tập hợp có thực, điều ông không chấp nhận.<ref name="Rodych">Rodych 2007</ref>

Một số nhà [[thần học]] Thiên Chúa giáo xem công trình của Cantor là thách thức với tính duy nhất của cái vô hạn tuyệt đối trong bản chất của Chúa.<ref name=autogenerated4>[[#Dauben1977|Dauben 1977]], p. 86; [[#Dauben1979|Dauben 1979]], pp. 120, 143.</ref> Đặc biệt, các nhà tư tưởng [[chủ nghĩa Tân kinh viện|Tân kinh viện]] nhìn thấy sự tồn tại của một vô hạn thực hàm chứa gì đó hơn là Chúa khi hủy hoại "tuyên bố độc nhất về vô hạn tối thượng của Chúa."<ref>Davenport 1997, tr.3</ref> Cantor tin tưởng mạnh mẽ rằng quan điểm này là một sự diễn dịch sai lầm về cái vô hạn, và cho rằng lý thuyết tập hợp có thể giúp hiệu chỉnh sai lầm này:<ref name="daub7785">[[#Dauben1977|Dauben 1977]], p. 85.</ref>
{{quote|... các số siêu hạn chỉ nhiều đúng bằng trong sự sắp đặt của những ý định của Đấng Sáng tạo và ý chí không bị trói buộc vô hạn của Ngài như là những số hữu hạn.<ref>Cantor 1932, tr. 404. dịch lại trong Dauben 1977, tr. 95.</ref>}}

Cantor cũng tin rằng lý thuyết của ông có thể đối lập với cả [[chủ nghĩa duy vật]] và [[quyết định luận]]; và ông bị sốc khi nhận ra mình là người duy nhất ở Đại học Halle không tin vào các niềm tin triết học tất định luận.<ref name="daub296">Dauben 1979, tr. 296.</ref>

Năm 1888, Cantor công bố thư từ của ông với một số triết gia về những ngụ ý triết học của lý thuyết tập hợp. Trong một nỗ lực lớn nhằm thuyết phục các nhà tư tưởng và giới chức Cơ đốc khác như [[Tilman Pesch]] và [[Joseph Hontheim]],<ref>Dauben, 1979, tr. 144.</ref> cũng như các nhà thần học như Hồng y [[Johannes Franzelin]], người từng đáp trả bằng việc đặt ngang hàng lý thuyết về số siêu hạn với thuyết phiếm thần.<ref name="daub77102">Dauben, 1977, p. 102.</ref> Cantor thậm chí còn gửi thư trực tiếp tới [[Giáo hoàng Lêô XIII]], và gửi nhiều tiểu luận tới ông.<ref name=autogenerated2>Dauben, 1977, tr. 85.</ref>
Triết lý của Cantor về bản chất của các con số dẫn ông tới chỗ khẳng định một xác tín rằng toán học có tự do để thừa nhận và chứng minh những quan niệm nằm ngoài địa hạt của các hiện tượng vật lý, như những cách biểu diễn của một thực thể bên trong. Giới hạn duy nhất của hệ thống [[siêu hình học|siêu hình]] này là tất cả các quan niệm toán học phải không chứa mâu thuẫn nội tại, và rằng chúng tuân theo những định nghĩa, tiên đề, định lý đã có từ trước. Niềm tin này được tổng kết trong khẳng định nổi tiếng của ông rằng "bản chất tối hậu của toán học là sự tự do của nó."<ref>Dauben, 1977 tr. 91&ndash;93.</ref> Những ý tưởng này tương tự như của [[Edmund Husserl]].<ref>Về Cantor, Husserl, và Gottlob Frege, xem Hill và Rosado Haddock (2000).</ref> Trong khi đó, tự thân Cantor lại chống đối kịch liệt những đại lượng vô cùng bé, mô tả chúng là một "điều ghê tởm", "một thứ vi khuẩn tả của toán học".

Bài báo năm 1883 của Cantor chứng tỏ rằng ông khá quan tâm tới nhưng sự phản đối mà ý tưởng của ông vấp phải: "Tôi nhận ra rằng trong công cuộc này tôi đặt mình vào một sự đối lập nào đó với những quan điểm được thừa nhận rộng rãi liên quan tới cái vô hạn trong toán học và với những ý kiến thường xuyên được bảo vệ về bản chất các con số".<ref name="daub96">Dauben 1979, p. 96.</ref> Do đó ông dành nhiều thời gian để chứng minh các công trình trước đây của mình, khẳng định rằng các khái niệm toán học có thể được tự do đưa ra chừng nào chúng không có mâu thuẫn và xác định trong những quan niệm đã được chấp nhận từ trước. Ông cũng trích dẫn [[Aristoteles|Aristotle]], [[René Descartes|Descartes]], [[George Berkeley|Berkeley]], [[Gottfried Leibniz|Leibniz]], và [[Bernard Bolzano|Bolzano]] bàn về tuyệt đối.

== Dòng dõi ==
[[Tập tin:Blackboard Georg Cantor (11-line V O building 24).jpg|nhỏ|Dòng chữ trên biển tưởng niệm bằng tiếng Nga: "Ngôi nhà này là nơi sinh ra và lớn lên từ năm 1845 tới năm 1854 của nhà toán học vĩ đại, người sáng tạo nên lý thuyết tập hợp Georg Cantor", [[Đảo Vasilievsky]], Saint-Petersburg.]]

Người ta biết rất ít điều gì chắc chắn về nguồn gốc và việc giáo dục của George Woldemar Cantor.<ref name="pi87">Purkert and Ilgauds 1987, tr. 15.</ref> Ông bà nội của Cantor đến từ [[Copenhagen]], và chạy tới Nga khi [[Các cuộc chiến tranh của Napoléon|Chiến tranh Napoléon]] bùng nổ, ngoài ra không biết được thêm thông tin trực tiếp gì về họ. Trong khi tên của Cantor được liệt kê trong một số cuốn niên giám về người Do Thái.<ref>Chẳng hạn, Từ điển Bách khoa Do Thái, mục "Cantor, Georg"; Niên giám Do Thái 1896&ndash;97, "Danh sách những người Do Thái nổi tiếng ở thế kỷ 19", tr. 119; mục Cantor trong danh sách này không có dấu sao dùng để chỉ một ai chỉ có bố hoặc mẹ là Do Thái.</ref>, ông cũng còn được gọi là người Nga, Đức, hoặc Đan Mạch

Jakob Cantor, ông nội ông, đặt tên con cái bằng các tên thánh Cơ đốc. Hơn nữa, một vài người họ hàng của bà ngoại ông phục vụ trong chính quyền [[Sa hoàng|Nga Hoàng]], nơi không chấp nhận người Do Thái trừ khi [[Họ Cải|họ cải]] đạo sang Cơ đốc. Bố của Cantor, Georg Waldemar Cantor, được dạy dỗ trong một giáo đoàn [[Giáo hội Luther|Lutheran]] ở Saint Peterburg, và thư từ giữa ông và con trai cho thấy cả hai bọn họ là những người Lutheran nhiệt thành. Mẹ ông, Maria Anna Böhm, là một người sinh ở [[Đế quốc Áo-Hung|Áo-Hung]] sống ở Nga và rửa tội theo [[Giáo hội Công giáo Rôma|Công giáo La Mã]], sau đám cưới bà cải sang [[Tin Lành]].<ref>Bertrand Russell, Hồi ký, tập. I, tr. 229.</ref> Tuy nhiên một lá thư của em trai Cantor là Louis gửi mẹ cho phép suy luận rằng bà cũng là người Do Thái.<ref>Để có thêm thông tin, xem: Dauben 1979, tr. 1 và các ghi chú; Grattan-Guinness 1971, tr. 350&ndash;352; Purkert và Ilgauds 1985; lá thư trong Aczel 2000, tr. 93&ndash;94.</ref> Tuy nhiên, một cuộc tìm kiếm năm 1930 bởi một chuyên gia phả hệ Do Thái là Josef Fischer đã không cho thấy bất cứ kết quả rõ ràng nào về dòng dõi của Cantor.<ref name="pi87"/> Bằng chứng xác thực nhất về dòng dõi của Cantor là một bức thư ông gửi cho Paul Tannery trong đó có chi tiết khẳng định ông bà nội ông là người Do Thái.<ref>Paul Tannery, ''Memoires Scientifique 13 Correspondance'', Gauthier-Villars, Paris, 1934, tr. 306</ref>

== Ghi chép tiểu sử ==
Cho đến những năm 1970, những công bố học thuật chính liên quan tới Cantor là hai tiểu luận ngắn của [[Arthur Moritz Schönflies|Schönflies]] (1927) &mdash; chủ yếu liên quan tới thư từ với Mittag-Leffler &mdash; và Fraenkel (1930). Chúng đều ít liên quan tới cuộc đời tư của Cantor. Khoảng trống đó được cuốn ''Men of Mathematics'' (1937) của [[Eric Temple Bell]] bổ sung, một cuốn sách rất phổ biến nhưng bị chỉ trích về chất lượng.<ref>Grattan-Guinness 1971, tr. 350.</ref> Bell giới thiệu mối quan hệ của Cantor với cha là mang tính [[Oedipus]], những khác biệt của Cantor với Kronecker như mối bất hòa giữa hai người Do Thái, và bệnh động kinh của Cantor như một sự thất chí lãng mạn do không nhận được sự chấp nhận cho sự nghiệp toán học, và lấp đầy bức tranh minh họa Cantor bằng các kiểu mẫu. Do thiếu tài liệu, những chi tiết này được nhiều cuốn sách khác in lại, cho đến khi Grattan-Guinness (1971) chứng tỏ chúng đều không đúng và có tính hư cấu. Còn có những huyền thoại khác không liên quan tới Bell, bao gồm cả câu chuyện rằng cha Cantor là một đứa bé bị bỏ rơi và gửi tới Saint Peterburg.<ref>Grattan-Guinness 1971, Dauben 1979, tr. 1)</ref> Ngoài tiểu luận ''Towards a Biography of Georg Cantor'' năm 1971 của Grattan-Guinness, cuốn sách ''Georg Cantor: his mathematics and philosophy of the infinite'' (1979) là chuyên khảo duy nhất và đầy đủ tư liệu hơn cả về cuộc đời và sự nghiệp của Cantor.<ref>''Georg Cantor'', Joseph Dauben, Harvard University Press (1979). In lại dạng bìa mềm bởi Princeton University (1990).</ref>

== Tưởng niệm ==
Bên cạnh một loạt những khái niệm, định lý toán học mang tên Cantor, tên ông cũng được đặt cho một [[tiểu hành tinh]] ([[16246 Cantor]]), một hố thiên thạch trên Mặt Trăng, trường [[Georg-Cantor-Gymnasium|Trung học Georg Cantor]] chuyên toán ở Halle,<ref>[http://cantor-gymnasium.de/ Gymnasium Georg Cantor]</ref> cũng như một số địa danh khác... [[Huy chương Cantor]] do Hội Toán học Đức trao 2 năm một lần kể từ 1990 cho những nhà toán học nói tiếng Đức trên thế giới có thành tựu đặc biệt.<ref>{{Chú thích web |url=https://dmv.mathematik.de/aktivitaeten/preise-und-auszeichnungen/cantor-medaille/archiv.html |ngày truy cập=2013-03-31 |tựa đề=Cantor-Medaille |archive-date=2013-02-06 |archive-url=https://archive.today/20130206210828/https://dmv.mathematik.de/aktivitaeten/preise-und-auszeichnungen/cantor-medaille/archiv.html |url-status=dead }}</ref>

== Chú thích ==
{{Ghi chú|30em}}

== Ghi chú ==

{{tham khảo|30em}}

== Tham khảo ==
:''Các nguồn tư liệu cũ về cuộc đời Cantor cần cẩn trọng khi xem xét. Xem mục [[#Ghi chép tiểu sử]] ở trên để biết lý do.''
; Tư liệu chính:
* {{Citation |surname=Cantor|given=Georg|year=1955|origyear=1915|url=http://www.archive.org/details/contributionstot003626mbp|title=Contributions to the Founding of the Theory of Transfinite Numbers|editor=[[Philip Jourdain]]|place=New York|publisher=Dover|isbn=978-0-486-60045-1}}.
* {{Citation |editor-last=Ewald|editor-first=William B.|year=1996|title=From [[Immanuel Kant]] to [[David Hilbert]]: A Source Book in the Foundations of Mathematics|place=New York|publisher=Oxford University Press|isbn=978-0-19-853271-2}}.
* {{Citation |surname=Cantor|given=Georg|year=1874|url=<!-- http://bolyai.cs.elte.hu/~badam/matbsc/11o/cantor1874.pdf -->http://www.lr-web.dk/Lru/microsites/hem/ekstramaterialevedlixflyt/28_Cantor_Uber_eine_Eigenschaft_des_Inbegriffes_aller_reellen_algebraischen_Zahlen_1874.pdf|title=Über eine Eigenschaft des Inbegriffes aller reelen algebraischen Zahlen|journal=[[Journal für die Reine und Angewandte Mathematik]]|volume=77|pages=258–262}}.
* {{Citation|surname=Cantor|given=Georg|year=1932|url=http://philosophons.free.fr/philosophes/cantor1932.pdf|title=Gesammelte Abhandlungen mathematischen und philosophischen inhalts|editor=[[Ernst Zermelo]]|format=PDF|access-date=2018-04-03|archive-date=2007-06-30|archive-url=https://web.archive.org/web/20070630234312/http://philosophons.free.fr/philosophes/cantor1932.pdf}}. Chứa gần như tất cả những gì Cantor từng viết.
* {{Citation |year=1926|url=http://www.digizeitschriften.de/main/dms/img/?PPN=GDZPPN002270641|title=Über das Unendliche|journal=Mathematische Annalen|volume=95|pages=161–190 |doi=10.1007/BF01206605 |last1=Hilbert |first1=David}}.

; Tư liệu thứ cấp:
* {{Citation |surname=Aczel|given=Amir D.|year=2000|title=The mystery of the Aleph: Mathematics, the Kabbala, and the Human Mind|place=New York|publisher=Four Walls Eight Windows Publishing}}. ISBN 0-7607-7778-0. Một xem xét về vô hạn, trong đó thường xuyên đề cập tới Cantor.
* {{Citation |surname=[[Joseph Dauben|Dauben]]|given= Joseph W.|year=1977|title=Georg Cantor and Pope Leo XIII: Mathematics, Theology, and the Infinite|journal=Journal of the History of Ideas|volume=38|number=1|pages=85–108}}.
* {{Citation |surname=Dauben|given= Joseph W.|year=1979|title=Georg Cantor: his mathematics and philosophy of the infinite|place=Boston|publisher=Harvard University Press}}. Tiểu sử đầy đủ nhất có cho tới nay. ISBN 978-0-691-02447-9
* {{Citation |surname=Dauben|given= Joseph W.|year=tháng 6 năm 1983|title=Georg Cantor and the Origins of Transfinite Set Theory|journal=Scientific American|volume=248|issue=6|pages=122–131}}
* {{Citation |surname=Dauben|given= Joseph|year=1993, 2004|chapter=Georg Cantor and the Battle for Transfinite Set Theory|chapter-url=http://heavysideindustries.com/wp-content/uploads/2011/08/Dauben-Cantor.pdf|title=Proceedings of the 9th ACMS Conference (Westmont College, Santa Barbara, CA)|pages=1–22}}. Phiên bản Internet xuất bản trên tạp chí ACMS 2004.
* {{Citation |surname=Davenport|year=1997|given=Anne A.|title=The Catholics, the Cathars, and the Concept of Infinity in the Thirteenth Century|journal=Isis|volume=88|issue=2|pages=263–295}}.
* {{Citation |surname=Ferreirós|given=José |year=2007|title=Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought|place=Basel, Switzerland|publisher=Birkhäuser}}. ISBN 3-7643-8349-6. Chứa đựng một đánh giá chi tiết về đóng góp của Cantor và Dedekind với lý thuyết tập hợp.
* {{Citation |surname=[[Ivor Grattan-Guinness|Grattan-Guinness]]|given=[[Ivor Grattan-Guinness|Ivor]]|year=1971|title=Towards a Biography of Georg Cantor|journal=Annals of Science|volume=27|pages=345–391}}.
* {{Citation |surname=[[Ivor Grattan-Guinness|Grattan-Guinness]]|given=[[Ivor Grattan-Guinness|Ivor]]|year=2000|title=The Search for Mathematical Roots: 1870–1940|publisher=Princeton University Press}}. ISBN 978-0-691-05858-0
* {{Citation |surname=Hallett|given=Michael|title=Cantorian Set Theory and Limitation of Size|publisher=Oxford University Press|place=New York|year=1986}}. ISBN 0-19-853283-0
* {{Citation |surname=[[Paul Halmos|Halmos]]|given=[[Paul Halmos|Paul]]|year=1998, 1960|title=Naive Set Theory|place=New York & Berlin|publisher=Springer}}. ISBN 3-540-90092-6
* {{Citation |surname=Hill|given= C. O.|surname2=Rosado Haddock|given2=G. E.|year=2000|title=Husserl or Frege? Meaning, Objectivity, and Mathematics|place=Chicago|publisher=Open Court}}. ISBN 0-8126-9538-0 Ba chương và 18 chỉ mục về Cantor.
* {{Citation |surname=Johnson|given= Phillip E.|year=1972|title=The Genesis and Development of Set Theory|journal=The Two-Year College Mathematics Journal|volume=3|issue=1|pages=55–62}}.
* {{Citation |surname=Meschkowski|given= Herbert|year=1983|title=Georg Cantor, Leben, Werk und Wirkung (George Cantor, Life, Work and Influence, tiếng Đức)|publisher= Wieveg, Braunschweig}}
* {{Citation |surname=Moore|given= A.W.|year=tháng 4 năm 1995|title=A brief history of infinity|journal=Scientific American|volume=272|issue=4|pages=112–116}}.
* {{Citation |surname=[[Roger Penrose|Penrose]]|given=[[Roger Penrose|Roger]]|year=2004|title=The Road to Reality|publisher=Alfred A. Knopf}}. ISBN 0-679-77631-1 Chương 16 mô tả ảnh hưởng Cantor lên một nhà vật lý lý thuyết hàng đầu đương đại.
* {{Citation |surname=Purkert|given=Walter|surname2=Ilgauds|given2=Hans Joachim|year=1985|title=Georg Cantor: 1845–1918|publisher=[[Birkhäuser Verlag|Birkhäuser]]}}. ISBN 0-8176-1770-1
* {{Citation |surname=Reid|given= Constance|year=1996|title=Hilbert|place=New York|publisher=Springer-Verlag}}. ISBN 0-387-04999-1
* {{Citation |surname=[[Rudy Rucker|Rucker]]|given=[[Rudy Rucker|Rudy]]|year=2005, 1982|title=Infinity and the Mind|publisher=Princeton University Press}}. ISBN 0-553-25531-2 Có chung đề tài với Aczel, nhưng thảo luận kỹ hơn.
* {{Citation |surname=Rodych|given=Victor|year=2007|chapter=Wittgenstein's Philosophy of Mathematics|chapter-url=http://plato.stanford.edu/entries/wittgenstein-mathematics/|title=The Stanford Encyclopedia of Philosophy|editor=Edward N. Zalta}}.
* {{Citation |surname=Suppes|given=Patrick|year=1972, 1960|title=Axiomatic Set Theory|place=New York|publisher=Dover}}. ISBN 0-486-61630-4.
* {{Citation |surname=Wallace|given= David Foster|year=2003|title=Everything and More: A Compact History of Infinity|place=New York|publisher=W.W. Norton and Company}}. ISBN 0-393-00338-8
* {{Citation |surname=Weir|given=Alan|year=1998|title=Naive Set Theory is Innocent!|journal=Mind|volume=107|number=428|pages=763–798}}.

== Liên kết ngoài ==
{{Wikiquote-en}}
{{wikiversity|Philosophy of mathematics/Georg Cantor}}
{{thể loại Commons}}
*{{MacTutor|id=Cantor}}
*{{MacTutor|class=HistTopics|id = Beginnings_of_set_theory|title = A history of set theory}} Mainly devoted to Cantor's accomplishment.
*{{MathGenealogy |id=29561}}
*Stanford Encyclopedia of Philosophy: [http://plato.stanford.edu/entries/set-theory/ Set theory] bởi [[Thomas Jech]].
*Grammar school Georg-Cantor Halle (Saale): [http://www.cantor-gymnasium.de Georg-Cantor-Gynmasium Halle]
*The Story of Mathematics: [http://www.storyofmathematics.com/19th_cantor.html 19TH CENTURY MATHEMATICS - CANTOR]
* {{Britannica|93251}}
*[http://gallica.bnf.fr/ark:/12148/bpt6k86243w.r=Georg+Cantor.langEN Georg Cantor trên [[Bách khoa Tự điển Larousse|Larousse]]]
* {{TĐBKVN|30216|Canto G.}} {{vi}}

{{Lý thuyết tập hợp}}
{{Lý luận học}}
{{Vô tận}}
{{Kiểm soát tính nhất quán}}
{{Thanh chủ đề|Toán học|Đức|Triết học}}
{{Sao chọn lọc|phiên bản chọn lọc= 11357381|thời gian= 23 tháng 4 năm 2013 }}

{{DEFAULTSORT:Cantor, Georg}}
[[Thể loại:Nhà toán học Đức]]
[[Thể loại:Nhà toán học thế kỷ 19]]
[[Thể loại:Sinh năm 1845]]
[[Thể loại:Mất năm 1918]]
[[Thể loại:Nhà toán học thế kỷ 20]]
[[Thể loại:Nhà triết học Đức]]
[[Thể loại:Nhà lý thuyết tập hợp]]
[[Thể loại:Người Đức gốc Do Thái]]
[[Thể loại:Người bị rối loạn lưỡng cực]]
[[Thể loại:Triết gia thế kỷ 19]]
[[Thể loại:Triết gia thế kỷ 20]]
[[Thể loại:Người Sankt-Peterburg]]
[[Thể loại:Nhà toán học Đức thế kỷ 19]]