It’s “Gödel’s proof of God’s existence”, which was computerised by Christoph Benzmüller at the Free University of Berlin and Bruno Woltzenlogel Paleo at the Vienna University of Technology. A big question is proposed: Can mathematic-logic and computers prove metaphysical problems?
Đó là “Chứng minh của Gödel về sự hiện hữu của Chúa”, đã được thực hiện trên computer bởi Christoph Benzmüller ở Đại học Tự do Berlin và Bruno Woltzenlogel Paleo ở Đại học Công nghệ Vienna. Vấn đề lớn đặt ra: Toán học và computer có thể chứng minh các bài toán của siêu hình học? Tiếp tục đọc