Author Archives: NQH

Nói thêm về xuất bản hàn lâm

NQH | 08/03/2005 | Bản để in Bản để in

Trong tờ tin nhanh “the institute” của IEEE tháng 3 năm 2005 có bài viết “thông tin miễn phí cho tất cả?” liên quan đến bài tôi viết cách đây vài hôm. Họ viết về phong trào “truy cập mở” (open access), có vài chi tiết quan trọng. Năm ngoái có ba sự kiện làm [...]

Chủ đề Xuất bản | Phản hồi »

Chung qui chỉ tại Cantor (10)

NQH | 07/03/2005 | Bản để in Bản để in

Bài toán nào nằm trong P được xem là bài toán “dễ”, còn lại là các bài toán khó. Lớp P chỉ có thể được định nghĩa chính xác bằng toán học nếu ta có một mô hình toán học cho khái niệm giải thuật. Dĩ nhiên mô hình này không gì khác hơn là [...]

Chủ đề Lý thuyết tính toán | Phản hồi »

Sinh trắc học

NQH | 04/03/2005 | Bản để in Bản để in

Sinh trắc học (biometrics) dùng để chỉ nhánh nghiên cứu các cách dùng các dấu hiệu của các bộ phận trong cơ thể (như dấu tay, ảnh mặt, ảnh mắt, DNA, …) để nhận ra (identify) một cá thể. Sau vụ 9/11, khách đến Mỹ đều phải để lại vân tay và ảnh mắt ở [...]

Chủ đề Bảo mật và mật mã học | Phản hồi »

Từ spam đến spim

NQH | 02/03/2005 | Bản để in Bản để in

Hiện nay cứ 10 emails thì có đến gần 9 emails là spam (xem thống kê). Đây là vấn đề nhức đầu cho các nhà quản lý mạng. Ngoài chuyện phiền toái cho người dùng: xóa spam-mails, bị virus, mất thì giờ và cả tiền bạc, thì spam emails làm giảm đáng kể hiệu suất [...]

Chủ đề Bảo mật và mật mã học | Phản hồi »

Từ một ước mơ

NQH | 26/02/2005 | Bản để in Bản để in

1. Từ một ước mơ Ngày 25 tháng 10 năm 2003, giáo sư Donald Knuth gửi một lá thư đến ban biên tập của tạp chí chuyên ngành thuật toán (Journal of Algorithms). Trong thư, ông phân tích giá cả xuất bản của các tạp chí chuyên ngành trong ngành lý thuyết khoa học máy [...]

Chủ đề Giáo dục, Xuất bản | 1 phản hồi »

Tính toán tràn khắp

NQH | 25/02/2005 | Bản để in Bản để in

Tính toán tràn khắp (pervasive computing) là một trong các nhánh nghiên cứu đang được phát triển rất nhanh trong giới làm khoa học máy tính. Ý tưởng chính là làm sao cho ta “quên” rằng có máy tính tồn tại xung quanh ta. Lái ô tô, dùng tủ lạnh, TV, và người dùng bình [...]

Chủ đề CNTT các nước và VN, Mạng máy tính | Phản hồi »

Vấn đề nhị thể

NQH | 24/02/2005 | Bản để in Bản để in

Bài toán ba vật thể (3-body problem) là một bài toán nổi tiếng khó trong Vật Lý (cho ba vật thể hút đẩy nhau, tính quĩ đạo). Người ta thường chơi chữ, và dùng “vấn đề nhị thể” (2-body problem) để chỉ một vấn đề khác. Khi một người đi tìm việc ở một thành [...]

Chủ đề Chính trị trong ngành, Dành cho du học sinh | Phản hồi »

Chung qui chỉ tại Cantor (9)

NQH | 22/02/2005 | Bản để in Bản để in

“Các bài toán có và không có các giải thuật tốt để giải đều rất đáng quan tâm … Tôi giả định (conjecture) rằng không có giải thuật tốt nào để giải bài toán chàng bán hàng rong (traveling salesman). Các lý do của tôi cũng giống như lý do cho các giả định toán [...]

Chủ đề Lý thuyết tính toán | Phản hồi »

Eva Cassidy – Tiếng Hát Đã Xa

NQH | 21/02/2005 | Bản để in Bản để in

Lần đầu tiên tôi được nghe Eva Cassidy qua một album loại jazz/pop collection tình cờ sục sạo ra được khi đi tìm đĩa của Norah Jones ở Hong Kong. Chị hát “Yesterday” của Paul McCartney với một góc cảm xúc và rearrangement rất độc đáo. Tuy vậy, ấn tượng đọng lại sâu sắc nhất [...]

Chủ đề Âm Nhạc | 2 phản hồi »

Chung qui chỉ tại Cantor (8)

NQH | 20/02/2005 | Bản để in Bản để in

“Tầm mắt của chúng ta chẳng xa gì lắm, mà ta đã thấy bao nhiêu việc để làm.” [Alan Turing - 1950] Việc ai đó có tin là Church đã giải được entscheidungsproblem hay không phụ thuộc vào việc người đó có tin rằng giải tích lambda thật sự bao gồm những gì tính toán [...]

Chủ đề Lý thuyết tính toán | Phản hồi »

Chung qui chỉ tại Cantor (7)

NQH | 19/02/2005 | Bản để in Bản để in

“Không. Hồi đó khoa Triết Học không có ai quan tâm đến mấy thứ ấy.” [Alonzo Church trả lời khi được hỏi có quan hệ gì giữa khoa Toán và khoa Triết ở Princeton thời cuối 1920, đầu 1930.] Bản chất của bài toán Hilbert số 10 nằm ở các câu hỏi: “các hàm nào [...]

Chủ đề Lý thuyết tính toán | 3 phản hồi »

Chung qui chỉ tại Cantor (6)

NQH | 18/02/2005 | Bản để in Bản để in

“Tôi đã khám phá ra một khả năng logic và hợp pháp mà hợp chủng quốc Hoa Kỳ có thể biến thành một nước độc tài.” [Trích lời Gödel nói với Oskar Morgenstern năm 1952] Đầu thế kỷ 20, Hilbert dành rất nhiều thời gian phát triển “chương trình Hilbert” như đã đề cập. Tại [...]

Chủ đề Lý thuyết tính toán | 2 phản hồi »

Chung qui chỉ tại Cantor (5)

NQH | 15/02/2005 | Bản để in Bản để in

“Nếu tôi có một số thành công nhất định trong toán học thì đó là vì tôi luôn thấy nó rất khó.” [Trích lời Hilbert nói với Harald Bohr (1887-1951)] Năm 1900, tại hội nghị các nhà toán học thế giới ở Paris (International Congress of Mathematicians), David Hilbert đề nghị 23 bài toán làm [...]

Chủ đề Lý thuyết tính toán | Phản hồi »

Chung qui chỉ tại Cantor (4)

NQH | 13/02/2005 | Bản để in Bản để in

Trong bài trước, ta đã chứng minh |S|< |2^S| với mọi tập S bằng lý luận đường chéo. Cantor không dừng lại ở đó, ông xét một chuỗi vô hạn các lực lượng của các tập vô hạn được tạo ra theo cách này: |N|, |2N|, |22^N|, …, và ông dùng Aleph không, Aleph một, [...]

Chủ đề Lý thuyết tính toán | 1 phản hồi »

Chung qui chỉ tại Cantor (3)

NQH | 10/02/2005 | Bản để in Bản để in

Tôi thấy, nhưng tôi không tin. [Trích một bức thư Cantor gửi Dedekind năm 1878] Trở lại với hành trình lịch sử của ta: trong các thập niên cuối cùng cùng của thế kỷ 19, nhà toán học vĩ đại Georg Cantor (Georg Ferdinand Ludwig Philipp Cantor, 1845-1918) đề ra một trong những tư tưởng [...]

Chủ đề Lý thuyết tính toán | 21 phản hồi »