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/1930, ở 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