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

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
   144   145   146   147   148   149   150   151   152   153   154