Thông điệp ngắn
- RT @TelegraphNews Netflix lets its staff take as much holiday as they want, whenever they want – and it works http://bit.ly/ajRs6J
- Google Making Extraordinary Counteroffers To Stop Flow Of Employees To Facebook http://t.co/M2kCTgj via @techcrunch
- 'Power corrupts. PowerPoint corrupts absolutely." http://bit.ly/cWQUjP
- Lecture on lectures http://bit.ly/d6ODHd
- How panhandlers use free credit cards - thestar.com http://t.co/j3pSXMB
Phản hồi mới
- Administrator on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- Na K54 on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- Na K54 on VC
- xuanlong on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- Duy on VC
- xuanlong on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- Ngô Quang Hưng on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- Ngô Quang Hưng on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- XuanLong Nguyen on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
- XuanLong Nguyen on HM5 — Định lý Vapnik-Chervonenkis cho mô hình giả thuyết không nhất quán
-
Bài mới
Thư khố
Chuyên Mục
- Âm Nhạc (39)
- Ảnh hưởng của CNTT (3)
- Bảo mật và mật mã học (67)
- Blog cầu (5)
- Bơi (1)
- Các hệ thống máy tính (9)
- Các hội nghị KHMT (11)
- Công nghệ phần mềm (6)
- Chính trị trong ngành (29)
- Chưa phân loại (34)
- CNTT các nước và VN (47)
- Combinatorics (16)
- Cơ sở dữ liệu (2)
- Danh ngôn (12)
- Dành cho du học sinh (97)
- Games (2)
- Giáo dục (76)
- Giới thiệu sách (33)
- KHMT và Kinh Tế (1)
- KHMT và luật pháp (6)
- KHMT và sinh học (5)
- KHMT và triết học (3)
- Lập trình (3)
- Lịch sử Việt Nam (2)
- Lý thuyết mã hóa (2)
- Lý thuyết tính toán (53)
- Lý thuyết thông tin (15)
- Mạng máy tính (34)
- Mỹ quốc (12)
- Nghiên cứu nghiên kiếc (50)
- Nhân vật và sự kiện (127)
- Quả đất của ta (1)
- Thông báo (23)
- Thuật ngữ chuyên ngành (8)
- Thuật Toán (51)
- Tin tức đó đây (68)
- Toán Ứng Dụng (3)
- Toán tối ưu (5)
- Trang web hay (31)
- Trí tuệ nhân tạo (40)
- Vui – Giải Trí (216)
- Vượt định kiến (2)
- Xác suất & thống kê (49)
- Xuất bản (14)
Báo chí
Bảo mật
Blog Việt
Chưa phân loại
Giáo dục
Kỹ thuật
Khoa học khác
Kinh tế, luật pháp, xã hội
- A Tiny Revolution
- Andrew Sullivan.com
- Chicago’s Law Faculty
- Computing Chris
- Creative Capitalism
- Crooked Timber
- Daily Kos
- Freakonomics
- Free exchange
- Furdlog
- Instapundit
- Marginal Revolution
- Social Science Statistics
- Structured Procrastination
- The Becker-Posner Blog
- The Volokh Conspiracy
- Vietnam Quant. Society
- Đỗ Quốc Anh
Lý thuyết & thuật toán
Toán học
Vật Lý
Giáo sư Manuel Blum
Học kỳ trước giáo sư Manuel Blum (giải thưởng Turing năm 1995) đến chỗ tôi nói chuyện về dự án CONSCS của ông. CONSCS vừa là viết tắt của cụm từ CONceptualizing Strategizing Control Systems, vừa chơi chữ vì CONSCS đọc giống từ conscious (ý thức). Khi đó dự án này còn chưa được viết và nộp cho NSF. Đại khái là ông muốn lý thuyết hóa khái niệm “ý thức” để có thể tạo các hệ thống máy tính “có ý thức”. Đây là một trong các vấn đề then chốt của trí tuệ nhân tạo. Không chỉ liên quan đến khoa học máy tính, đề tài này liên quan mật thiết đến cả triết học và khoa học về não bộ.
Ý thức là gì? Theo tự điển Wikipedia thì đại lọai ý thức là một nhân tố tinh thần bao gồm các khả năng như tự biết mình (self-awareness), nhận thức được liên hệ giữa bản thân và môi trường, vân vân. Cái máy tính Deep Blue đánh thắng Kasparov, dù rất phức tạp và “thông minh”, nhưng ta tin rằng nó không ý thức được sự tồn tại của nó và việc nó đang làm. Con kiến, con sâu thì lại có (vẻ có) ý thức.
Mô hình hóa và mô phỏng ý thức, nếu “thành công”, thì sẽ là một bước tiến nhảy vọt trong nhận thức của chúng ta về máy tính và về quá trình suy nghĩ của chính mình.
Một điểm thú vị về giáo sư Blum là cả vợ ông (Lenore BLum) và con trai (Avrim Blum) đều là các khoa học gia xuất sắc và đều ở khoa máy tính của CMU.
Ông hay cho sinh viên lời khuyên về viết lách như sau: 1. Có gì đó để viết, 2. Viết, 3. Viết xong thì dừng, 4. Đặt tựa bài cho hay (John Shaw Billings [1838-1913]). Giáo sư Blum đã hướng dẫn và tốt nghiệp rất nhiều các nhà khoa học đầu ngành máy tính như Gary Miller (CMU), Michael Sipser (MIT), Vijay Vazirani (Georgia Tech), Umesh Vazirani (Berkeley), vân vân. Danh sách học trò ông quả thực là đáng ngưỡng mộ.