Gödel, the Progenitor of Computer Science / Gödel, ông tổ của khoa học computer

Henri Poincaré, the greatest mathematician in the late 19th century and early 20th century, once said “the history of science must be our guide”. Today, computer science is one of the most important sciences, but many people don’t know where it comes from. This is a gap of knowledge which will be filled by the following story.

Henri Poincaré, nhà toán học vĩ đại nhất cuối thế kỷ 19 đầu thế kỷ 20, từng nói “lịch sử khoa học phải là người hướng dẫn cho chúng ta”. Ngày nay, khoa học computer là một khoa học quan trọng bậc nhất, nhưng rất nhiều người không biết nó bắt nguồn từ đâu. Đó là một lỗ hổng về kiến thức sẽ được lấp đầy bởi câu chuyện sau đây.

Chú thích ảnh trên: Từ Gödel  đến khoa học computer. Tháng 09/2019, ở tuổi 25, Kurt Gödel  lần đầu tiên đã trình bày Định lý Bất toàn của mình trước các nhà toán học hàng đầu đương thời, tại một hội nghị ở Königsberg. Trong số thính giả có John von Neumann, nhưng David Hilbert vắng mặt…

Tiếp tục đọc

Advertisements

Seminar on Gödel at IOP 26/12/2018 – Hội thảo về Gödel tại Viện Vật lý 26/12/2018

Gödel’s theorem forces us to change the way we think about the nature of science – rationalist thinking is powerful, but never enough to explain everything. To know the world better, we have to integrate all kind of perception. That’s the main message of the seminar on Gödel at the IOP (Institute of Physics) 26/12/2018…

Định lý Gödel buộc chúng ta phải thay đổi cách chúng ta nghĩ về bản chất của khoa học – tư duy duy lý rất hiệu quả, nhưng không bao giờ đủ để giải thích mọi thứ. Để hiểu thế giới tốt hơn, chúng ta phải tích hợp tất cả các dạng nhận thức. Đó là thông điệp chủ yếu của hội thảo về Gödel tại IOP (Viện Vật lý) 26/12/2018… Tiếp tục đọc