ĐỊNH LÝ BẤT TOÀN | TẬP 3: GÖDEL - ÔNG TỔ CỦA NGÔN NGỮ LẬP TRÌNH

ĐỊNH LÝ BẤT TOÀN | TẬP 3: GÖDEL - ÔNG TỔ CỦA NGÔN NGỮ LẬP TRÌNH
===============================================
Nội dung:
00:00:00 Mở đầu
00:02:31 Câu hỏi 1: Vì sao Kurt Gödel được coi là ông tổ của Ngôn ngữ lập trình?
00:45:41 Câu hỏi 2: “Sự cố dừng” trong khoa học máy tính.
01:17:03 Câu hỏi 3: Liệu AI có thể thông minh như con người hay không?
01:47:33 Câu hỏi 4: Liệu AI có thể phát minh ra công nghệ, kỹ thuật mới?
01:54:41 Câu hỏi 5: Liệu toán học có phải là sản phẩm do con người sáng tạo ra ko?
02:05:42 Tổng kết
===============================================
● “Định lý Bất toàn của Gödel là một trong những khám phá khoa học vĩ đại nhất thế kỷ 20, sánh ngang với Thuyết tương đối của Einstein và Nguyên lý Bất định của Heisenberg” (The New Yorker, 29/06/2016).
● “Thành tựu của Kurt Gödel trong logic hiện đại vô cùng độc đáo và kỳ vĩ – thực ra nó còn hơn cả một tượng đài, đó là một cột mốc sẽ tiếp tục được nhìn thấy từ xa trong không gian và thời gian… Với thành tựu của Gödel, đối tượng của logic chắc chắn đã hoàn toàn thay đổi bản chất và khả năng của nó” (John von Neumann, Giáo sư Viện Nghiên cứu cao cấp Princeton, tác giả thiết kế 2 chiếc máy tính điện tử đầu tiên EDVAC và ENIAC).
● “Gödel là nhà phát minh thực sự của ngôn ngữ lập trình và cấu trúc dữ liệu” (Douglas Hofstadter, Giáo sư Khoa học Nhận thức Đại học Stanford, tác giả cuốn sách đoạt Giải Pulitzer năm 1978, Gödel, Esche, Bach).
● “Ông tổ của Lý thuyết Thông tin, và có lẽ gương mặt chủ yếu của lịch sử tư tưởng nhân loại hiện nay là Kurt Gödel” (Georges Gilder, nhà kinh tế học, tác giả nhiều cuốn sách phổ biến khoa học nổi tiếng, sáng lập viên Viện Discovery).
● “Tôi đến viện nghiên cứu chỉ cốt để có vinh dự được đi bộ về nhà cùng Gödel” (Albert Einstein)

Playlist https://www.ganjingworld.com/s/9w9br7A1eB
===============================================
ĐĂNG KÝ (SUBSCRIBE) KÊNH NHẬN THỨC MỚI ĐỂ THEO DÕI CÁC CÂU CHUYỆN THÚ VỊ CỦA CHÚNG TÔI:
▶️ https://youtube.com/@NhanThucMoi
▶️ Ganjing World: https://www.ganjingworld.com/s/0nMNYZ...
▶️ Fanpage: https://facebook.com/ntmpage
▶️ Website: https://nhanthucmoi.net

===============================================
#NhanThucMoi #DinhlyBatToan #DinhlyGodel #Godel #PhamVietHung