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.

Cửa sông Trường Giang cổ đại nằm ở đâu?

Mở bản đồ nhìn thoáng qua ta đã thấy cửa sông Trường Giang đổ vào biển, tựa như miệng lớn của con rồng: khu vực Giang Tô hướng ra phía đông là môi...

Vì sao người say rượu đi xiêu vẹo?

Nếu bạn nhìn thấy một người đi lang thang, lảo đảo, miệng đầy hơi rượu thì chắc chắn đó là người say rượu. Vì sao khi say rượu, người ta bước đi không...

Tại sao không nên tưới cây vào giữa trưa hè?

Vào mùa hè, các loại cây, hoa đều sinh sôi, chất dinh dưỡng và nước cần thiết cũng rất nhiều. Do bộ rễ của cây hoa phân bố nông, nếu mấy ngày không có...

Tại sao trên lá cờ Olympic lại có năm vòng tròn?

Đại hội thể dục thể thao long trọng và có quy mô lớn nhất trên thế giới là Thế vận hội Olympic. Mỗi khi khai mạc Thế vận hội Olympic, trên hội trường...

Vì sao nói "triều đỏ" là một kiểu ô nhiễm của biển?

Tháng 6 năm 1957 trên biển ả Rập, một tàu chở hàng của Liên Xô (cũ) đang đi về phía trước, đột nhiên rung chuyển giống như tàu đụng phải một vật lớn...

Vì sao ăcquy lại có thể tích trữ được điện?

Có những loại pin điện có thể nạp, phóng điện nhiều lần. Người ta gọi các pin điện này là ăcquy hay còn gọi là pin điện tử thứ cấp.

Tại sao người Trung Quốc thường dùng số 5 và số 10 để nói lên sự viên mãn?

Trong tiếng Hán có nhiều từ ngữ được đặt với hai chữ "ngũ” (năm) và "thập" (mười). Các từ ngữ này thường nói lên ý nghĩa "toàn bộ" hoặc "viên mãn"...

Tại sao có cầu xây cao, có cầu xây thấp?

Tác dụng của cầu là nối liền con đường ở hai bên bờ sông, nhưng nếu cầu và đường ở hai bên bờ bằng phẳng như nhau, thì tuy có thuận tiện cho xe cộ qua...

Vì sao khi sợi tóc bóng đèn bị đứt, ta lắc cho tóc bám lại bóng đèn sáng hơn?

Nhiều khi ta thấy bóng đèn không sáng nữa, cầm bóng đèn kiểm tra thấy sợi tóc của bóng đèn đã bị đứt. Lúc này ta cầm bóng đèn lắc lắc nhẹ, sao cho sợi tóc dính vào nhau, đèn sẽ sáng hơn lúc ban đầu.