“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ị […]
định lí
Thế nào là định lí lớn Ferma?
“Chúng ta đều biết phương trình x2 + y2 = z2 có vô số nghiệm khác không.Ví dụ bộ ba số gọi là bộ số tam giác thời Trung Quốc cổ đại có cạnh góc vuông là 3, 4, đường huyền là 5 là nghiệm của phương trình x = 3; y = 4, z […]
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 […]