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

A Glory for the Australian Education / Một vinh quang cho nền giáo dục Úc

 

Yesterday, 02/08/2018, the International Congress of Mathematicians in Rio de Janeiro, Brazil, announced the 2018 Fields Medals awarded to four mathematicians, including Akshay Venkatesh, a famous Australian born Indian mathematician.

Ngày hôm qua, 02/08/2018, Hội nghị Toán học Thế giới (ICM) tại Rio de Janeiro, Brazil, đã công bố Giải Fields 2018 được trao cho 4 nhà toán học, trong đó có Akshay Venkatesh, một nhà toán học người Úc gốc Ấn nổi tiếng. Tiếp tục đọc

Pictures of Reality / Những bức tranh của hiện thực

Henri Poincaré, one of the greatest mathematicians of all time, once said: “A mathematician who separates from the reality is like a painter who is lost the model”. In other words, like painting,  mathematics is a picture of reality, not the reality itself, and that’s why mathematics is always  incomplete, as what has been proved by Gödel’s Theorem.

Henri Poincaré, một trong những nhà toán học vĩ đại nhất mọi thời đại, từng nói: “Nhà toán học xa rời thực tiễn giống như một họa sĩ bị mất vật mẫu”[1]. Nói cách khác, giống như hội họa, toán học là một bức tranh của hiện thực chứ không phải bản thân hiện thực, và đó là lý do toán học luôn luôn bất toàn, như đã được chứng minh bởi Định lý Gödel.  Tiếp tục đọc

Essay on Faith / Luận về Đức tin [1]: Max Planck vs Richard Dawkins

Max Planck, the father of Quantum Theory, said long ago that faith is the foundation of science. But recently, Richard Dawkins, a professor at Oxford University, stated the opposite: faith is non-sense. So, who was right, who was wrong? This is not a religious question, but a scientific and philosophical one which requires a clear answer…

Max Planck, cha đẻ Thuyết Lượng tử, từ lâu đã nói rằng đức tin là nền tảng của khoa học. Nhưng gần đây, Richard Dawkins, một giáo sư Đại học Oxford, tuyên bố điều ngược lại: đức tin là vô nghĩa. Vậy ai đúng, ai sai? Đây không phải một câu hỏi tôn giáo, mà là một câu hỏi khoa học và triết học đòi hỏi một câu trả lời rõ ràng… Tiếp tục đọc

Level of support for evolution / Mức độ ủng hộ thuyết tiến hóa

According to the article “Level of support for evolution” on Wikipedia, the vast majority of the scientific community and academia supports evolutionary theory. But many surveys in USA show the opposite: most Americans do not believe in evolution. Why is there such a contradiction?

Theo bài báo “Mức độ ủng hộ thuyết tiến hóa” trên Wikipedia, phần lớn cộng đồng khoa học và hàn lâm ủng hộ thuyết tiến hóa. Nhưng nhiều cuộc thăm dò ở Mỹ cho thấy điều ngược lại: đa số người Mỹ không tin thuyết tiến hóa. Tại sao có sự mâu thuẫn như thế?

Tiếp tục đọc

The Most Interesting Lecture of Gödel’s Theorem / Bài giảng hay nhất về Định lý Gödel

In a lecture of Gödel’s Theorem, Perry Marshall remarked: “Gödel’s Incompleteness Theorem definitively proves that science can never fill its own gaps. We have no choice but to look outside of science for answers”. In other words, that’s science which requires philosophical and theological knowledge to answer the questions posed by science itself.

Trong một bài giảng về Định lý Gödel, Perry Marshall nhận định: “Định lý Bất toàn của Gödel chứng minh một cách dứt khoát rằng khoa học không bao giờ có thể lấp kín những lỗ hổng của chính nó. Chúng ta không có lựa chọn nào khác là nhìn ra bên ngoài khoa học để tìm câu trả lời”. Nói cách khác, chính khoa học đòi hỏi những tri thức triết học và thần học để trả lời những câu hỏi do chính khoa học đặt ra. Tiếp tục đọc

The Most Beautiful Explanation of Creation / Lời giải thích đẹp nhất về sự Sáng tạo

Theory of Big Bang is one of the greatest scientific achievements in 20th century. After discussing with Georges Lemaître, the father of this theory, Albert Einstein exclaimed: “This is the most beautiful and satisfactory explanation of creation to which I have ever listened”! Unfortunately, Big Bang posed a so great philosophical question to science that scientists cannot answer…

Lý thuyết Big Bang là một trong những thành tựu khoa học lớn nhất trong thế kỷ 20. Sau khi thảo luận với Georges Lemaître, cha đẻ lý thuyết này, Albert Einstein thốt lên: “Đây là lời giải thích đẹp đẽ và thỏa đáng nhất về sự sáng tạo mà tôi từng được nghe”! Thật không may, Lý thuyết Big Bang đặt ra một câu hỏi triết học quá lớn cho khoa học đến nỗi các nhà khoa học không thể trả lời… Tiếp tục đọc