Buzz
Có thể ai cũng cho rằng phép tính 1 + 1 = 2 là điều đơn giản nhất, đến trẻ nhỏ cũng dễ dàng nhận ra. Tuy nhiên, thực tế lại khác, khi hai nhà toán học vĩ đại nhất thế giới đã phải mất đến mười năm, viết ra một công trình dài 379 trang, mới có thể chứng minh điều này.
Điều mà nhiều người cho là hiển nhiên này lại thực sự là một bước ngoặt quan trọng trong lịch sử toán học, khi Bertrand Russell và Alfred North Whitehead dốc toàn bộ tâm huyết để xây dựng lại nền tảng của toán học hiện đại.
Để hiểu tại sao hai nhà toán học này lại dành cả cuộc đời để chứng minh một điều mà ai cũng nghĩ là đúng, trước hết, chúng ta cần quay lại quá trình phát triển của toán học từ thời kỳ cổ đại cho đến khi trở thành một ngành khoa học phức tạp.
Toán học đã từ lâu là công cụ quan trọng để giải thích vũ trụ. Vào thuở ban đầu, nó chủ yếu tập trung vào số học và hình học, những lĩnh vực mà con người có thể quan sát và áp dụng trong đời sống hàng ngày. Người Hy Lạp cổ đại, đặc biệt là Euclid, đã đặt nền tảng cho hệ thống toán học qua các tiên đề và định lý.
Với họ, những định lý như “hai đường thẳng song song không bao giờ gặp nhau” hay “tổng ba góc trong của một tam giác luôn bằng 180 độ” là những chân lý hiển nhiên, không cần phải chứng minh.
Tuy nhiên, khi toán học phát triển, các nhà khoa học đã bắt đầu khám phá những khái niệm mới, như số ảo, số vô cùng, và đặc biệt là hình học phi Euclid, nơi mà những quy tắc truyền thống bị phá vỡ hoàn toàn.
Điều này đã gây ra một cuộc khủng hoảng trong giới toán học: liệu mọi thứ mà chúng ta tin là đúng có thực sự không thể bị bác bỏ?
Chính trong tình hình này, Bertrand Russell và Alfred North Whitehead đã xuất hiện với một tham vọng lớn lao: tái cấu trúc toàn bộ nền tảng toán học dựa trên logic thuần túy, không phụ thuộc vào trực giác hay quan sát.
Họ tin rằng để toán học trở thành một hệ thống tri thức hoàn hảo, ngay cả những định lý cơ bản nhất cũng cần phải được chứng minh một cách cẩn thận. Và họ quyết định bắt đầu từ điều đơn giản nhất: 1 + 1 = 2.
Thử thách mà họ đối mặt là làm sao định nghĩa một cách chính xác các khái niệm “1”, “+”, “=”, và “2” mà không dựa vào cảm giác hay trực giác.
Đối với chúng ta, khi nói “một cái ghế cộng với một cái ghế bằng hai cái ghế”, chúng ta dựa vào sự quan sát thực tế. Nhưng đối với Russell và Whitehead, họ không thể làm vậy. Họ phải chứng minh rằng ngay cả khi không có gì trong thế giới thực để minh họa, toán học vẫn có thể tự chứng minh tính hợp lệ của chính nó.
Để làm được điều này, họ đã phát triển một hệ thống gọi là chủ nghĩa hình thức, trong đó toàn bộ toán học được thể hiện qua các ký hiệu và quy tắc logic nghiêm ngặt. Mọi khái niệm, dù đơn giản, đều phải được xây dựng từ những nguyên tắc cơ bản nhất.
Tuy nhiên, điều mà họ tưởng có thể hoàn thành trong vài năm lại kéo dài hơn một thập kỷ. Việc chứng minh 1 + 1 = 2 không chỉ đơn giản là việc viết ra vài công thức, mà là một quá trình xây dựng toàn bộ hệ thống toán học từ con số 0.
Họ phải bắt đầu từ việc định nghĩa số đếm, rồi xây dựng phép cộng, và từ đó chứng minh rằng khi cộng một số với chính nó, ta sẽ có được một số lớn hơn.
Tất cả những điều này được trình bày trong Principia Mathematica, một bộ ba tập sách khổng lồ. Trong đó, phép toán đơn giản 1 + 1 = 2 chỉ xuất hiện ở định lý số 54 của tập hai, sau hàng trăm trang với các định nghĩa và chứng minh.
Công trình của họ đồ sộ đến mức ngay cả các nhà toán học cũng gặp khó khăn khi tiếp cận. Russell sau này thừa nhận rằng chỉ có khoảng sáu người trên thế giới thực sự đọc hết toàn bộ tác phẩm.
Không chỉ khó hiểu, Principia Mathematica còn gặp phải vấn đề khi không một nhà xuất bản nào dám in ấn vì lo ngại không ai sẽ mua. Cuối cùng, hai tác giả phải bỏ tiền túi để xuất bản, nhưng ngay khi sách ra mắt, một cú sốc lớn xảy ra: nhà toán học trẻ tuổi Kurt Gödel chứng minh rằng không có hệ thống toán học nào có thể đảm bảo tính toàn vẹn và tính nhất quán cùng lúc, bao gồm cả hệ thống mà Russell và Whitehead đã tạo ra.
Nói cách khác, mười năm nghiên cứu của họ đã không thể đạt được mục tiêu cuối cùng là xây dựng một hệ thống toán học không thể bị bác bỏ.
Tuy nhiên, ảnh hưởng của Principia Mathematica là không thể phủ nhận. Nó đã tạo nền tảng cho nhiều lĩnh vực hiện đại như logic toán học, khoa học máy tính, và trí tuệ nhân tạo.
Nếu không có những nỗ lực của Russell và Whitehead, chúng ta có lẽ sẽ không có các ngôn ngữ lập trình hay hệ thống chứng minh tự động trong toán học ngày nay.
Công trình của họ cũng là một bài học sâu sắc về khoa học: ngay cả những điều tưởng chừng như hiển nhiên nhất cũng cần phải được xem xét một cách tỉ mỉ. Không có gì là “hiển nhiên” khi ta đi sâu vào bản chất của tri thức.
Câu chuyện về 1 + 1 = 2 không chỉ là một giai thoại thú vị mà còn là minh chứng cho sự kiên trì và khát khao khám phá của con người. Nó nhắc nhở chúng ta rằng khoa học và toán học không chỉ là việc tìm ra câu trả lời, mà là hành trình khám phá sự thật, ngay cả khi sự thật đó đã được chấp nhận từ lâu.
