Khác biệt giữa bản sửa đổi của “Giả thiết continuum”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi |
nKhông có tóm lược sửa đổi |
||
Dòng 3:
Giả thiết này được [[Georg Cantor]] nêu ra, sau khi ông chứng minh được lực lượng của hai [[tập hợp vô hạn]] là số tự nhiên và số thực là khác nhau, trong đó lực lượng của các số tự nhiên ([[lực lượng đếm được]]) nhỏ hơn lực lượng của các số thực ([[lực lượng continum]]).
Vào năm [[1940]], [[Kurt Gödel]] đã chỉ ra rằng không thể bác bỏ giả thiết continum nếu dùng [[lý thuyết tập hợp Zermelo-Fraenkel]]. Sau đó, vào năm [[1963]], [[Paul Cohen]] lại chỉ ra rằng không thể dùng lý thuyết tập hợp Zermelo-Fraenkel để chứng minh giả thiết continum. Như
Nhiều nhà toán học đã nghi ngờ giả thiết continum là sai, trong khi đó cũng có trường phái tin giả thiết này là đúng.
| |||