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 lại nói dùng than đá làm nhiên liệu là quá lãng phí?

Từ rất lâu đời, loài người đã biết dùng than đá làm nhiên liệu. Từ khi máy hơi nước ra đời, một lượng lớn than đá được dùng làm nhiên liệu để chạy máy...

Hổ Châu Mĩ vì sao không phải là hổ thật sự?

Châu Mĩ có một loài động vật họ mèo nổi tiếng gọi là hổ Châu Mĩ, còn gọi là báo Châu Mĩ. Rất nhiều người cho rằng nó là thành viên của gia tộc nhà hổ nhưng các nhà động vật học lại không công nhận điều này.

Gà, vịt, cá sau khi giết mổ có nên đem chế biến ngay không?

Có nhiều người cho rằng gà, vịt, cá sau khi giết mổ nên chế biến ngay thì thức ăn sẽ giữ vị tươi, ngon, các thành phần dinh dưỡng không bị tổn hại. Sự...

Tại sao cúc điềm điệp có thể tạo ra đường được?

Phàm là chất mà đầu lưỡi chúng ta cảm thấy ngọt chính là vị đường. Đường là một vị hầu như không thể thiếu được trong cuộc sống hàng ngày của con...

Chồn sóc là loài thú có lợi hay có hại?

Chồn sóc tên gọi là chồn chó, là một loài thú nhỏ ăn thịt. Ban ngày chúng sống ở mồ mả, hốc tường, đống củi..., buổi tối ra ngoài hoạt động kiếm mồi.

Liên Hợp Quốc được thành lập như thế nào?

Trong đại chiến thế giới lẩn thứ hai, một cuộc chiến tranh quy mô lớn nhất trong lịch sử thế giới, 61 nước và khu vực bị cuốn vào cuộc chiến, cướp đi...

Vì sao vải không ở dạng sợi dệt lại không phải là giấy?

Về thành phần hoá học, bông vải chính là xenluloza, là một cao phân tử thiên nhiên. Khi đem bông vải kéo thành sợi, rồi dệt bằng sợi ngang sợi dọc...

Tại sao phải dùng chuột?

Bao lâu nay bàn phím là thiết bị dẫn nhập tiêu chuẩn được dùng cho máy tính. Nhưng người ta thường cảm thấy bàn phím chẳng trực quan chút nào.

Vì sao không nên ăn sò?

Năm 1988, ở Thượng Hải xuất hiện đại dịch viêm gan A. Có gia đình tất cả mọi người đều mắc bệnh.