Tổng quan luận án

Luận án tiến sĩ triết học "A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices" (Cách tiếp cận lịch sử để hiểu các chứng minh giải thích dựa trên thực hành toán học) do nghiên cứu sinh Erika Oshiro thực hiện tại Khoa Triết học, Trường Đại học South Florida (University of South Florida), hoàn thành và được hội đồng thông qua ngày 05 tháng 12 năm 2018 (công bố năm 2019). Luận án được đồng hướng dẫn bởi GS. Alexander Levine và GS. Douglas Jesseph, cùng các thành viên hội đồng gồm GS. Roger Ariew và GS. William Goodwin.

Tính cấp thiết và khoảng trống nghiên cứu

Trong triết học toán học đương đại, mối quan tâm đã có sự chuyển dịch từ các vấn đề nền tảng truyền thống (bản thể luận, chân lý của các mệnh đề toán học, tính tất yếu logic) sang việc phân tích thực hành toán học (mathematical practices) và sự phát triển lịch sử của toán học. Mặc dù nhiều triết gia đã thừa nhận tầm quan trọng của chứng minh giải thích (explanatory proof)—những chứng minh không chỉ dừng lại ở việc xác thực một định lý là đúng (that it is true) mà còn làm sáng tỏ lý do tại sao định lý đó đúng (why it is true)—các lý thuyết hiện hành vẫn bộc lộ khoảng trống lớn:

  1. Sự cô lập về mặt cấu trúc và nội dung: Các mô hình triết học tiêu biểu về chứng minh giải thích chủ yếu xem xét cấu trúc hình thức hoặc nội dung nội tại của chứng minh một cách tĩnh tại, tách rời hoàn toàn khỏi bối cảnh lịch sử và sự tiến hóa của khái niệm.
  2. Bỏ qua vai trò của đối tượng tiếp nhận (targeted audience): Các lý thuyết hiện hành giả định ngầm định rằng giá trị giải thích của một chứng minh là thuộc tính tuyệt đối, tồn tại độc lập với trình độ tri thức nền tảng và năng lực chuyên môn của người tiếp nhận. Điều này dẫn đến việc sử dụng các ví dụ sơ cấp từ sách giáo khoa căn bản, làm sai lệch cách hiểu về chứng minh giải thích trong toán học nghiên cứu thực tế.
  3. Mâu thuẫn giữa lý thuyết và thực tiễn nghiên cứu: Các mô hình triết học hiện có thất bại trong việc giải thích lý do tại sao các nhà toán học liên tục tìm kiếm nhiều chứng minh độc lập cho cùng một định lý qua các thời kỳ lịch sử khác nhau.

Mục tiêu và câu hỏi nghiên cứu

Luận án xác định các mục tiêu và câu hỏi nghiên cứu cốt lõi:

  1. Mục tiêu 1: Phân tích và chỉ ra các giới hạn căn bản của các lý thuyết triết học hiện hành về chứng minh giải thích (tiêu biểu là mô hình thuộc tính đặc trưng của Mark Steiner và mô hình thống nhất hóa của Philip Kitcher).
  2. Mục tiêu 2: Xây dựng một khung tiếp cận lịch sử để phân tích chứng minh giải thích dựa trên việc theo dõi chuỗi chứng minh liên tiếp (successive proofs) của một định lý, từ chứng minh thế hệ đầu tiên (first-generation proof) đến các dạng trình bày chuẩn mực trong sách giáo khoa chuyên khảo.
  3. Mục tiêu 3: Làm rõ mối quan hệ tương hỗ giữa hai dạng lịch sử toán học (lịch sử biên niên của các nhà sử học và lịch sử nghiên cứu định hướng kỹ thuật của các nhà toán học) cùng sự tương tác giữa quan điểm từ bên ngoài (etics) và quan điểm từ bên trong (emics).
  4. Câu hỏi nghiên cứu 1: Điều gì tạo nên năng lực giải thích của một chứng minh toán học theo đánh giá của các nhà toán học chuyên ngành?
  5. Câu hỏi nghiên cứu 2: Tại sao và bằng cách nào bối cảnh lịch sử, ngôn ngữ chuyên ngành, và đối tượng người đọc mục tiêu lại quyết định tính chất giải thích của một chứng minh?

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Khái niệm chứng minh giải thích, các chứng minh toán học qua các giai đoạn phát triển lịch sử, và các cuộc tranh luận triết học - toán học liên quan đến thực hành chứng minh.
  • Phạm vi tài liệu và trường hợp nghiên cứu:
    • Trường hợp Tiên đề Chọn (Axiom of Choice): Tiến trình tranh luận và chấp nhận từ công bố của Ernst Zermelo (1904, 1908) qua các trao đổi của René Baire, Émile Borel, Henri Lebesgue, Jacques Hadamard, đến các kết quả của Kurt Gödel (1937) và Paul Cohen (1963).
    • Trường hợp Định lý Lewy (Lewy's Theorem): Bốn chứng minh kế tiếp nhau trong lý thuyết ánh xạ điều hòa (harmonic mapping theory) từ công trình gốc năm 1936 của Hans Lewy, chứng minh của Hellmuth Kneser, đến các chứng minh hiện đại sử dụng công cụ từ hình học vi phân, phương trình đạo hàm riêng và giải tích phức.
    • Trường hợp Định lý Bốn màu (Four Color Theorem): Chứng minh bằng máy tính năm 1976 của Kenneth Appel và Wolfgang Haken, cùng hai chứng minh có sự hỗ trợ của máy tính ở giai đoạn sau (Robertson và cộng sự).

Tổng quan tài liệu và vị trí của luận án

Luận án phân tích có hệ thống các khuynh hướng nghiên cứu trong lịch sử và triết học toán học:

1. Khuynh hướng bản thể luận và luận cứ bất khả tri (Indispensability Argument)

Tác giả điểm lại luận cứ Quine-Putnam về tính bất khả tri được hình thành hơn 40 năm trước, cùng các biến thể đương đại của Alan Baker, Mark Colyvan và Christopher Pincock (2011). Luận án chỉ ra rằng cách tiếp cận này phụ thuộc vào sự ứng dụng toán học trong khoa học tự nhiên, dẫn đến việc xem nhẹ các thực hành toán học thuần túy của các nhà toán học.

2. Khuynh hướng triết học thực hành toán học

Luận án kế thừa và đối thoại với các công trình nghiên cứu về thực hành toán học của José Ferreirós, Philip Kitcher (1984), Penelope Maddy, Paolo Mancosu (2005, 2008), Johannes Hafner và Marc Lange. Tác giả chỉ ra rằng các yếu tố cốt lõi thay đổi theo thời gian bao gồm: ngôn ngữ toán học, các câu hỏi nghiên cứu trung tâm, và các phương pháp lập luận chuẩn mực.

3. Các lý thuyết về chứng minh giải thích

  • Mô hình của Mark Steiner (1978): Đưa ra hai tiêu chí nội tại cho chứng minh giải thích: (i) Phụ thuộc vào "thuộc tính đặc trưng" (characterizing property) của thực thể hoặc cấu trúc; (ii) Tiêu chí "tổng quát hóa" thông qua các phép biến dạng (deformations) giữ nguyên ý tưởng chứng minh (proof idea). Steiner lấy ví dụ chứng minh Pythagoras về tính vô tỉ của $\sqrt{2}$ dựa trên phân tích thừa số nguyên tố duy nhất.
  • Mô hình của Philip Kitcher (1989): Xem giải thích toán học là sự thống nhất hóa (explanatory unification), trong đó các chứng minh giải thích là các mẫu suy diễn thuộc "kho giải thích" (explanatory store - $E(K)$), giúp dẫn xuất nhiều kết luận nhất từ số lượng tiền đề tối thiểu.
  • Phê bình của Johannes Hafner và Paolo Mancosu (2005): Phân biệt cách tiếp cận "từ trên xuống" (top-down) của Steiner/Kitcher và cách tiếp cận "từ dưới lên" (bottom-up). Hafner và Mancosu chỉ ra rằng Steiner loại trừ quy nạp toán học một cách thiếu thuyết phục, trong khi Kitcher không giải thích được hiện tượng một định lý có nhiều chứng minh độc lập.

4. Các tranh luận về phương pháp luận sử học toán học

Luận án khảo sát các quan điểm của Ivor Grattan-Guinness (phân biệt giữa history - "chuyện gì đã xảy ra" và heritage - "chúng ta đến đây bằng cách nào"), Herbert Butterfield (phê phán sử học kiểu Whig - Whiggish history), Andrew Cunningham, Adrian Wilson và T. Ashplant (về tính bất khả tránh của việc lấy hiện tại làm trung tâm - present-centredness), Rupert Hall, Nick Jardine (phân biệt etics và emics), David Alvargonzalez, cùng quan điểm của các nhà toán học như André Weil (1978, 1980 - bị Sabetai Unguru phản bác về cách giải giải tích hình học của Euclid) và Richard Askey (1988).

Vị trí của luận án

Luận án chọn giải quyết khoảng trống giữa lý thuyết triết học thuần túy và lịch sử thực hành toán học. Bằng cách kết hợp cả lịch sử biên niên (history) và lịch sử nghiên cứu (heritage), luận án đề xuất một khung phân tích mới xem xét tính giải thích của chứng minh qua tiến trình lịch sử và đối tượng người đọc cụ thể.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

  1. Khái niệm "Sự hợp nhất các chân trời" (Fusion of Horizons) của Hans-Georg Gadamer: Được trình bày trong tác phẩm Truth and Method, chỉ ra rằng việc thấu hiểu quá khứ không thể tách rời khỏi vị thế hiện tại của người nghiên cứu; nhận thức là sự giao thoa không ngừng giữa chân trời lịch sử và chân trời hiện tại.
  2. Cặp khái niệm Emics và Etics từ nhân học và ngôn ngữ học (ứng dụng theo Nick Jardine):
    • Etics: Quan sát từ bên ngoài của nhà triết học/sử học sống ở hiện tại để nhận diện cấu trúc và bối cảnh rộng lớn.
    • Emics: Thâm nhập vào bên trong hệ thống khái niệm, động cơ và ngôn ngữ kỹ thuật của các nhà toán học ở từng thời kỳ.
  3. Lý thuyết phả hệ chứng minh (Genealogy of a Theorem): Khung phân tích theo dõi sự chuyển dịch của các chứng minh qua các thế hệ: từ chứng minh ban đầu (thường cồng kềnh, chỉ nhằm xác thực) đến các chứng minh tái cấu trúc (làm rõ bản chất, liên kết các phân ngành và tạo ra năng lực giải thích).

Phương pháp nghiên cứu

  • Phương pháp phân tích lịch sử - so sánh (Historical and Comparative Analysis): So sánh các văn bản toán học gốc qua nhiều thời kỳ, đối chiếu giữa văn bản lịch sử chân thực và các phiên bản đã được chuẩn hóa phục vụ nghiên cứu.
  • Phương pháp phân tích văn bản và cấu trúc toán học (Textual and Mathematical Proof Analysis): Khảo sát chi tiết từng bước lập luận, giả định ngầm, và sự biến đổi thuật ngữ trong các văn bản chứng minh cụ thể.
  • Phương pháp tích hợp từ trên xuống và từ dưới lên (Combined Top-down and Bottom-up Approach): Sử dụng các quan sát thực tế từ thực hành toán học để kiểm định, điều chỉnh và hoàn thiện các khung lý thuyết triết học.

Nguồn tư liệu nghiên cứu

Luận án sử dụng các nguồn tư liệu gốc bao gồm:

  • Các bài báo và tập hợp tác phẩm của Ernst Zermelo (Gesammelte Werke do Ebbinghaus và Kanamori biên tập, gồm các bài báo năm 1904, 1908).
  • Thư từ trao đổi giữa René Baire, Émile Borel, Henri Lebesgue và Jacques Hadamard; các ấn phẩm của Giuseppe Peano (1890, 1906), Rodolfo Bettazzi (1892), Richard Dedekind (1888), Beppo Levi, Gregory H. Moore (1982), Herman và Jean Rubin.
  • Các công trình toán học về Định lý Lewy: bài báo gốc của Hans Lewy (1936), các bài báo chứng minh của Hellmuth Kneser và các tác giả kế tiếp trong lý thuyết ánh xạ điều hòa.
  • Các ấn phẩm về Định lý Bốn màu: bài báo của Kenneth Appel và Wolfgang Haken (1976, 1977), bài báo triết học của Thomas Tymoczko (1979), và các bài báo của Neil Robertson, Daniel P. Sanders, Paul Seymour, Robin Thomas (1997).

Nội dung chính theo từng chương

Chương 1: Tầm quan trọng của lịch sử (Chapter One: The Importance of History)

Chương này phân tích vai trò thiết yếu của lịch sử toán học đối với triết học toán học, tập trung vào sự khác biệt và bổ trợ giữa hai dạng thức chép sử:

Tiêu chí so sánh Lịch sử của các nhà sử học (History) Lịch sử nghiên cứu toán học (Heritage)
Góc nhìn thời gian Đặt trong bối cảnh quá khứ, tiến về phía trước Đặt ở hiện tại, nhìn ngược về quá khứ (Whiggish)
Sử dụng thuật ngữ Tránh tối đa các yếu tố nghịch thời (anachronisms) Sử dụng ngôn ngữ và công cụ hiện đại để diễn giải
Phạm vi nội dung Bao gồm cả thành công, thất bại, bối cảnh văn hóa - xã hội Tập trung chọn lọc vào các kết quả kỹ thuật thành công
Mục đích chính Trả lời câu hỏi: "Điều gì đã thực sự xảy ra?" Trả lời câu hỏi: "Làm thế nào để phục vụ nghiên cứu hiện tại?"

Tác giả lập luận rằng nhà triết học cần nắm vững cả hai dạng lịch sử: lịch sử nghiên cứu giúp hiểu được các nhà toán học coi trọng điều gì trong công việc của họ; trong khi lịch sử biên niên vạch rõ cách các thực hành toán học thực sự tiến hóa qua các khúc quanh.

Chương 1 đi sâu vào trường hợp nghiên cứu lịch sử: Tiên đề Chọn (Axiom of Choice):

  • Năm 1904, Ernst Zermelo đưa ra nguyên lý chọn (hàm chọn hay hàm phủ $\gamma: S \to M$) để chứng minh Định lý Sắp thứ tự tốt (Well-Ordering Theorem).
  • Nhóm các nhà toán học kiến thiết gồm Baire, Borel và Lebesgue phản đối gay gắt qua chuỗi 5 bức thư, cho rằng một đối tượng chỉ tồn tại khi có quy tắc xác định tường minh hoặc có thể gọi tên/mô tả duy nhất.
  • Jacques Hadamard bảo vệ Zermelo, khẳng định sự tồn tại toán học là một thực tế độc lập với năng lực tâm lý của con người.
  • Trong bài báo năm 1908, Zermelo chỉ ra 7 ví dụ lịch sử trong lý thuyết tập hợp và giải tích (giai đoạn 1880–1900) đã sử dụng ngầm định nguyên lý chọn mà không dẫn tới mâu thuẫn (như công trình năm 1888 của Dedekind về tập hữu hạn và tập vô hạn, hay Nguyên lý Phân hoạch của Beppo Levi). Bản thân Baire (Định lý phạm trù Baire), Lebesgue (lý thuyết độ đo) và Borel cũng đã vô tình sử dụng nguyên lý này trong các nghiên cứu trước đó.
  • Sự chấp nhận Tiên đề Chọn bị trì hoãn gần 60 năm do sự xung đột giữa quan điểm kiến thiết và thực hành toán học thực tế, cho đến khi Gödel (1937) chứng minh tính nhất quán và Cohen (1963) chứng minh tính độc lập của nó đối với hệ tiên đề Zermelo-Fraenkel (ZF).
[1904: Zermelo phát biểu nguyên lý chọn]

Chương 2: Xem xét lại chứng minh giải thích trong toán học (Chapter Two: Mathematical Explanation Revisited)

Chương này khảo sát có phê phán các lý thuyết hiện hành về giải thích toán học:

  • Phê bình mô hình của Mark Steiner: Khái niệm "thuộc tính đặc trưng" và "phép biến dạng" của Steiner thiếu định nghĩa chính xác và bị phụ thuộc vào ngữ cảnh của từng ví dụ. Việc Steiner khẳng định phép quy nạp toán học không có tính giải thích bị bác bỏ bởi thực tế rằng quy nạp là thuộc tính đặc trưng của hệ thống số tự nhiên. Ngoài ra, việc Steiner dựa vào chứng minh phản chứng (như tính vô tỉ của $\sqrt{2}$) cũng mâu thuẫn với nhận định truyền thống của cộng đồng toán học (từ thế kỷ 17 đến nay) rằng chứng minh phản chứng thường chỉ xác thực chứ không giải thích cơ chế chân lý.
  • Phê bình mô hình của Philip Kitcher: Kitcher xem năng lực giải thích gắn liền với mức độ thống nhất hóa toàn cục của "kho giải thích" $E(K)$. Luận án chỉ ra rằng mô hình này không thể giải thích được hiện tượng các nhà toán học cố tình xây dựng nhiều chứng minh khác nhau cho cùng một định lý bằng cách sử dụng các hệ tiên đề hoặc các nhánh toán học hoàn toàn khác nhau.
  • Phân tích của Hafner và Mancosu: Đánh giá sự đối lập giữa cách tiếp cận "từ trên xuống" (áp đặt lý thuyết trừu tượng) và "từ dưới lên" (quan sát thực hành toán học). Tác giả chỉ ra rằng cách tiếp cận từ dưới lên đơn thuần không thể tự hình thành lý thuyết nếu thiếu sự khái quát hóa từ trên xuống, do đó cần phải kết hợp cả hai.
  • Vấn đề đối tượng tiếp nhận (Audience): Luận án lập luận rằng việc một chứng minh có tính giải thích hay không phụ thuộc mật thiết vào tri thức nền tảng của người đọc. Một chứng minh có thể mang tính giải thích cao đối với một chuyên gia trong phân ngành nhưng lại hoàn toàn không mang tính giải thích đối với một sinh viên đại học hoặc một nhà toán học thuộc chuyên ngành khác.

Chương 3: Tiếp cận lịch sử đối với chứng minh giải thích trong toán học (Chapter Three: A Historical Approach to Mathematical Explanation)

Chương 3 đề xuất khung tiếp cận lịch sử đối với giải thích toán học thông qua khái niệm phả hệ của một định lý (Genealogy of a Theorem):

  • Phân tích chuỗi chứng minh kế tiếp: Chứng minh thế hệ đầu tiên của một định lý thường phức tạp, nặng về kỹ thuật tính toán và chỉ nhằm xác lập tính đúng đắn. Qua thời gian, các nhà toán học xây dựng các chứng minh mới nhằm: (i) lấp đầy các khoảng trống logic, (ii) đơn giản hóa các bước lập luận, (iii) liên kết định lý với các khái niệm mới, và (iv) chuyển hóa chứng minh từ dạng thuần túy xác thực (demonstration) sang dạng giải thích (explanation).
  • Trường hợp nghiên cứu Định lý Lewy (Lewy's Theorem):
    • Định lý do Hans Lewy công bố năm 1936 trong lý thuyết ánh xạ điều hòa (chứng minh rằng định thức Jacobian của một phép ánh xạ điều hòa nội xạ chính tắc không triệt tiêu).
    • Tác giả khảo sát 4 chứng minh liên tiếp của định lý này, bao gồm chứng minh của Hellmuth Kneser và các chứng minh hiện đại tiếp theo.
    • Các chứng minh sau đã huy động các công cụ và phương pháp từ các nhánh toán học khác nhau: hình học vi phân (differential geometry), phương trình đạo hàm riêng (partial differential equations - PDE), và giải tích phức (complex analysis).
    • Qua việc so sánh các chứng minh này, luận án chỉ ra cách thức các nhà toán học làm rõ các bước chuyển tiếp, thay đổi thuật ngữ chuyên môn và tạo ra cách hiểu bản chất cho định lý. Năng lực giải thích của từng chứng minh được định hình bởi truyền thống kỹ thuật của phân ngành mà tác giả chứng minh thuộc về.

Chương 4: Nghiên cứu trường hợp — Định lý Bốn màu (Chapter Four: Case Study—The Four Color Theorem)

Chương 4 phân tích chứng minh Định lý Bốn màu (mọi bản đồ phẳng đều có thể tô bằng tối đa 4 màu sao cho hai quốc gia tiếp giáp không cùng màu) được Kenneth Appel và Wolfgang Haken thực hiện năm 1976 với sự trợ giúp của máy tính:

  • Tranh luận triết học về tính bất khả khảo sát (Unsurveyability): Triết gia Thomas Tymoczko (1979) cho rằng chứng minh của Appel-Haken là một chứng minh mang tính thực nghiệm (empirical proof) vì độ dài khổng lồ của các phép tính trên máy tính khiến con người không thể trực tiếp kiểm tra toàn bộ bằng mắt thường (unsurveyable). Luận án lập luận rằng mối băn khoăn về tính bất khả khảo sát của giới triết học không phản ánh đúng thực hành toán học và nếu áp dụng cứng nhắc sẽ cản trở sự phát triển của các chứng minh có máy tính hỗ trợ.
  • Mối băn khoăn thực sự của các nhà toán học: Giới toán học không đánh giá tính giải thích dựa trên độ dài của chứng minh, mà dựa trên bản chất phương pháp. Appel và Haken đã kế thừa chiến lược từ chứng minh sai năm 1879 của Alfred Kempe, sử dụng phương pháp phóng điện (discharging) và cấu hình quy giản (reducible configurations).
  • Bản chất phi giải thích của chứng minh: Chứng minh của Appel-Haken (cũng như hai chứng minh có máy tính hỗ trợ sau này của nhóm Robertson và cộng sự) không có tính giải thích vì phương pháp của nó là một chuỗi các phép tính cơ học nhằm duyệt kiệt cùng (exhaust all possible configurations) mọi cấu hình rời rạc, thay vì làm sáng tỏ lý do cấu trúc hình học tại sao 4 màu là giới hạn phổ quát.

Kết quả và những đóng góp mới

Luận án tự xác định các đóng góp mới về mặt học thuật:

  1. Đóng góp lý luận về khái niệm chứng minh giải thích: Luận án chỉ ra rằng tính giải thích của một chứng minh không phải là một thuộc tính hình thức tĩnh tại thuần túy nội tại, mà phụ thuộc vào ba yếu tố tương tác: nội dung/cấu trúc chứng minh, bối cảnh lịch sử phát triển của định lý, và tri thức nền tảng của đối tượng tiếp nhận mục tiêu.
  2. Xây dựng phương pháp phả hệ chứng minh (Genealogical Approach): Đề xuất khung phân tích so sánh các chứng minh liên tiếp của cùng một định lý (từ thế hệ đầu tiên đến các bản trình bày giáo khoa hiện đại), chứng minh rằng sự tiến hóa từ xác thực sang giải thích diễn ra qua quá trình tái cấu trúc khái niệm và chuyển giao phương pháp giữa các phân ngành toán học.
  3. Làm rõ sự tương tác giữa hai dạng thức sử học toán học: Tích hợp mô hình phân biệt history (lịch sử biên niên) và heritage (lịch sử nghiên cứu) của Grattan-Guinness với cặp khái niệm etics và emics của Jardine, cung cấp công cụ phương pháp luận cho triết học thực hành toán học.
  4. Định định lại nguyên nhân thiếu tính giải thích của chứng minh Định lý Bốn màu: Bác bỏ luận điểm triết học của Tymoczko về tính bất khả khảo sát do độ dài tính toán, chứng minh rằng sự thiếu vắng năng lực giải thích bắt nguồn từ bản chất phương pháp duyệt kiệt cùng cấu hình của thuật toán chứ không phải từ sự can thiệp của máy tính.

Hạn chế và hướng nghiên cứu tiếp

Văn bản luận án nêu rõ các giới hạn phạm vi và định hướng nghiên cứu:

  • Hạn chế về mặt dữ liệu lịch sử: Tác giả ghi nhận sự thiếu hụt các công trình lịch sử chi tiết được viết cho một số nhánh toán học hiện đại (như giải tích hàm), buộc người nghiên cứu triết học đôi khi phải tự xây dựng các phác thảo lịch sử ngắn hạn dựa trực tiếp trên các bài báo chuyên ngành vốn đã bị lược bỏ các động cơ và bối cảnh tâm lý của tác giả.
  • Giới hạn trường hợp nghiên cứu: Luận án tập trung phân tích sâu vào ba trường hợp điển hình (Tiên đề Chọn, Định lý Lewy và Định lý Bốn màu) trong toán học thuần túy.
  • Hướng nghiên cứu tiếp: Tác giả gợi ý mở rộng việc phân tích chuỗi chứng minh kế tiếp sang các định lý thuộc các phân ngành toán học khác và kiểm tra tính tương thích của khung tiếp cận lịch sử đối với các dạng thức giải thích phi chứng minh trong toán học (như biểu đồ, bảng biểu, mô hình trực quan).

Giá trị tham khảo

Luận án mang lại giá trị tham khảo cụ thể cho các nhóm đối tượng học thuật:

  • Nghiên cứu sinh và giảng viên chuyên ngành Triết học Toán học và Triết học Khoa học: Cung cấp khung lý thuyết phê phán toàn diện đối với các mô hình giải thích của Steiner và Kitcher, cùng phương pháp luận nghiên cứu kết hợp etics - emics và lịch sử - thực hành.
  • Các nhà sử học toán học: Cung cấp phương pháp phân tích so sánh chuỗi văn bản chứng minh và cách thức xử lý mối quan hệ giữa lịch sử biên niên (history) và lịch sử phục vụ nghiên cứu (heritage).
  • Giảng viên và nhà nghiên cứu Toán học: Chương 3 (về Định lý Lewy trong lý thuyết ánh xạ điều hòa) và Chương 4 (về Định lý Bốn màu) là tài liệu tham khảo giá trị về cách thức tái cấu trúc chứng minh và đánh giá giá trị sư phạm/giải thích của các phương pháp chứng minh khác nhau.

Câu hỏi thường gặp

1. Tại sao luận án cho rằng mô hình chứng minh giải thích của Mark Steiner là chưa đầy đủ?

Luận án chỉ ra rằng mô hình của Steiner dựa trên các khái niệm mơ hồ như "thuộc tính đặc trưng" (characterizing property) và "phép biến dạng" (deformations). Steiner cho rằng quy nạp toán học không có tính giải thích, nhưng thực tế quy nạp là thuộc tính đặc trưng của hệ thống số tự nhiên. Quan trọng hơn, Steiner giả định tính giải thích là thuộc tính nội tại tuyệt đối của văn bản chứng minh mà bỏ qua trình độ và kiến thức nền tảng của đối tượng tiếp nhận.

2. Sự khác biệt giữa "History" (Lịch sử) và "Heritage" (Di sản/Lịch sử nghiên cứu) theo Ivor Grattan-Guinness là gì?

"History" trả lời câu hỏi "Điều gì đã xảy ra trong quá khứ?", tái hiện các sự kiện theo trình tự thời gian, bao gồm cả các thất bại, nhánh rẽ và bối cảnh văn hóa mà không dùng các khái niệm hiện đại để áp đặt. Ngược lại, "Heritage" trả lời câu hỏi "Làm thế nào chúng ta đạt đến hiện tại?", tập trung chọn lọc vào các tiến bộ kỹ thuật thành công, sử dụng ngôn ngữ hiện đại và chấp nhận các yếu tố nghịch thời để phục vụ công tác nghiên cứu hiện tại.

3. Tại sao Tiên đề Chọn bị các nhà toán học như Baire, Borel và Lebesgue phản đối nhưng sau đó vẫn được chấp nhận?

Baire, Borel và Lebesgue theo lập trường kiến thiết, cho rằng một đối tượng toán học (ở đây là hàm chọn) chỉ tồn tại nếu có một quy tắc xác định tường minh để chỉ ra hoặc gọi tên phần tử được chọn từ vô số tập hợp vô hạn. Tuy nhiên, họ đã ngầm sử dụng nguyên lý này trong các công trình của chính mình (như Định lý phạm trù Baire hay lý thuyết độ đo). Tiên đề này dần được chấp nhận vì nó là công cụ tất yếu để chứng minh hàng loạt kết quả nền tảng trong giải tích, đại số và tô-pô (như Định lý compact Tychonoff), trước khi tính nhất quán (Gödel, 1937) và tính độc lập (Cohen, 1963) của nó được xác lập.

4. Tại sao chứng minh Định lý Bốn màu của Appel và Haken bị coi là thiếu tính giải thích?

Theo luận án, chứng minh của Appel và Haken thiếu tính giải thích không phải vì lý do triết học của Tymoczko (cho rằng chứng minh quá dài khiến con người không thể bao quát toàn bộ), mà vì phương pháp chứng minh. Appel và Haken đã sử dụng phương pháp tính toán vét cạn để duyệt qua tất cả các cấu hình khả quy rời rạc nhằm chứng minh không có bản đồ nào cần đến 5 màu, thay vì chỉ ra nguyên lý cấu trúc hình học tổng quát giải thích tại sao 4 màu là đủ cho mọi bản đồ phẳng.

Kết luận

Luận án của Erika Oshiro đã thiết lập một cách tiếp cận lịch sử đối với vấn đề chứng minh giải thích trong triết học toán học, gắn liền cấu trúc chứng minh với thực hành thực tế của các nhà toán học. Bằng việc phân tích có phê phán các mô hình của Steiner và Kitcher, tác giả chứng minh rằng năng lực giải thích của một chứng minh không thể tách rời khỏi bối cảnh lịch sử phát triển, các phân nhánh toán học liên quan và tri thức nền tảng của đối tượng người đọc mục tiêu. Thông qua các trường hợp nghiên cứu cụ thể về Tiên đề Chọn, Định lý Lewy và Định lý Bốn màu, công trình đã làm sáng tỏ tiến trình chuyển hóa từ chứng minh xác thực sang chứng minh giải thích trong sự phát triển liên tục của tri thức toán học.