Một bài tổng quan rất rất hay của Avi Wigderson, bổ túc cho cái talk ông nói ở ICM 2006. Bài này đào sâu vào phần cuối (và các phát triển sau đó) của bài Chung Qui Chỉ Tại Cantor. Tôi tin rằng tất cả các sinh viên KHMT đều phải đọc qua bài của Avi. Các khái niệm trung tâm của KHMT lý thuyết hiện nay đều được duyệt qua một cách đơn giản và trực quan: computation, undecidability, P vs NP, NP-completeness, lower bounds (and the difficulty of proving them), proof complexity, randomness in computations and proofs (bao gồm interactive proof, zero-knowledge proof, probabilistically checkable proofs).
3 Comments
Bác Hưng thân mến
Bác có bản pdf cuốn “rất rất hay của Avi Wigderson” không?
Em đang ở VN nên điều kiện rất hạn chế.
Hơn nữa, Bác có thể comment cho một số người ở Việt Nam có thể tiếp cận với các bài khoa học không?
Em rất trân trọng và theo dõi những bài viết ở Blog này (mặc dù chưa đọc hết hoặc đọc chưa hiểu
).
Cảm ơn Bác nhiều!
Bác xem cái pdf link đã có trong bài (cụm từ “bài tổng quan”). Tôi đã viết một ít trong bài Chung qui chỉ tại Cantor. Khi nào có thời gian sẽ viết lại và viết thêm phần phát triển sau.
Cảm ơn bác Hưng rất nhiều.
Quả thực, em càng ngày càng thấy Lý thuyết tính toán quan trọng.
).
)
Cảm ơn bác Hưng một lần nữa, bác có bài viết “Chung qui chỉ tại Cantor” mà em chỉ xin dùng 1 từ GREAT!
Lâu rồi mới đọc được bài viết về cơ bản toán học hay thế (mặc dù chưa hiểu hết
Rất mong bác Hưng viết tiếp và phát triển tiếp chỗ này. (mỗi một mục bác đều có thể viết dài hơn bài viết này nhé
Vừa đọc, vừa nghĩ lại hồi đại học các thầy dạy như đọc sách (đều TS, GS cả
).
Em đang đợi bác Hưng viết tiếp đây…