Một sinh viên 20 tuổi ở Anh vừa được 25,000usd vì chứng minh được rằng cái 2,3-TM của Wolfram là universal. Hồi xưa, đọc sách của Chaitin thấy giới thiệu quyển New Kind of Science của Wolfram rất dữ, tôi đã mua ngay cái quyển hơn 1000 trang đó (đầy hình ảnh và mathematica code). Đọc xong thất vọng hoàn toàn. Đã có nhiều reviews quyển này, trong đó tôi thích nhất review này. Tờ Notices hồi đó cũng có rất nhiều reviews, theo cùng dòng tư tưởng như review đã dẫn.
Nếu tôi giàu như Wolfram thì cái gì không chứng minh được tôi có thể treo giải 25,000USD. Thế nào cũng có một cô/chú sinh viên nghèo thông minh, nhiều thời gian và sức tập trung lớn (chưa phải thay tã cho con) giải được. Thật ra 25,000 so với 10,000 cũng chẳng khác là bao với cô/chú SV nghèo nọ. Nên tôi sẽ chỉ treo giải 10,000 thôi. Đủ động cơ rồi. Hay 5,000? Nhưng tôi sẽ ký giao kèo lấy kết quả nọ làm của mình. Từ từ sẽ viết được nhiều bài báo rất hay mà các lemmas đều là mua lại từ đám SV nghèo nọ.
Ah, nghĩ đến đây thì tôi lại nhớ đến tiệm sửa đồng hồ của sư tử. Sư tử chẳng tốn đồng nào cũng được cả đống định lý và bổ đề.
Tôi có nhiều lemmas chưa biết chứng minh làm sao. Treo giải bao nhiêu thì bạn bán chứng minh cho tôi? [Gia tài của tôi chỉ bằng small-o của gia tài Wolfram]
3 Comments
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.
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.
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