“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ị […]
chứng minh
Máy tính có thể chứng minh định lí được không?
“Khi học môn toán, mọi người đều đã đụng tới vấn đề “”chứng minh định lí””. Chứng minh định lí có thể nói là một quá trình suy luận lôgic điển hình.Bao lâu nay con người vẫn đang luôn tìm kiếm phương pháp chứng minh định lí tự động, hi vọng có một ngày đưa […]