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 khi đo góc và đo thời gian lại dùng đơn vị đo theo hệ cơ số 60?

Đơn vị đo thời gian là giờ, đơn vị đo góc là độ, nhìn bề ngoài chúng không hề có mối liên quan gì với nhau. Thế tại sao chúng lại được chia thành các...

Tại sao nói sóc là chuyên gia bảo vệ môi trường tự nhiên?

Rất ít người cho rằng, sự cống hiến của sóc đối với rừng có thể sánh được với chim gõ kiến. Trong ấn tượng của con người, sóc ăn hết quả của các cây như cây tùng, cây hồ đào...

Hồng triều là thế nào?

Hồng triều (thuỷ triều đỏ) do các sinh vật phù du sống trong nước biển gặp được điều kiện môi trường thích hợp mà sinh sôi nảy nở nhanh chóng, hoặc...

Vì sao sợi tổng hợp hay bị xù lông, bị vón thành cục?

Trong vô số mặt hàng dệt may, hàng may bằng sợi tổng hợp hoặc có pha sợi tổng hợp được nhiều người ưa chuộng, sợi tổng hợp có nhiều ưu điểm: bền, khó...

Vì sao phải thận trọng khi dùng chất màu thực phẩm?

Các nhà thẩm định chất lượng thực phẩm thường dựa vào ba tiêu chuẩn cảm quan là: màu sắc, mùi và vị, trong đó màu sắc ở vị trí hàng đầu, từ đó có thể...

Bộ phận nào của cơ thể có khả năng dự trữ cao nhất? Dịch hoàn hay buồng trứng?

Lúc mới sinh, mỗi buồng trứng chứa đến hàng trăm ngàn cái trứng, một số lớn bị thoái hóa trước tuổi dậy thì. Suốt cuộc đời người phụ nữ thường chỉ có...

Vì sao cần dùng nước ấm để hoà tan bột giặt có thêm enzim?

Ngày nay trên thị trường có bán nhiều loại bột giặt có pha thêm enzim để giặt tẩy các vết mồ hôi, vết sữa, vết máu hoặc nước tiểu rất có hiệu quả, nên...

Tại sao chuồn chuồn phải "đạp nước"?

"Chuồn chuồn đạp nước chầm chậm bay" là câu thơ cổ của Trung Quốc, có thể thấy rằng hiện tượng chuồn chuồn đạp nước đã được mọi người sớm chú ý đến.

Vì sao cô dâu cầm hoa cưới?

Không chỉ đơn thuần là vật trang trí giúp tôn lên vẻ đẹp của cô dâu, đằng sau những bó hoa cưới là cả một câu chuyện lịch sử dài.