Định nghĩa Gödel's theorem là gì?
Gödel's theorem là Định lý Gödel. Đây là nghĩa tiếng Việt của thuật ngữ Gödel's theorem - một thuật ngữ được sử dụng trong lĩnh vực kinh doanh.
Xem thêm: Thuật ngữ kinh doanh A-Z
Giải thích ý nghĩa
Rằng bất kỳ hệ thống chính thức logic (ví dụ như toán học) có chứa mệnh đề mà không thể được chứng minh là đúng hay sai trong hệ thống đó. Do đó, không có hệ thống hợp lý có thể được hoàn thành hoặc phù hợp theo nghĩa của việc có thể cung cấp bằng chứng cho tất cả các tiên đề nó được dựa trên. Định lý này đánh đắm các nỗ lực của các nhà toán học Anh Alfred North Whitehead (1873-1956) và Bertrand Russell (1872-1970) để phát triển toán học thuần túy từ một vài nguyên tắc hợp lý, kinh hãi chi các nhà khoa học tìm kiếm một vài luật tiên đề đó một cách hợp lý giải thích tất cả các hiện tượng tự nhiên , và bác bỏ quan điểm cho rằng tâm trí con người là một (xác định) hệ thống cơ khí. Chứng minh vào năm 1931 bởi nhà toán học và nhà nghiên cứu tương đối rộng Áo-Mỹ Kurt Godel (1906-1978). Còn được gọi là định lý bất toàn Gödel.
Definition - What does Gödel's theorem mean
That any formal-logic system (such as mathematics) contains propositions which cannot be proved to be true or false within that system. Therefore, no logical system can be complete or consistent in the sense of being able to provide proofs for all the axioms it is based on. This theorem scuttled the attempt by the UK mathematicians Alfred North Whitehead (1873-1956) and Bertrand Russell (1872-1970) to develop pure mathematics from a few logical principles, dismayed the scientists looking for a few axiomatic laws that logically explain all natural phenomenon, and refuted the notion that human mind is a mechanical (deterministic) system. Proved in 1931 by the Austrian-US mathematician and relativity researcher Kurt Gödel (1906-1978). Also called Gödel's incompleteness theorem.
Source: Gödel's theorem là gì? Business Dictionary