Đỉnh cao toán học
Định lý bất toàn của Gödel thật ra nói gì và không nói gì
Định lý bất toàn của Gödel nói rằng mọi hệ tiên đề nhất quán đủ mạnh để làm số học đều có những mệnh đề không chứng minh được cũng không bác bỏ được trong hệ ấy
Đỉnh cao toán học
Những định lý và chứng minh làm thay đổi cách con người hiểu về toán.
Đỉnh cao toán học
Đỉnh cao toán học
Cantor và các vô hạn: vì sao vô hạn cũng có lớn có nhỏ
Georg Cantor chứng minh rằng không phải mọi tập vô hạn đều lớn bằng nhau: tập các số đếm được và tập mọi số thực trên trục số là hai cỡ vô hạn khác nhau, và từ
Đỉnh cao toán học
Định lý cuối cùng của Fermat: ba trăm năm và bảy năm của Wiles
Định lý cuối cùng của Fermat được Andrew Wiles chứng minh giữa thập niên chín mươi, sau hơn ba trăm năm, bằng cách đi đường vòng qua một giả thuyết sâu về đường
Đỉnh cao toán học
Giả thuyết Poincaré và nhà toán học từ chối mọi giải thưởng
Giả thuyết Poincaré nói rằng một không gian ba chiều khép kín, trong đó mọi vòng dây đều thu lại được thành một điểm, thì về bản chất là một mặt cầu ba chiều. G
Đỉnh cao toán học
Nghịch lý Russell: một lá thư làm rung chuyển nền móng toán học
Nghịch lý Russell chỉ ra rằng nếu cho phép lập tập hợp từ bất kỳ tính chất nào, ta sẽ có tập của mọi tập không chứa chính nó, và tập ấy vừa phải chứa vừa không
Đỉnh cao toán học
Định lý bốn màu: khi máy tính lần đầu chứng minh một định lý lớn
Định lý bốn màu nói rằng mọi bản đồ phẳng đều tô được bằng bốn màu sao cho hai vùng chung biên không cùng màu. Năm một nghìn chín trăm bảy mươi sáu, Appel và Ha
Bạn cần hỗ trợ thêm?
Để lại thông tin, chúng tôi sẽ liên hệ trong 24 giờ.