Dĩ nhiên thích theorem proving và các hướng lý thuyết nói chung không có gì sai.

Tôi chỉ không thấy thoải mái khi ý thích này thòng theo “vì theorem proving ít involve debugging/coding” (tôi hiểu là ít “cơ bắp” hơn một chút). Hai cái đó nên độc lập với nhau. Chúng ta thích một ngành lý thuyết vì bản chất thú vị của nó (ví dụ như nó trả lời những câu hỏi fundamental mà trí tò mò khoa học của ta cần được thỏa mãn) chứ không cần phải thêm là ta thích vì nó “ít coding” hơn.

Khi đã nghĩ như vậy, nếu các câu hỏi fundamental đó cần coding thì ta coding, cần theorem proving thì ta chứng minh. Tất cả đều chỉ là công cụ và ta dùng công cụ nào hiệu quả/thích hợp nhất để trả lời. Không hiểu tôi nói vậy có rõ ý không?

Thật sự thì khả năng coding của em cũng không tệ, và em cũng không phải là muốn bỏ hẳn việc coding, nhưng chỉ là muốn tìm những hướng nghiên cứu mà trong đó theory đóng vai trò chủ đạo và coding sẽ được dùng để hỗ trợ cho việc tìm các theorem hoặc chứng minh các theorem.

Em chỉ cảm thấy mình không thích những cách tiếp cận mà trong đó việc coding/debugging chương trình và làm experiment chiếm một khối lượng chủ yếu; ví dụ như mày mò ra một algorithm, coding/debugging, làm experiment để so sánh với các thuật toán khác, nếu không tốt thì phải quay trở lại tìm algorithm…

Nhưng nhiều khi em cũng thắc mắc không biết cách tiếp cận này (thiên về theory một chút và dùng coding để hỗ trợ) có thích hợp không ? Nếu không thích hợp thì theo anh Hưng em nên làm thế nào ?

Anyway, làm về coding theory, algorithms, complexity theory, machine learning, distributed systems, v.v. đều có thể làm “prover” mà không làm “coder”. Cá nhân tôi nghĩ cách tiếp cận này là sai lầm. Coding is a LOT of fun và thật sự quan trọng cho phát triển tư duy trong ngành, kể cả khi chỉ chủ yếu là chứng minh định lý thì cũng cần biết và cần code. Một số định lý phải tìm “conjectures” bằng chương trình, chẳng hạn.

Em đang có ý định sẽ đi theo con đường research trong ngành Computer Science, nhưng lại gặp vấn đề là em không thích coding/debugging nhiều, mà lại thích proving theorems như bên toán nhiều hơn.
Anh có thể cho em biết trong Computer Science có những hướng nghiên cứu nào ít liên quan đến việc coding/debugging và dùng nhiều các kỹ thuật về toán được không ?

Cám ơn anh.

Câu hỏi là:
“Làm cách nào mà ta đo được điện tích q của một vật nào đó?”

Bởi vì câu hỏi có liên quan đến định luật Coulomb mà cháu đang học ở lớp 11, bài giảng về phần thí nghiệm của Coulomb quá sơ sài, làm cháu cứ thắc mắc mãi. Số là như mọi người có lẽ đã biết: F điện =k.|q1.q2|/r^2 khi xét hệ hai vật. Ông Coulomb hồi xưa dùng cái cân xoắn chi chi đó mà tính được hằng số K. Cháu không thể hiểu được là tại sao ông ta lại làm được, vì theo SGK, từ thí nghiệm của mình, ông chỉ mới xác định được lực F và r, chứ SGK chưa có nói là làm sao ông ta tính được điện tích q1, q2 cả. Nếu chú giúp được cháu câu này thì sẽ giúp cháu trả lời thêm các câu hỏi khác nữa. Cháu xin chú giúp đỡ, có thể trả lời giùm cháu, hoặc chỉ cho cháu tư liệu để tìm đọc ạ. Cám ơn chú rất nhiều!