Trích: Nguyên văn bởi Lệnh Hồ Xung (Post 165921) Anh 99 bảo em không biết, nhưng mà nghe thế chắc anh 99 biết hết rồi, vậy mời anh không diễn giải bằng ngôn từ dễ hiểu nữa mà cứ nói theo ngôn ngữ hàn lâm đi ạ, đàn em xin đi rửa tai lắng nghe ạ :[
| Nếu chú muốn nghe, đây là câu trả lời của bạn anh làm nghiên cứu sinh về ngành triết học toán học : Trích: Oui le sujet reste à définir plus précisément mais je vais travailler sur la théorie des catégories et ces développements actuels. Je pense qu'il y a beaucoup de concepts philosophiques nouveaux ou peu compris à dégager du développement des mathématiques modernes. En particulier ce qui découle des travaux de Grothendieck, Kan et plus récent Jacob Lurie, Steve Awodey, etc... D'un point de vue plus mathématique, je trouve très intéressant le fait que la théorie des catégories qui à la base n'était vu que comme un langage, un outil, s'impose maintenant comme une vraie façon de faire des mathématiques avec ces résultats propres et sa force expressive. | Tạm dịch : tôi sẽ làm việc về lý thuyết phạm trù và các phát triển hiện tại. Tôi nghĩ rằng có nhiều khái niệm triết học mới hoặc ít được hiểu cần được làm rõ từ sự phát triển của toán học hiện tại. Đặc biệt từ những công trình của Grothendieck, Kan và gần đây Jacob Lurie, Steve Awodey, v.v. Từ điểm nhìn toán học, tôi thấy thú vị rằng lý thuyết phạm trù ở nền tảng được nhìn như một ngôn ngữ, một công cụ, bây giờ trở nên cần thiết như một phương thức thực sự để làm toán với các kết quả mạnh mẽ và ấn tượng. |