Vì sao dùng máy tính điện tử lại có thể chứng minh được định lí toán học?

Vào năm 1976 từ trường đại học Ilinoi ở nước Mỹ đã truyền đi một nguồn tin làm kinh động mọi người. Hai nhà toán học Abel và Hakan đã chứng minh được một bài toán mà đã hơn 100 năm qua chưa có lời giải: “Dự đoán bốn màu”. Điều hết sức thú vị là họ đã dựa vào máy tính để chứng minh dự đoán này.

Chúng ta biết máy tính có điểm mạnh là có thể lặp đi, lặp lại các thao tác đơn giản, nếu đem biến các chứng minh toán học phức tạp thành các thao tác máy móc rồi giao cho máy tính thì sẽ giải phóng cho các nhà toán học khỏi nhiều công việc rắc rối.

Nhà toán học Giáo sư Ngô Tuấn của Trung Quốc cùng các cộng sự đã nghiên cứu cách cơ giới hoá các chứng minh định lí toán học. Trên cơ sở của hình học giải tích ông đã đại số hoá các định lí, tiến hành cơ giới hoá để máy tính có thể tiếp nhận giải quyết, chứng minh các định lí trong hình học phẳng.

Đến năm 1978, Ngô Tuấn cùng các đồng nghiệp đã hoàn thành việc chứng minh các định lí hình học sơ cấp cũng như nhiều bài toán hình học vi phân bằng chứng minh cơ giới hoá bằng máy tính điện tử. Từ đó đã mở ra con đường dùng máy tính điện tử để chứng minh nhiều định lí toán học phức tạp.

Như vậy nhờ một công việc chưa có tiền lệ, nghiên cứu thành công mà đã có thể dùng máy tính để thay thế cho lao động trí não cực nhọc giải quyết một bộ phận công tác trong toán học, mở ra con đường mới cho toán học phát triển.

Vì sao mùa xuân và mùa thu ở phương Bắc Trung Quốc rất ngắn?

Các mùa trong năm được phân chia và có tên gọi khác nhau nhờ vào mức độ lạnh, ấm của khí hậu và sự thay đổi dài, ngắn của ngày và đêm. Chúng ta đều...

Sức mạnh của người máy từ đâu mà ra?

Khi ta bước vào nhà máy, hoặc là trông thấy rất nhiều người máy đang làm việc liên tục, có cái thì chuyên chở vật liệu, có cái thì đang tác nghiệp...

Vì sao nói trong âm nhạc cũng cần đến toán học?

Chúng ta đều biết âm thanh là do chấn động sinh ra, âm thanh cao hay thấp là do tần số của chấn động quyết định. Nét đẹp của một khúc nhạc là “giai...

Vì sao nồi áp suất có thể nấu chín thịt trong một thời gian ngắn?

Hiện nay, rất nhiều gia đình đã sử dụng nồi áp suất để nấu nướng thức ăn. Chúng ta đều biết rằng, thịt bò là loại khó nhừ, nếu dùng nồi thường phải mất từ 2 đến 3 tiếng, còn dùng nồi áp suất thì chỉ mất 30 đến 40 phút là thịt đã chín nhừ.

Trái đất có thể phóng nhiệt ra ngoài được không?

Người ta thường dựa vào đo nhiệt độ ở giếng sâu để đo nhiệt độ dưới mặt đất, cứ giếng sâu thêm 100 mthì nhiệt độ tăng thêm 3 độ C. Người ta gọi đó là...

Vì sao nên dùng nước ấm để uống thuốc?

Khi uống thuốc, nói chung dùng nước ấm là tốt nhất. Một số người khi uống thuốc viên để tỏ ra dũng cảm, có bản lĩnh đã cho viên thuốc vào miệng và...

Tại sao phải dùng mạng Internet?

Mạng Internet phát triển từ đất nước Mĩ, giờ đây nó đã trở thành mạng có phạm vi toàn cầu. Mạng Internet tuy là mạng máy tính lớn nhất thế giới hiện...

Màu sắc thịnh hành quốc tế đã ra đời như thế nào?

Màu sắc thịnh hành quốc tế là chỉ chung những nhóm màu trong một khoảng thời gian nào đó được đông đảo người tiêu dùng ưa chuộng. Hiện tượng này bắt...

Tại sao nói giải quyết vấn đề Y2K rất phức tạp?

Vấn đề sự cố Y2K xem ra thì giản đơn, chỉ cần đổi hai hàng số hiển thị năm thành con số bốn hàng là có thể phân biệt thế kỷ XX, thế kỷ XXI. Nhưng trên...