C. Tuy nhiên như vậy bắt buộc người chủ mật khẩu phải biết TOÁN Và hơn nưã người đó không được tiết lộ hay để hở cái hàm số mật khẩu mỗi khi cài đặt mới.
2. Cụ thể hoá:
Có một vấn đề F, thay đổi nhiều trên các thông số w1, w2, …., wn. Quá trình ta đặt vấn đề F1=F(a1, a2, …., an) với wi=ai là những hằng số không đổi nào đấy được gọi là cụ thể hoá. Và ta gọi G1 là cách giải quyết vấn đề F1. Cụ thể hoá hiện diện khắp mọi nơi mọi chốn. Trong những ngành khoa học thực nghiệm người ta hay giải quyết từng mảng cụ thể của vấn đề.
Ngay trong ví dụ về lọc nước biển (xin xem lại ví dụ trong bài thứ III cuả loạt bài này) của chúng tôi ở các bài trước, các nhà nghiên cứu về tình trạng nước biển chỉ xét một vài trường hợp cho các bãi biển cụ thể khác nhau. Họ cũng không thể nào đề cập đến vấn đề một cách tổng quát được vì hai lẽ: thứ nhất nó không khả thi (vì hoàn toàn không thể hiểu các thông số nào mang tính tổng quát nhất), thứ hai không có tính thực tiễn (vì có những thông số người nghiên cứu đặt ra mà trên thực tế ở các nơi cần nghiên cứu những thông số này ít tác động đến tình trạng nước biển). Để hiểu thêm quá trình cụ thể và đặc biệt hoá chúng ta xem hình vẽ sau đây:
Hình2:Minh hoạ sự hiện diện cuả Cụ thể hoá
Trên đây, các bạn sẽ thấy cụ thể hoá của một vấn đề nó không chỉ đơn thuần là cụ thể hoá bài toán nêu ra mà còn cụ thể đến những giải pháp. Ví dụ, bãi A-do thuyền bè ra vào tấp nập, ta có thể dự đoán và thí nghiệm được bãi này có rất nhiều chất bẩn thuộc họ benzol. Nhà nghiên cứu thấy ngay để giảm thiểu chất bẩn cần phải lọc sinh lý hoá và với sự hổ trợ Pháp luật như đề ra mức chất thải của tàu bè như thế nào, biện pháp cưỡng chế nếu sai luật định ra sao. Và cuối cùng nhà nghiên cứu cần chọn phương thức lọc nào cho tốt (phương thức lọc có thể do ông ta sáng chế ra, có thể của người khác và cũng có thể là kết quả của ông ta kết hợp với công trình người khác. Miễn sao cho nhiệm vụ đặt ra cho nhà khoa học hoàn thành một cách nhanh chóng và tiết kiệm). Chẳng hạn, với 100$ bằng phương pháp hoá học, nhà nghiên cứu có thể làm chất bẩn tiêu huỷ nhanh nhất-tmin,H nhưng đổi lại nó cho chất phụ không tốt cho môi trường và sau thời gian khảo sát tks, TTNB (bẩn) lại lên khá cao TTNBmax,H. Bằng phương pháp lý cũng với 100$, chất bẩn được lọc lâu hơn-tmax,L nhưng ít có chất phụ độc hại và giữ cho nước biển sạch khá lâu TTNBL. Cuối cùng, bằng phương pháp sinh hoá, chất bẩn tiêu huỷ sau thời gian tmid,SH nhưng sau thời gian t’SH, nước biển bẩn hơn dùng pp Lý do bản thân tảo cũng bị tiêu huỷ, càng về sau đến thời gian tks mức độ sạch của nước biển được giữ khá cao. Cuối cùng, nhờ vào nghiên cứu của mình và dựa trên những thành công khoa học đã có nhà khoa học đã tìm ra một phương pháp tổng hợp để với 100$ nước biển có độ sạch cao và giữ được tình trạng đó trong thời gian lâu nhất (hình 3).
Hình3: Tìm những giải pháp cụ thể
Trong các thí nghiệm sinh lý hoá, chúng ta hay thấy rất nhiều trường hợp người ta cần tìm mối quan hệ giữa tính chất A với tính chất B. Nói cách khác, tìm mối quan hệ A=f(B). Nhiều trường hợp, người ta hầu như chưa có công thức lý thuyết flt-vì công thức flt khó tìm và phải vận dụng nhiều lý thuyết khác nhau, người ta bằng phương pháp thực nghiệm để tìm ra công thức ftn(từ những điểm cụ thể (B1,A1) …(Bn,An) nào đấy. N càng lớn thì phương trình ftn càng chính xác). Và các ftn của nhiều trường hợp cụ thể khác nhau đã giúp cho nhà khoa học hình dung ra công thức cần có của flt. Từ đây, nhà khoa học điều
chỉnh lý thuyết của mình, tìm những luận chứng bảo vệ giả thuyết của mình để tìm ra công thức lý thuyết có dạng giống công thức thực nghiệm.
Ngay trong toán học, cụ thể hoá cũng đóng vai trò tiên phong năng nổ. Không ít người trong chúng ta gặp phải bài toán quá khó, đành phải cụ thể hoá và đặc điểm hoá nó. Xét những bài toán nhỏ hơn được giới hạn trong miền xác định nhỏ hơn để tìm ra những tính chất đồng nhất trong lời giải và tiến tới có lời giải cho bài toán tổng thể. Thậm chí, khi không phát hiện ra những tính chất chung của lời giải thì cụ thể hoá cũng cho phép nhà toán học mở mang bài toán theo những chiều khác nhau và tìm ra những phương pháp toán mạnh để giải những vấn đề tương tự.
Và Định lý Ferma vĩ đại có thể nói là lời minh chứng hùng hồn cho vai trò của CỤ THỂ HOÁ, ĐẶC ĐIỂM HOÁ. Bao nhiêu thế hệ các nhà Toán học đã miệt mài nghiên cứu và từ những trường hợp cụ thể khác nhau của giá trị mũ n trong bài toán Ferma, người ta đã mở ra nhiều phương pháp mới, công cụ mới có thể sử dụng váo các bài toán khác. Đầu tiên, để chứng minh định lý với n=4, Ferma phát minh ra phương pháp đại lượng giảm dần và với phương pháp này Euler đã chứng minh bài toán đúng với n=4. Rồi những định lý Sophie Germain, lý thuyết Iwasawa, phương pháp Kolyvaghin-Flach đều được sáng tạo ra để áp dụng cho số trường hợp cụ thể nhất định. Hay là do nhu cầu giải quyết những trường hợp cụ thể (dễ hơn) người ta đã tìm ra các lý thuyết trên. Đặc biệt lý thuyết Iwasawa và Kolyvaghin dành cho những họ đường Ellip nhất định. Đứng riêng lẻ với nhau, chúng không thể giải quyết toàn bộ họ đường cong Ellip Frey (dành cho phương trình Ferma). Nhưng nhà toán học Wiles đã thành công khi kết hợp chúng với nhau và sử dụng để giải Định lý Ferma vĩ đại thành công.
Cuối cùng, chúng ta thấy phương pháp quy nạp của Toán học cũng là phương pháp xây dựng trên cơ sở những trường hợp cụ thể. Ví dụ, bài toán “tháp Hà nội” như sau: “Cho ba đĩa, trong một đĩa chứa N đồng tiền chồng lên nhau như ngọn tháp. Tức, đồng nhỏ chồng lên đồng to và các đồng tiền khác nhau về kích thước. Ta chuyển tháp đó bằng cách nâng từng đồng tiền đặt trên ba đĩa, sao cho chỉ có thể đặt đồng tiền nhỏ lên đồng tiền to hoặc đồng tiền bất kỳ lên đĩa trống. Hỏi, cần ít nhất bao nhiêu lần nhấc đồng tiền để chuyển tháp từ đĩa này qua đĩa khác.”. Tôi xin không đề cập đến phép giải. Các bạn sẽ thấy, con đường nhanh nhất và dễ nhất để tìm ra công thức cho N đồng tiền là đặt N=1, N=2….Sau tìm số lần nhấc cụ thể cho từng N SLN(N). Xét mối liên quan của N và SLN(N), chúng ta có thể dự đoán được công thức chung. Sau đó, chứng minh nó bằng quy nạp. Bài toán này khá dễ, nhưng cách này có thể dùng cho những bài toán phức tạp hơn.
Đúc Kết :
• Cụ thể hoá là phương pháp dễ tiếp cận đến vấn đề nhất.
• Nhiều trường hợp cụ thể cũng có thể cho người ta tình trạng gần tổng quát. Ví dụ như những thí nghiệm Hoá, Lý, hoặc như khi người ta đã chứng minh định lý Ferma đến n=4000000 rồi thì nhiều nhà Toán học trong các nghiên cứu của mình đã sử dụng bài toán Ferma như một định lý, bởi vì trên thực tế không có số nào được nghiên cứu mà lớn như thế nữa.
• Giúp tìm ra phương pháp giải bài toán tổng quát. Nhanh chóng kiểm nghiệm những giả thuyết, tạo điều kiện cho nhà khoa học điều chỉnh lý thuyết của mình.