• Định lý bất toàn

Thẻ: Định lý bất toàn

  • 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à […]
    Đọc thêm
  • Godel

    Vì cái bài kia nó dính tới mấy cái khái niệm consistent, incomplete .. vân vân nên nó hơi lộn xộn. Nên tôi viết lại cái này bỏ hết các khái niệm đó ra cho nó dễ hiểu. Nếu các bạn thấy cái kia mệt thì coi cái này, nó dễ hiểu lắm. 1. Cũng […]
    Đọc thêm
  • Định Lý “Bất Toàn” Và Các Hệ Quả “Triết Học” ?

    Khoa học tựa như Einstein, ai cũng ngưỡng mộ mà ít ai hiểu chuyện ổng làm Einstein & Godel Tôi xin bắt đầu bằng câu đó. Hình như tôi đọc được trên trang Evolit. Lên mạng kiếm tên Einstein ra cả đống, đa phần là liên hệ tới những vấn đề … gì đâu. Kẻ vô thần trích dẫn mấy câu của ổng về thượng đế kiểu Spinoza, người có đức tin […]
    Đọc thêm
  • Chúng minh Chúa hiệu hữu

    1. Blaise Pascal (1623-1662) Lập luận của Pascal đánh cược vào Thiên Chúa theo Xác suất toán học · Thiên chúa chỉ có thể hoặc hiện hữu hoặc không hiện hữu, nghĩa là xác suất cho mỗi bên là 50%. · Nếu chúng ta tin Thiên chúa và nếu Ngài hiện hữu, chúng ta sẽ […]
    Đọc thêm
  • Định lý Bất toàn của Gödel: Khám phá Toán học số 1 trong thế kỷ 20

    “Định lý Bất toàn của Gödel: Khám phá Toán học số 1 trong thế kỷ 20” là một bài giảng của Perry Marshall. Dưới đây là bản lược dịch của Phạm Việt Hưng. Abstract: Gottfried Leibniz once said: “Without mathematics we cannot penetrate deeply into philosophy. Without philosophy we cannot penetrate deeply into mathematics. Without both we cannot penetrate deeply into […]
    Đọc thêm
Scroll