undecidability câu
- undecidability × 9
Bất đẳng thức tổ hợp × 9 - and undecidability, 754
vô tâm tán nhân 754 - It “must be either true or false,” the mathematical logician Kurt Gödel wrote in 1947, “and its undecidability from the axioms as known today can only mean that these axioms do not contain a complete description of reality.”
Nó phải là đúng hoặc sai, là nhà logic học toán học Kurt Gödel đã viết vào năm 1947, và sự bất ổn của nó từ các tiên đề như đã biết ngày nay chỉ có thể có nghĩa là những tiên đề này không chứa một mô tả hoàn chỉnh về thực tế.