Bước tới nội dung

L. E. J. Brouwer

Bách khoa toàn thư mở Wikipedia
L. E. J. Brouwer
SinhLuitzen Egbertus Jan Brouwer
(1881-02-27)27 tháng 2 năm 1881
Overschie, Netherlands
Mất2 tháng 12 năm 1966(1966-12-02) (85 tuổi)
Blaricum, Netherlands
Quốc tịchDutch
Trường lớpUniversity of Amsterdam
Nổi tiếng vìBrouwer–Hilbert controversy
Brouwer fixed-point theorem
Brouwer–Heyting–Kolmogorov interpretation
Jordan-Brouwer separation theorem
Kleene–Brouwer order
Phragmen–Brouwer theorem
Tietze-Urysohn-Brouwer extension theorem
Simplicial approximation theorem
Bar induction
Degree of a continuous mapping
Indecomposability
Invariance of domain
Spread
Proving hairy ball theorem
Intuitionism
Giải thưởngForeign Member of the Royal Society[1]
Sự nghiệp khoa học
NgànhMathematics
Nơi công tácUniversity of Amsterdam
Người hướng dẫn luận án tiến sĩDiederik Korteweg[2]
Các nghiên cứu sinh nổi tiếngArend Heyting[2]
Ảnh hưởng bởiImmanuel Kant[3]
Arthur Schopenhauer
Ảnh hưởng tớiHermann Weyl
Michael Dummett
Ludwig Wittgenstein
Brouwer (phải) tại Đại hội Toán học Quốc tế, Zurich 1932

Luitzen Egbertus Jan Brouwer (/ˈbr.ər/; sinh ngày 27 tháng 2 năm 1881 - mất ngày 2 tháng 12 năm 1966), thường được gọi là L. E. J. Brouwer nhưng được bạn bè biết đến nhiều hơn với cái tên Bertus, là một nhà toán họctriết học người Hà Lan, hoạt động trong các lĩnh vực của toán học như topo, lý thuyết tập hợp, lý thuyết đo lườnggiải tích phức. Ông là người đã sáng lập ra tôpô hiện đại,[4] định lý điểm cố định Brouwer và sự bất biến tôpô của miền xác định.[5]

Brouwer cũng là một nhân vật quan trọng trong thuyết trực giác, một học thuyết kiến tạo của toán học trong đó môn toán được lập luận là một nhận thức được xây dựng mà không phải là một sự thật hiển nhiên. Điều này đã dẫn đến cuộc tranh cãi Brouwer-Hilbert, trong đó Brouwer đã tranh luận với đồng nghiệp theo chủ nghĩa hình thức David Hilbert. Ý tưởng của Brouwer sau đó đã được học trò của ông là Arend Heyting và học trò cũ của Hilbert là Hermann Weyl tiếp thu.

Thư mục

[sửa | sửa mã nguồn]
  • Jean van Heijenoort, in lần thứ 3 năm 1967, năm 1976 có sửa chữa, Sách nguồn về lôgic toán học, 1879-1931. Nhà xuất bản Đại học Harvard, Cambridge MA,ISBN 0-674-32449-8 pbk. Các bài báo gốc được mở đầu với lời bình luận có giá trị.
    • Năm 1923. LEJ Brouwer: "Về ý nghĩa của nguyên tắc loại trừ giữa trong toán học, đặc biệt là trong lý thuyết hàm." Với hai Addenda và corrigenda, 334-45. Brouwer đưa ra bản tóm tắt ngắn gọn về niềm tin của mình rằng quy luật loại trừ trung bình không thể "được áp dụng mà không có sự bảo lưu ngay cả trong toán học của các hệ vô hạn" và đưa ra hai ví dụ về thất bại để minh họa cho khẳng định của mình.
    • Năm 1925. AN Kolmogorov: "Trên nguyên tắc loại trừ giữa", pp. 414–437. Kolmogorov ủng hộ hầu hết các kết quả của Brouwer nhưng tranh chấp một số ít; ông thảo luận về các phân nhánh của thuyết trực giác liên quan đến "các phán đoán vô hạn", ví dụ như quy nạp vô hạn.
    • Năm 1927. LEJ Brouwer: "Về các lĩnh vực định nghĩa của các hàm". Cách xử lý trực giác của Brouwer về sự liên tục, với một bình luận mở rộng.
    • Năm 1927. David Hilbert: "Nền tảng của toán học", 464-80
    • Năm 1927. LEJ Brouwer: "Những phản ánh trực quan về chủ nghĩa hình thức," 490-92. Brouwer liệt kê bốn chủ đề mà chủ nghĩa trực giác và chủ nghĩa hình thức có thể "tham gia vào một cuộc đối thoại". Ba trong số các chủ đề liên quan đến luật trung gian bị loại trừ.
    • Năm 1927. Hermann Weyl: "Nhận xét về bài giảng thứ hai của Hilbert về nền tảng của toán học," 480-484. Năm 1920, Weyl, học trò đoạt giải của Hilbert, đã đứng về phía Brouwer chống lại Hilbert. Nhưng trong bài phát biểu này, Weyl "trong khi bảo vệ Brouwer chống lại một số chỉ trích của Hilbert... cố gắng đưa ra ý nghĩa của cách tiếp cận của Hilbert đối với các vấn đề cơ sở của toán học."
  • Ewald, William B., biên tập, 1996. From Kant to Hilbert: A Source Book in the Foundation of Math, 2 vols. Đại học Oxford. Nhấn.
    • Năm 1928. "Toán học, khoa học và ngôn ngữ", 1170-85.
    • Năm 1928. "Cấu trúc của sự liên tục," 1186-96.
    • Năm 1952. "Bối cảnh lịch sử, các nguyên tắc và phương pháp của chủ nghĩa trực giác," 1197-1207.
  • Brouwer, LEJ, Tác phẩm được sưu tầm, Tập. I, Amsterdam: North-Holland, 1975.[6]
  • Brouwer, LEJ, Tác phẩm được sưu tầm, Tập. II, Amsterdam: Bắc Hà Lan, 1976.
  • Brouwer, LEJ, "Life, Art, and Mysticism," Notre Dame Journal of Formal Logic, vol. 37 (1996), tr. 389–429. Bản dịch của WP van Stigt với phần giới thiệu của người dịch, pp. 381–87. Davis trích dẫn từ tác phẩm này, "một cuốn sách ngắn... chìm trong bi quan lãng mạn" (tr. 94).
    • WP van Stigt, 1990, Thuyết trực giác của Brouwer, Amsterdam: Bắc Hà Lan, 1990

Tham khảo

[sửa | sửa mã nguồn]
  1. ^ Kreisel, G.; Newman, M. H. A. (1969). “Luitzen Egbertus Jan Brouwer 1881–1966”. Biographical Memoirs of Fellows of the Royal Society. 15: 39–68. doi:10.1098/rsbm.1969.0002.
  2. ^ a b Lỗi chú thích: Thẻ <ref> sai; không có nội dung trong thẻ ref có tên mathgene
  3. ^ van Atten, Mark, "Luitzen Egbertus Jan Brouwer"[liên kết hỏng], The Stanford Encyclopedia of Philosophy (Spring 2012 Edition).
  4. ^ Larios, Pablo. “The Room is Sound, The Objects Abstractions: The Art of Catherine Christer Hennix”. frieze. Truy cập ngày 26 tháng 10 năm 2020.
  5. ^ Luitzen Egbertus Jan Brouwer entry in Stanford Encyclopedia of Philosophy
  6. ^ Kreisel, G. (1977). “Review: L. E. J. Brouwer collected works, Volume I, Philosophy and foundations of mathematics ed. by A. Heyting” (PDF). Bull. Amer. Math. Soc. 83: 86–93. doi:10.1090/S0002-9904-1977-14185-2.