Скачать с ютуб Nền tảng của siêu hình học khoa học в хорошем качестве

Nền tảng của siêu hình học khoa học

Năm 2013, chứng minh của Gödel đã được hai nhà khoa học computer là Christoph Benzmüller ở Đại học Tự do Berlin và Bruno Woltzenlogel Paleo ở Đại học Công nghệ Vienna biến thành một bài toán trên computer và cho chạy thử, KẾT QUẢ HOÀN TOÀN MỸ MÃN. Hai ông đã công bố công trình của mình trên những tạp chí chuyên ngành khoa học computer, dưới tiêu đề sau đây: “Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence” (Hình thức hóa, Cơ giới háo và Tự động hóa Chứng minh của Gödel về sự hiện hữu của Chúa). Công trình này đã gây chấn động dự luận thế giới vì hai lý do: ● Một, nó chỉ ra rằng computer có thể tự động hóa các chứng minh toán học. ● Hai, logic toán học có thể biến những bài toán của triết học siêu hình thành một khoa học chính xác. Đây chính là việc Gödel đã làm, và hy vọng chứng minh của ông chính là một hình mẫu cho một thứ triết học và thần học mới mà ông gọi là “triết học và thần học khoa học” (scientific philosophy and theology).