Tẩu Tiến Tu Tiên

Chương 381 Đội ngũ dược hoàn! (Phần 1)

Chính bởi vì có kiến thức toán học vượt mức quy định, Vương Kỳ so với bất kỳ ai đều hiểu rõ ý nghĩa của luận văn toán học này.

Trong thảo luận toán học, người có thể đưa ra một cặp đối tượng cụ thể hoặc phương pháp tính toán cho một cặp đối tượng nào đó thường được gọi là "có thể cấu tạo". Cấu Tạo Tính Toán Học (Constructivism) là một lĩnh vực nghiên cứu quan trọng của toán học hiện đại, đặc trưng cơ bản của nó là nhấn mạnh tính kiến tạo. Cái gọi là "tính kiến tạo" chỉ việc có thể đưa ra một cặp đối tượng cụ thể hoặc phương pháp tính toán cho một cặp đối tượng nào đó.

Điểm khác biệt giữa Cấu Tạo Tính Toán Học (Constructivism) và toán học cổ điển nằm ở chỗ tính kiến tạo toán học cho rằng "Tồn tại chính là bị cấu tạo". Để đạt được tính kiến tạo, nhà toán học phải giải thích lại lượng từ tồn tại và các liên kết logic khác, cũng như lượng từ, để giải thích ý nghĩa chứng minh của các mệnh đề bao hàm những biểu thức logic này theo quan điểm cấu tạo.

Lý thuyết tính toán dựa trên tính kiến tạo có ưu thế vô cùng lớn. Nó rất đáng tin cậy, không giống như lý thuyết tập hợp và logic toán học, nền tảng đều chưa vững chắc. Nhưng ngược lại, vì quá mức vững chắc, nó lại tỏ ra vô cùng khép kín. Lý thuyết này bài xích chứng minh logic, bài xích thực vô tận, bài xích vô số phương pháp thực dụng đã biết. Nói một cách đơn giản, nó chính là cắt bỏ hết thảy những thứ không đáng tin, không hoàn mỹ, tạo thành một cái "hoàn mỹ" có hạn.