Tổng hợp nội dung định lý Bất toàn
https://diendantoanhoc.net/topic/141839-%C4%91%E1%BB%8Bnh-l%C3%BD-b%E1%BA%A5t-to%C3%A0n/ PHẠM VIỆT HƯNG Gọi chung là Định Lý Bất Toàn nhưng thực ra có hai định lý. Cả hai đều chỉ ra rằng toán học về bản chất là bất toàn (không đầy đủ), vì nó luôn chứa đựng những mệnh đề không quyết định được (undecidable), tức những mệnh đề không thể chứng minh và […]