Áo Thuật Thần Tọa

Chương 718 - Đi dạo trước bữa tối

Elena rút ra hai quyển tạp chí từ chồng tạp chí dày cộp trên tay: "Tháng này, chủ đề thảo luận nóng nhất là 'Cơ sở lý thuyết toán học' của thầy. Đặc biệt, nghịch lý thợ cắt tóc đang được quan tâm hơn cả, nó được xem là một cuộc khủng hoảng lớn trong lĩnh vực lý thuyết toán học."

Mặc dù được Lucian dạy dỗ, Elena cũng am hiểu lý thuyết toán học. Nhưng chuyên môn của cô vẫn là lĩnh vực nguyên tố và luyện kim thuật. Cô quan tâm đến ứng dụng nhiều hơn là nghiên cứu sâu về số học. Vì vậy, khi nói đến "cuộc khủng hoảng lớn trong lĩnh vực lý thuyết toán học", cô không hề lo lắng hay bối rối như các pháp sư của Tháp Ma Pháp. Thay vào đó, cô có vẻ thích thú và hào hứng xem chuyện lớn.

Lucian nhận lấy Tạp chí Ma thuật và Tạp chí Tự nhiên. Anh nhận thấy các đại pháp sư như Nghị trưởng, giáo sư Hathaway đều viết luận văn riêng về "Cơ sở lý thuyết toán học". Một mặt, họ thừa nhận đầy đủ tầm quan trọng của "Cơ sở lý thuyết toán học" đối với sự phát triển của lý thuyết toán học, đồng thời nghiên cứu ở các mức độ khác nhau về nhiều nhánh lý thuyết toán học được hình thành nhờ nó. Mặt khác, họ đều nhất trí chỉ ra rằng việc giải quyết nghịch lý thợ cắt tóc phải dựa vào sự phát triển của chính lý thuyết tập hợp và việc định nghĩa nó một cách chặt chẽ.

Trước khi Lucian viết "Cơ sở lý thuyết toán học", Hội nghị Ma pháp vẫn chưa hoàn thiện hệ thống lý thuyết tập hợp. Tuy nhiên, nhiều pháp sư am hiểu lý thuyết toán học đã nhận ra rằng từ lý thuyết tập hợp, kết hợp với các khái niệm khác, có thể xây dựng cả một tòa lâu đài lý thuyết toán học. Nó là nền tảng của mọi thành tựu toán học. Vì vậy, không chỉ các đại pháp sư hy vọng có thể tránh được nghịch lý bằng cách định nghĩa chặt chẽ, đồng thời giữ lại mọi nội dung giá trị trong lý thuyết tập hợp hiện tại, mà các pháp sư khác của Tháp Ma Pháp cũng thể hiện quan điểm này trong luận văn của họ.

Chỉ là, các luận văn của họ lại thể hiện những khuynh hướng khác nhau. Một số pháp sư xuất phát từ việc xem lý thuyết toán học ngang bằng với logic, tiêu biểu là Douglas và Hathaway. Một số khác lại cho rằng lý thuyết toán học có thể là một hệ thống ký hiệu hoàn toàn hình thức hóa, không cần bất kỳ nội dung thực tế nào. Miễn là chúng không mâu thuẫn và có thể nghiên cứu được, thì cứ nghiên cứu. Fernando là người đại diện cho quan điểm cấp tiến này. Khái niệm hệ thống tiên đề hóa của Lucian cũng thuộc loại này. Ngoài ra, còn có một số khuynh hướng khác.