http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/ Tầm nhìn ta thật ngắn mà đã thấy bao thứ để làm -- Alan Turing Wed, 08 Feb 2012 20:07:47 +0000 hourly 1 http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/comment-page-1/#comment-45964 Ngô Quang Hưng Mon, 29 Oct 2007 14:10:56 +0000 http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/#comment-45964 Hi Sơn, list of unproved-lemmas thì mất thời gian lắm. Phải cover background knowledge etc. <a href="http://www.cse.buffalo.edu/~hungngo/papers/soda03.pdf" rel="nofollow">Bài này</a> có 2 cái conjectures, một cái dễ hơn cái kia một chút. Làm sao tôi biết là các conjectures này đúng? Vì tôi "cảm giác" là nó đúng :-) Hi Sơn, list of unproved-lemmas thì mất thời gian lắm. Phải cover background knowledge etc. Bài này có 2 cái conjectures, một cái dễ hơn cái kia một chút. Làm sao tôi biết là các conjectures này đúng? Vì tôi “cảm giác” là nó đúng

]]> http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/comment-page-1/#comment-45508 npson Sat, 27 Oct 2007 23:20:42 +0000 http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/#comment-45508 Ah hay bac Hung post cai list unproved lemmas cua bac Hung len neu khong co chi la bi mat. Cai nay co ich cho sinh vien bon em day. Dam bao ko co giai thuong thi cung se co nguoi nhao vo lam. Sinh vien can cac ket qua co y nghia de luyen tap, khong muon lam tren cac ket qua tuong tuong. Ngay ca neu khong thanh cong thi nhu Sir Michael Atiyah noi "I have thought hard about the problem in my own way. This is much better than passively following another's reasoning" khong bo doc cung bo ngang thoi. :) Ah hay bac Hung post cai list unproved lemmas cua bac Hung len neu khong co chi la bi mat. Cai nay co ich cho sinh vien bon em day. Dam bao ko co giai thuong thi cung se co nguoi nhao vo lam. Sinh vien can cac ket qua co y nghia de luyen tap, khong muon lam tren cac ket qua tuong tuong. Ngay ca neu khong thanh cong thi nhu Sir Michael Atiyah noi “I have thought hard about the problem in my own way. This is much better than passively following another’s reasoning” khong bo doc cung bo ngang thoi.

]]> http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/comment-page-1/#comment-45081 npson Fri, 26 Oct 2007 16:08:31 +0000 http://www.procul.org/blog/2007/10/26/th%e1%bb%8b-tr%c6%b0%e1%bb%9dng-b%e1%bb%95-d%e1%bb%81/#comment-45081 Vụ này rất lạ đối với em bác Hưng à. Ở ngành của em không thấy có chuyện này. Đơn giản vì phần lớn không biết nó đúng hay sai, nhiều khi không hình dung được rõ ràng kết quả cuối cùng nó thế nào, chỉ khi xông vào làm rồi mới thấy được dần dần. Mà chỉ các lão tiền bối ở lâu trong ngành mới có đủ view để đánh giá và dự đoán. Bọn sinh viên chúng em dựa hẳn vào các cụ như trẻ tập đi, các cụ đỡ đần từng li từng tí. Ví dụ như Poincare conjecture, người đầu tiên chứng minh thành công là cụ Stephen Smale (Fields medal 1962) bảo rằng lúc mới làm cụ chẳng tin nó đúng. Niềm tin đó được vun đắp từ từ trong mấy năm trời. Vụ này rất lạ đối với em bác Hưng à. Ở ngành của em không thấy có chuyện này. Đơn giản vì phần lớn không biết nó đúng hay sai, nhiều khi không hình dung được rõ ràng kết quả cuối cùng nó thế nào, chỉ khi xông vào làm rồi mới thấy được dần dần. Mà chỉ các lão tiền bối ở lâu trong ngành mới có đủ view để đánh giá và dự đoán. Bọn sinh viên chúng em dựa hẳn vào các cụ như trẻ tập đi, các cụ đỡ đần từng li từng tí. Ví dụ như Poincare conjecture, người đầu tiên chứng minh thành công là cụ Stephen Smale (Fields medal 1962) bảo rằng lúc mới làm cụ chẳng tin nó đúng. Niềm tin đó được vun đắp từ từ trong mấy năm trời.

]]>