Page 149 - Bí Mật Toán Học

ngày trước chính là một công cụ tính toán, nó ra đòi để đáp ứng nhu cầu
tính toán phức tạp, phiền phức của nhân loại.
Ví dụ, "định lí bốn màu" nổi tiếng nói rằng, bất kỳ một bản đồ nào
chỉ cần dùng bốn màu khác nhau là có thể phân biệt được các nước láng
giềng. Trong vòng 124 năm, vô số nhà toán học đã đổ biết bao tâm sức
mà vẫn chưa đưa ra được chứng minh hoàn chỉnh, bỏi vì khi tăng lên 1, 2
nước; quan hệ biên giói giữa các nưóc khác nhau trở nên vô cùng phức
hạp, mang đến sự khó khăn rất lón cho con người trong việc tứih toán thủ
cồng. Cho đến năm 1976, chính máy tứih đã giúp các nhà toán học giải
quyết được vấn đề chứng minh định lí này, gây ra chấn động trong giói
toán học, hon nữa lúc bấy giờ sử dụng ba chiếc máy tứửì cỡ siêu lớn đã
làm hao phí hon 1200 tiếng đồng hồ; nếu nhà toán học lúc đó dùng sức
thủ công để hoàn thành, thì sẽ không thể làm được.
Dùng máy tính chứng minh định lí toán học có tmh ưu việt độc đáo
của nó: một là không sợ phiền phức, sở trường của máy tmh là tiến hành
những tính toán phức tạp khối lượng lớn, giúp nhà toán học giải thoát
khỏi những tứih toán phiền phức, hai là tứửi toán chuẩn xác, cơ bản
không có sai sót gì. Vì máy tính làm việc vừa nhanh vừa tốt, cho nên rất
nhiều ngưòi đã bắt đầu nghiên cứu làm thế nào để dùng máy tính thay
con ngưòi chứng minh định lí, gọi là "máy tính chứng minh", nó đã trở
thành một phân nhánh mói của khoa học máy tứih.
Nhiều nhà toán học đã nhiều năm dồn sức nghiên cứu máy móc
hoá chứng minh định lí. Trên cơ sở hình học giải tích, họ sẽ đại số hoá
định lí trong hình học phẳng, từ đó để cho máy tính thực hiện nhiệm vụ
của mình.
Trên thê giói, các nhà toán học đã dùng máy tmh tìm ra giá trị sô Pi
chính xác nhất mà mọi ngưòi biết đến cho tói ngày nay, số pi đưọc tứứi
chính xác đến 1073740000 đơn vị sau dấu phẩy. Không có sự giúp đỡ của
máy tính, những thành tích này thật không thể đạt được.
Tin rằng cùng vói sự tăng lên về dung lượng bộ nhớ và tốc độ xử lý,
máy tính sẽ mang lại những đột phá mói cho việc chứng minh định lí.

- 149