Kurt Gödel is considered the Progenitor of Computer Software Science. Why? The answer lies in the book “Gödel’s Proof, Revised Edition” by E. Nagel and J. Newman. Here is a brief introduction to that book, written by Engineer Anh Dung Le, and I would like to introduce it to the readers …

Kurt Gödel được coi là Ông tổ của khoa học phần mềm computer. Tại sao? Câu trả lời nằm trong cuốn sách “Chứng minh của Gödel, Phiên bản sửa đổi” của E. Nagel và J. Newman. Sau đây là một giới thiệu tóm tắt cuốn sách đó, do Kỹ sư Lê Anh Dũng thực hiện. Xin trân trong giới thiệu cùng độc giả …  Tiếp tục đọc →