Lịch sử và Triết học toán học

Toán học thế kỷ 19–21

Chặt chẽ hóa giải tích với định nghĩa $\forall\varepsilon>0\,\exists\delta>0:0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$ , tiêu chuẩn Galois nối "giải được bằng căn thức" với cấu trúc nhóm, đa tạp Riemann $ds^2=g_{ij}\,dx^i dx^j$ và hàm zeta $\zeta(s)=\sum_{n=1}^{\infty} n^{-s}$ , lý thuyết tập hợp của Cantor, cùng hành trình qua chương trình Hilbert, lược đồ Grothendieck và các bài toán mở hiện nay.

Trực giácHành trình từ sự chặt chẽ tới biên giới nghiên cứu

Đến năm 1800, giải tích đã tạo ra bao kỳ tích suốt hai thế kỷ nhưng lại đứng trên nền móng lung lay: chẳng ai nói được chính xác một "đại lượng vô cùng bé" là gì. Thế kỷ 19 lấp đầy khoảng trống đó bằng logic chặt chẽ; thế kỷ 20 và 21 mở ra những cánh cửa mà Newton và Leibniz chưa từng tưởng tượng — các cấu trúc trừu tượng, không gian nhiều hơn ba chiều, và những chứng minh được máy tính kiểm tra. Chủ đề này đi theo đúng cung đường đó: từ định nghĩa $\varepsilon$ - $\delta$ của giới hạn, qua lý thuyết nhóm của Galois và hình học của Riemann, tới lược đồ của Grothendieck, chứng minh giả thuyết Poincaré của Perelman, và việc kiểm chứng hình thức có sự hỗ trợ của AI ngày nay.

Tô màu miền của một hàm phức: các nhà giải tích thế kỷ 19 (Cauchy, Riemann) nghiên cứu hàm trên mặt phẳng phức, nơi không điểm và cực điểm hé lộ cấu trúc sâu xa — Giả thuyết Riemann vẫn chưa được chứng minh chính là phát biểu về vị trí chính xác của các không điểm của hàm zeta.

Phổ thôngChặt chẽ hóa giải tích: định nghĩa $\varepsilon$ - $\delta$ của giới hạn

Định nghĩa: Giới hạn theo Cauchy–Weierstrass

Ta nói $\lim_{x\to a}f(x)=L$ khi: $\forall\varepsilon>0\,\exists\delta>0:0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$ . Nói bằng lời: dù bạn đòi hỏi sai số $\varepsilon$ trên đầu ra nhỏ đến đâu, vẫn tồn tại một khoảng bán kính $\delta$ quanh $a$ ở đầu vào đảm bảo điều đó. Cauchy (1821) và sau đó Weierstrass đã trao cho khái niệm này một ý nghĩa chính xác, dùng lượng từ, thay cho cách Newton và Leibniz chỉ mô tả trực giác là đại lượng "tiến gần" tới một giới hạn.

\forall\varepsilon>0\,\exists\delta>0:0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon

Mỗi ký hiệu đều mang ý nghĩa: $\forall\varepsilon>0$ nghĩa là "với mọi sai số dương," $\exists\delta>0$ nghĩa là "tồn tại một bán kính dương ở đầu vào," và mệnh đề kéo theo $0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$ nói rằng nằm trong khoảng $\delta$ quanh $a$ (nhưng khác $a$ ) buộc $f(x)$ nằm trong khoảng $\varepsilon$ quanh $L$ . Chỉ một dòng này đã thay thế hai thế kỷ lập luận mơ hồ về "đại lượng biến mất," cho phép các nhà toán học chứng minh — chứ không chỉ tin — các phát biểu về liên tục, đạo hàm và hội tụ.

Đại họcLý thuyết Galois: giải được bằng căn thức nhìn qua cấu trúc nhóm

Định nghĩa: Tiêu chuẩn giải được của Galois

Évariste Galois gắn cho mỗi phương trình đa thức một nhóm — nhóm Galois của nó, tức nhóm các đối xứng của các nghiệm bảo toàn mọi quan hệ hữu tỉ giữa chúng — và chứng minh: phương trình giải được bằng căn thức (bằng công thức dùng $+,-,\times,\div$ và căn bậc $n$ ) khi và chỉ khi nhóm này là một nhóm giải được, nghĩa là có một dãy nhóm con $1=G_0\triangleleft G_1\triangleleft\cdots\triangleleft G_k=G$ với mỗi thương $G_{i+1}/G_i$ giao hoán. Chẳng hạn, $x^3-2$ trên $\mathbb{Q}$ có nhóm Galois là $S_3$ , giải được nhờ dãy $1\triangleleft A_3\triangleleft S_3$ (cả hai thương, $A_3/1\cong\mathbb{Z}/3\mathbb{Z}$ và $S_3/A_3\cong\mathbb{Z}/2\mathbb{Z}$ , đều giao hoán).

1\triangleleft A_3\triangleleft S_3

Ngược lại, một phương trình bậc năm tổng quát như $x^5-x-1$ có nhóm Galois là $S_5$ , và $S_5$ không giải được — các nhóm con chuẩn tắc duy nhất của nó là $1$ , $A_5$ và chính $S_5$ , mà $A_5$ lại đơn và không giao hoán, nên không tồn tại dãy thương giao hoán nào. Đây chính là định lý Abel–Ruffini nói theo ngôn ngữ Galois: không có công thức căn thức tổng quát cho phương trình bậc 5 (hay cao hơn), dù những phương trình bậc năm cụ thể như $x^5-1$ (có các nghiệm là căn bậc 5 của đơn vị, với nhóm Galois giao hoán nên giải được) vẫn giải được bằng căn thức.

Thế kỷ 19 cũng giải phóng hình học khỏi sự phẳng của Euclid. Bernhard Riemann đề xuất đo khoảng cách một cách nội tại, trên bất kỳ không gian trơn nào, bằng một mêtric $ds^2=g_{ij}\,dx^i dx^j$ (chỉ số lặp lấy tổng): khoảng cách và góc được đọc ra từ tenxơ $g_{ij}$ tại từng điểm, không cần nhúng không gian vào một không gian phẳng lớn hơn. Cũng trong công trình năm 1859 về đếm số nguyên tố, Riemann mở rộng chuỗi $\zeta(s)=\sum_{n=1}^{\infty} n^{-s}$ thành một hàm của biến phức $s$ và phỏng đoán rằng mọi không điểm không tầm thường của nó đều có phần thực bằng $1/2$ — Giả thuyết Riemann, đến nay vẫn còn mở và giữ vai trò trung tâm trong việc hiểu sự phân bố số nguyên tố.

ds^2=g_{ij}\,dx^i dx^j

\zeta(s)=\sum_{n=1}^{\infty} n^{-s}

Trong khi đó, Georg Cantor xây dựng một lý thuyết chặt chẽ về tập hợp vô hạn và chỉ ra (Định lý 1 dưới đây) rằng có những vô hạn thực sự lớn hơn những vô hạn khác — tập số thực $\mathbb{R}$ không thể liệt kê thành một dãy như các số tự nhiên. Tại Đại hội Toán học Quốc tế năm 1900 ở Paris, David Hilbert đã đội vương miện cho thế kỷ chặt chẽ này bằng một chương trình: danh sách 23 bài toán mở, cùng tham vọng lớn hơn là hình thức hóa toàn bộ toán học trên một nền móng logic vững chắc. Ba thập niên sau, các định lý bất toàn của Kurt Gödel (xem "định lý bất toàn" trong Chủ đề liên quan) cho thấy tham vọng đó không bao giờ có thể thực hiện trọn vẹn — mọi hệ hình thức nhất quán đủ mạnh để chứa số học đều có những phát biểu đúng mà nó không chứng minh được.

Ba thế kỷ toán học, nhìn trong một cái liếc
Thế kỷ	Nhà toán học tiêu biểu	Kết quả nổi bật	Mốc thời gian
19	Cauchy, Riemann, Galois, Cantor	Giới hạn chặt chẽ $\forall\varepsilon>0\,\exists\delta>0:0<\|x-a\|<\delta\Rightarrow\|f(x)-L\|<\varepsilon$ ; tiêu chuẩn giải được của Galois; hình học Riemann $ds^2=g_{ij}\,dx^i dx^j$ và hàm zeta $\zeta(s)=\sum_{n=1}^{\infty} n^{-s}$ ; lý thuyết tập hợp và vô hạn không đếm được	1821–1874
20	Hilbert, Gödel, Grothendieck, Poincaré	23 bài toán của Hilbert; các định lý bất toàn của Gödel; lược đồ $\mathrm{Spec}(R)$ của Grothendieck; chương trình Langlands	1900–1970s
21	Perelman, Maynard, Viazovska	Chứng minh giả thuyết Poincaré; khoảng cách bị chặn giữa các số nguyên tố; xếp cầu tối ưu ở chiều 8 và 24; kiểm chứng hình thức có sự hỗ trợ của AI	2002–2024

Định lý: Định lý Cantor: tập số thực không đếm được

Khoảng $[0,1]$ (và do đó $\mathbb{R}$ ) là không đếm được: không có cách nào liệt kê mọi phần tử của nó thành một dãy $x_1, x_2, x_3, \ldots$ đánh số bởi các số tự nhiên.

Vì sao đúng?

Đây là chứng minh đầu tiên cho thấy các tập vô hạn có nhiều "cỡ" khác nhau: số tự nhiên và số thực đều vô hạn, nhưng một vô hạn thực sự lớn hơn. Nó lý giải vì sao đa số số thực không thể mô tả bằng bất kỳ công thức hữu hạn nào, và là tổ tiên của các lập luận đường chéo dùng khắp logic học và khoa học máy tính (chẳng hạn bài toán dừng).

Chứng minh

Giả sử, để phản chứng, rằng $[0,1]$ đếm được: mọi số thực trong đó xuất hiện đúng một lần trong một cách liệt kê $x_1, x_2, x_3, \ldots$ nào đó. Viết mỗi số dưới dạng thập phân $x_n = 0.d_{n1}d_{n2}d_{n3}\ldots$ , chọn cách biểu diễn không kết thúc bằng dãy vô hạn chữ số 9 khi một số có hai cách biểu diễn.

Bây giờ xây dựng một số mới $y$ từng chữ số một, bằng cách nhìn xuống đường chéo của danh sách này: $y = 0.e_1e_2e_3\ldots$ , trong đó chữ số thứ $n$ được xác định bởi $e_n=\begin{cases}5 & d_{nn}\neq5\\6 & d_{nn}=5\end{cases}$ . Việc giới hạn lựa chọn trong $\{5,6\}$ đảm bảo $y$ không bao giờ kết thúc toàn chữ số 0 hoặc toàn chữ số 9, nên biểu diễn thập phân của nó là duy nhất và không mập mờ.

Với mọi chỉ số $n$ , số $y$ khác $x_n$ tại chữ số thập phân thứ $n$ theo cách xây dựng ( $e_n\neq d_{nn}$ ), nên $y\neq x_n\ \forall n$ . Vì mọi chữ số của $y$ đều là $5$ hoặc $6$ , ta có $y\in[0,1]$ .

Nhưng khi đó $y$ là một số thực thuộc $[0,1]$ mà không bằng bất kỳ $x_n$ nào trong danh sách được giả định là đầy đủ — mâu thuẫn, vì danh sách được giả sử chứa mọi phần tử của $[0,1]$ . Vậy không thể tồn tại cách liệt kê nào của $[0,1]$ , và $[0,1]$ (do đó tập lớn hơn $\mathbb{R}$ ) là không đếm được.

Định lý: Định lý Bolzano–Weierstrass (chứng minh bằng chia đôi)

Mọi dãy số thực bị chặn $(x_n)$ đều có một dãy con hội tụ $(x_{n_k})$ .

Vì sao đúng?

Đây là sự kiện compact then chốt khiến giải tích thực vận hành được: nó đảm bảo một quá trình bị chặn không thể lang thang mãi mà không tụ lại ở đâu đó, và là nền tảng cho định lý giá trị cực trị, sự tồn tại điểm cực tiểu trong tối ưu hóa, và các lập luận về tính đầy đủ trong giải tích.

Chứng minh

Cho $(x_n)$ bị chặn, tức tồn tại $a<b$ sao cho $x_n\in[a,b]$ với mọi $n$ . Ta xây dựng một dãy đoạn lồng nhau bằng cách chia đôi liên tiếp. Chia $[a,b]$ thành hai nửa $[a,\tfrac{a+b}{2}]$ và $[\tfrac{a+b}{2},b]$ . Vì dãy có vô hạn số hạng (tính theo chỉ số) mà chỉ có hai nửa, theo nguyên lý Dirichlet ít nhất một nửa phải chứa $x_n$ với vô hạn chỉ số $n$ ; gọi nửa đó là $[a_k,b_k]$ với $k=1$ .

Lặp lại phép chia đôi trên $[a_1,b_1]$ : chia nó thành hai, và lại theo nguyên lý Dirichlet ít nhất một nửa chứa $x_n$ với vô hạn $n$ ; gọi nó là $[a_2,b_2]$ . Tiếp tục mãi tạo ra một dãy lồng nhau $[a,b]\supset[a_1,b_1]\supset[a_2,b_2]\supset\cdots$ , mỗi đoạn chứa $x_n$ với vô hạn chỉ số, và mỗi đoạn có độ dài bằng nửa đoạn trước, nên độ dài của $[a_k,b_k]$ đúng bằng $(b-a)/2^{k}$ , tiến về $0$ khi $k\to\infty$ .

Bây giờ xây dựng dãy con: vì $[a_1,b_1]$ chứa vô hạn số hạng của dãy, chọn một chỉ số $n_1$ bất kỳ với $x_{n_1}\in[a_1,b_1]$ . Vì $[a_2,b_2]$ cũng chứa vô hạn số hạng (chỉ trừ hữu hạn chỉ số vẫn còn dùng được), chọn $n_2>n_1$ với $x_{n_2}\in[a_2,b_2]$ . Tiếp tục bằng quy nạp, ở bước $k$ chọn $n_k>n_{k-1}$ với $x_{n_k}\in[a_k,b_k]$ ; điều này luôn khả thi vì $[a_k,b_k]$ chứa vô hạn số hạng, nên vẫn còn vô hạn chỉ số vượt quá $n_{k-1}$ .

Theo tính chất đoạn lồng nhau của số thực (mỗi $[a_k,b_k]$ đóng, lồng nhau, và độ dài co về $0$ ), giao của chúng là một điểm duy nhất: $\bigcap_{k=1}^{\infty} [a_k,b_k] = \{L\}$ với $L\in[a,b]$ nào đó. Vì cả $x_{n_k}$ lẫn $L$ đều thuộc $[a_k,b_k]$ , có độ dài $(b-a)/2^{k}$ , ta có $|x_{n_k}-L|\le (b-a)/2^{k}\to 0$ . Khi $k\to\infty$ , vế phải tiến về $0$ , buộc $x_{n_k}\to L$ . Vậy $(x_{n_k})$ là một dãy con hội tụ của $(x_n)$ , như cần chứng minh.

Nâng caoThế kỷ 20: lược đồ và chương trình Langlands

Hình học đại số cổ điển nghiên cứu tập nghiệm của các phương trình đa thức trên số phức hoặc số thực. Vào những năm 1960, Alexander Grothendieck xây dựng lại toàn bộ ngành này từ nền móng: với mỗi vành giao hoán $R$ , ông gắn cho nó một không gian hình học $\mathrm{Spec}(R)$ ("phổ" của nó, với các điểm là các iđêan nguyên tố của $R$ ), biến mọi vành — kể cả vành có phần tử lũy linh, hay vành số nguyên môđun $p$ — thành một đối tượng hình học thực thụ gọi là lược đồ. Điều này cho phép cùng một trực giác và công cụ hình học (chiều, tính trơn, đối đồng điều) áp dụng đồng thời cho cả lý thuyết số lẫn hình học, và là mấu chốt trong chứng minh Định lý lớn Fermat của Wiles cũng như chứng minh giả thuyết Weil của Deligne. Song song đó, chương trình Langlands, do Robert Langlands đề xuất từ năm 1967, phỏng đoán một sự tương ứng sâu sắc giữa biểu diễn Galois (đối xứng của nghiệm phương trình đa thức, tổng quát hóa nhóm Galois) và dạng tự đẳng cấu (hàm có tính đối xứng cao trong giải tích điều hòa) — một cuốn từ điển thống nhất đã tạo ra nhiều định lý lớn và vẫn đang dẫn dắt phần lớn lý thuyết số hiện đại.

Nghiên cứuThế kỷ 21: biên giới nghiên cứu hiện nay

Đại họcỨng dụng thực tiễn và Ví dụ minh họa

Những trừu tượng này không hề vô dụng. Lý thuyết Galois trên trường hữu hạn là xương sống đại số của mật mã học hiện đại: AES mã hóa dữ liệu bằng số học trên trường hữu hạn $\mathrm{GF}(2^8)$ , còn mật mã đường cong elliptic (ECC), thứ bảo mật phần lớn lưu lượng web (TLS) và tiền mã hóa, dựa trên cấu trúc nhóm của các điểm trên một đường cong elliptic trên trường hữu hạn — hậu duệ trực tiếp của lý thuyết trường và lý thuyết nhóm thế kỷ 19. Hình học nội tại của Riemann $ds^2=g_{ij}\,dx^i dx^j$ là ngôn ngữ toán học của thuyết tương đối rộng của Einstein, nơi độ cong không-thời gian (mã hóa trong $g_{ij}$ ) thay thế lực hấp dẫn Newton. Còn trong học máy, cả hai nhánh của lịch sử này đều đang có ý nghĩa: các công cụ kiểm chứng hình thức xây trên chính nền logic mà Hilbert theo đuổi (Lean, Isabelle) nay được dùng để máy kiểm tra chứng minh toán học, trong khi lý thuyết biểu diễn — hậu duệ hiện đại của các nhóm đối xứng Galois — định hình thiết kế các kiến trúc mạng nơ-ron đẳng biến tôn trọng đối xứng vật lý hoặc hình học.

Ví dụ: Chứng minh chặt chẽ một giới hạn bằng $\varepsilon$ - $\delta$

Hãy chứng minh chặt chẽ, dùng định nghĩa $\forall\varepsilon>0\,\exists\delta>0:0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$ , rằng $\lim_{x\to2}(3x-1)=5$ .

Lời giải

Cho $\varepsilon>0$ bất kỳ. Ta cần tìm $\delta>0$ sao cho $0<|x-2|<\delta$ kéo theo $|(3x-1)-5|<\varepsilon$ . Xuất phát từ bất đẳng thức cần chứng minh và rút gọn: $|(3x-1)-5|=3|x-2|<3\delta=\varepsilon$ — tức là $|(3x-1)-5|=|3x-6|=3|x-2|$ .

Vậy ta cần $3|x-2|<\varepsilon$ , tương đương $|x-2|<\varepsilon/3$ . Điều này cho biết chính xác nên chọn $\delta$ nào: lấy $\delta=\varepsilon/3$ .

Bây giờ kiểm tra lại. Giả sử $0<|x-2|<\delta=\varepsilon/3$ . Nhân cả hai vế của $|x-2|<\varepsilon/3$ với $3$ ta được $3|x-2|<\varepsilon$ , tức $|(3x-1)-5|<\varepsilon$ , đúng như kết luận cần có. Vì $\varepsilon>0$ là tùy ý và ta đã chỉ ra một $\delta$ hợp lệ cho mỗi giá trị đó, định nghĩa $\varepsilon$ - $\delta$ được thỏa mãn, nên $\lim_{x\to2}(3x-1)=5$ được chứng minh chặt chẽ — không chỉ có vẻ đúng trên đồ thị, mà là một sự chắc chắn về mặt logic.

Ví dụ: Nhóm Galois của $x^3-2$ là $S_3$ , và $S_3$ giải được

Xác định nhóm Galois của $x^3-2$ trên $\mathbb{Q}$ , và xác nhận rằng nó giải được.

Lời giải

Ba nghiệm của $x^3-2$ trong $\mathbb{C}$ là $\sqrt[3]{2}$ , $\omega\sqrt[3]{2}$ và $\omega^2\sqrt[3]{2}$ , trong đó $\omega=e^{2\pi i/3}$ là căn bậc ba nguyên thủy của đơn vị. Trường phân rã — trường nhỏ nhất chứa cả ba nghiệm — là $\mathbb{Q}(\sqrt[3]{2},\omega)$ .

Xây dựng trường này qua hai bước. Trước hết ghép nghiệm thực: $[\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}]=3$ , vì $x^3-2$ bất khả quy trên $\mathbb{Q}$ (theo tiêu chuẩn Eisenstein với $p=2$ ) và là đa thức tối tiểu của $\sqrt[3]{2}$ . Mở rộng này chưa phải là trường phân rã, vì $\mathbb{Q}(\sqrt[3]{2})\subset\mathbb{R}$ không chứa nghiệm phức nào như $\omega\sqrt[3]{2}$ . Sau đó ghép $\omega$ : vì $\omega$ thỏa $x^2+x+1=0$ , đa thức này vẫn bất khả quy trên $\mathbb{Q}(\sqrt[3]{2})$ (trường đó là trường thực, nhưng $\omega$ thì không), nên bước thứ hai có bậc 2. Nhân lại, $[\mathbb{Q}(\sqrt[3]{2},\omega):\mathbb{Q}]=6$ .

Nhóm Galois có cấp bằng bậc này, nên $|\mathrm{Gal}|=6$ , và nó tác động trung thành bằng cách hoán vị 3 nghiệm (mỗi tự đẳng cấu được xác định bởi ảnh của các nghiệm, vì chúng sinh ra trường phân rã). Nhóm duy nhất cấp 6 có thể tác động như mọi hoán vị của 3 đối tượng chính là $S_3$ (cấp $3!=6$ ), và ta có thể chỉ ra tường minh các phần tử sinh: một tự đẳng cấu cấp 3 $\sigma$ hoán vị vòng quanh ba nghiệm (giữ nguyên $\omega$ , gửi $\sqrt[3]{2}\mapsto\omega\sqrt[3]{2}\mapsto\omega^2\sqrt[3]{2}\mapsto\sqrt[3]{2}$ ) và một tự đẳng cấu cấp 2 $\tau$ hoán đổi hai nghiệm bằng liên hợp phức (giữ nguyên $\sqrt[3]{2}$ , gửi $\omega\mapsto\omega^2$ ). Cùng nhau, $\sigma$ và $\tau$ sinh ra một nhóm cấp 6 tác động như toàn bộ nhóm đối xứng trên các nghiệm, nên $\mathrm{Gal}(\mathbb{Q}(\sqrt[3]{2},\omega)/\mathbb{Q})\cong S_3$ .

Cuối cùng, tính giải được: $S_3$ có dãy chuẩn tắc $1\triangleleft A_3\triangleleft S_3$ , trong đó $A_3=\{1,\sigma,\sigma^2\}\cong\mathbb{Z}/3\mathbb{Z}$ là nhóm con chuẩn tắc chỉ số 2. Cả hai thương $A_3/1\cong\mathbb{Z}/3\mathbb{Z}$ và $S_3/A_3\cong\mathbb{Z}/2\mathbb{Z}$ đều giao hoán (thực ra là xyclic), nên $S_3$ giải được — xác nhận, theo tiêu chuẩn Galois, rằng $x^3-2$ giải được bằng căn thức, đúng như công thức căn bậc ba tường minh cho các nghiệm của nó đã cho thấy.

Lỗi hay gặp. Một nhầm lẫn thường gặp: học sinh nhớ "Abel–Ruffini nói phương trình bậc năm không giải được bằng căn thức" rồi tổng quát hóa sai thành "bậc

\ge 5

nghĩa là không giải được." Nhưng tiêu chuẩn Galois nói về nhóm, không phải bậc. Một số phương trình bậc năm vẫn giải được hoàn toàn:

x^5-1

có các nghiệm là căn bậc 5 của đơn vị, tạo thành nhóm Galois xyclic (do đó giao hoán, do đó giải được)

\mathbb{Z}/5\mathbb{Z}

. Điều Abel–Ruffini thực sự nói là không có một công thức căn thức duy nhất áp dụng cho mọi phương trình bậc năm, vì một phương trình bậc năm tổng quát như

x^5-x-1

có nhóm Galois là

S_5

, và nhóm này không giải được. Một cái bẫy thứ hai, liên quan: nhầm lẫn "vô hạn đếm được" với "vô hạn không đếm được" — tập số hữu tỉ

\mathbb{Q}

đếm được (cùng cỡ với

\mathbb{N}

) dù trù mật trong

\mathbb{R}

, trong khi

\mathbb{R}

thực sự lớn hơn, như Định lý 1 ở trên đã chứng minh; tính trù mật không liên quan gì đến lực lượng tập hợp.

Ghi chú lịch sử

Tại Đại hội Toán học Quốc tế lần thứ hai ở Paris vào tháng 8 năm 1900, David Hilbert đã trình bày một bài giảng liệt kê 23 bài toán mở mà ông cho là trọng tâm của thế kỷ sắp tới — từ giả thuyết continuum (bài toán số 1, hỏi liệu có tồn tại một tập hợp có lực lượng nằm chặt giữa $\mathbb{N}$ và $\mathbb{R}$ hay không, một câu hỏi kế thừa trực tiếp từ lý thuyết tập hợp của Cantor những năm 1870–1890) cho tới tính nhất quán của số học (bài toán số 2). Bài phát biểu của Hilbert kết tinh một sự chuyển dịch kéo dài hàng thập kỷ: toán học sẽ không còn dựa trên trực giác hình học hay phép loại suy vật lý nữa, mà dựa trên các tiên đề và quy tắc suy luận tường minh, về nguyên tắc có thể kiểm tra được bởi bất kỳ ai — hay, sau này, bởi một cỗ máy.

David Hilbert Georg Cantor

Hiện trạng nghiên cứu tính đến năm 2026

Ba kết quả nổi bật đã định hình thế kỷ 21 cho tới nay. Năm 2002–2003, Grigori Perelman công bố các bản thảo chứng minh giả thuyết Poincaré (mọi đa tạp 3 chiều đóng, liên thông đơn là đồng phôi với mặt cầu) bằng chương trình dòng Ricci của Richard Hamilton, một trong những kết quả sâu sắc nhất của tô pô và hình học cho đến nay (ông từ chối cả Huy chương Fields lẫn tiền thưởng Bài toán thiên niên kỷ Clay). Năm 2013–2014, James Maynard và Yitang Zhang độc lập tạo ra những đột phá lớn về khoảng cách bị chặn giữa các số nguyên tố, chứng minh có vô hạn cặp số nguyên tố cách nhau không quá một khoảng cách cố định, và các cải tiến sau này của Maynard thúc đẩy kết quả về số nguyên tố trong cấp số cộng cũng như khoảng cách giữa các số nguyên tố liên tiếp. Năm 2016, Maryna Viazovska giải bài toán xếp cầu tối ưu ở chiều 8 bằng dạng modular, và ngay sau đó, cùng các cộng sự, ở chiều 24 — những chứng minh xếp cầu tối ưu đầu tiên ở chiều trên 3 kể từ giả thuyết Kepler ở chiều 3. Một chuyển dịch thứ tư, mang tính phương pháp luận hơn là một định lý đơn lẻ: các dự án hình thức hóa quy mô lớn (Liquid Tensor Experiment, hình thức hóa các kết quả sâu của Peter Scholze trong trợ lý chứng minh Lean; các thư viện Mathlib và Isabelle/HOL ngày càng lớn) và các hệ AI — AlphaProof và AlphaGeometry của DeepMind đạt hiệu suất tương đương huy chương bạc tại Olympic Toán Quốc tế 2024 — đang bắt đầu biến chứng minh được máy kiểm tra thành một công cụ thực tiễn cho nghiên cứu toán học, chứ không chỉ là một tham vọng mà Hilbert chỉ có thể phác thảo vào năm 1900.

Dùng định nghĩa $\forall\varepsilon>0\,\exists\delta>0:0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon$ , giá trị nào của $\delta$ (theo $\varepsilon$ ) chứng minh $\lim_{x\to2}(3x-1)=5$ ?

Đa thức $x^3-2$ trên $\mathbb{Q}$ có nhóm Galois đẳng cấu với nhóm nào?

Cấu trúc đại số thế kỷ 19 nào là nền tảng của mật mã đường cong elliptic (ECC) hiện đại, thứ bảo mật phần lớn lưu lượng web (TLS)?

Hình học nội tại của Riemann, được đề xuất ở thế kỷ 19, cung cấp ngôn ngữ toán học cho lý thuyết vật lý nào của thế kỷ 20?

Tài liệu tham khảo

Morris Kline (1980). Mathematics: The Loss of Certainty
Maryna Viazovska (2016). The sphere packing problem in dimension 8 · arXiv:1603.04246
DeepMind (2024). AI solves IMO problems at silver medal level