Kurt Gödel

Template:Infobox Scientist Kurt Gödel (28 tháng 4 năm 190614 tháng 1 năm 1978) là một nhà toán họclogic học nổi tiếng người Áo, người đã được tờ tạp chí danh tiếng Times bình chọn là nhà toán học lớn nhất thế kỷ 20.[citation needed]

Ông là tác giả của một định lý nổi tiếng trong toán học: "Định lý bất toàn" (incompleteness theorem), là một định lý được giới khoa học so sánh với thuyết tương đối của Einsteinnguyên lý bất định của Heisenberg. Định lý này khẳng định rằng bất kì một hệ tiên đề hình thức độc lập nào đủ mạnh để miêu tả số học cũng hàm chứa những mệnh đề không thể khẳng định mà cũng không thể phủ định. Được chứng minh vào năm 1930 và công bố một năm sau đó, định lý này đã đập tan niềm tin tuyệt đối của các nhà toán học vào sức mạnh của các công cụ hình thức vốn được đề xuất bởi David Hilbert và các cộng sự nhằm loại bỏ những mâu thuẫn và nghịch lý ra khỏi toán học.

Tiểu sử

Thời trẻ

Ông sinh ngày 28 tháng 4 năm 1906 tại Brünn, một trung tâm công nghiệp của Đế quốc Áo-Hung (nay là thành phố Brno của Cộng hòa Séc).

Tại Wien

Tại Princeton

Ông giảng dạy toán họcĐại học Princeton (Hoa Kỳ) từ năm 1953. [[Tập tin:Godel Einstein 1950.jpeg|nhỏ|trái|230px|Gödel và Einstein tại IAS (1950)]]

Cuối đời

Ông sống rất sạch sẽ, thậm chí có tin đồn rằng ông mất năm 1978 vì ông sợ không dám ăn thức ăn trong bát đĩa mà ông nghi là chưa sạch.

Định lý Gödel

Tác phẩm

  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte für Mathematik und Physik, vol. 38 (1931) [1]
  • The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton, NJ. (1940)
  • Rotating Universes in General Relativity Theory (1950)

Tham khảo thêm

  • Dawson, John W. Logical dilemmas: The life and work of Kurt Gödel. A K Peters. ISBN 1-56881-025-3
  • Depauli-Schimanovich, Werner, & Casti, John L. Gödel: A life of logic. Perseus. ISBN 0-7382-0518-4
  • Goldstein, Rebecca (2005). Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton & Company. ISBN 0-393-05169-2
  • Hofstadter, Douglas. Gödel, Escher, Bach. ISBN 0-465-02656-7
  • Nagel, Ernst, & Newman, James R. Gödel's Proof. New York University Press. ISBN 0-8147-5816-9
  • Wang, Hao (1996). A logical journey: From Gödel to philosophy. Cambridge, MA: MIT Press.
  • Yourgrau, Palle (2004). A World Without Time: The Forgotten Legacy of Gödel and Einstein. Basic Books. ISBN 0-465-09293-4
  • Yourgrau, Palle (1999). Gödel Meets Einstein: Time Travel in the Gödel Universe. Open Court. ISBN 0-8126-9408-2

Liên kết ngoài

Template:Lý thuyết tập hợp Template:Winners of the National Medal of Science Template:Thuyết tương đối

Xem thêm

Tham khảo

Liên kết ngoài

Template:Thể loại Commons

Template:Sơ khai nhà toán học Template:Kiểm soát tính nhất quán Template:Lý thuyết tập hợp Template:Winners of the National Medal of Science Template:Thuyết tương đối


Template:Thời gian sống

Godel, Kurt Godel, Kurt Thể loại:Nhà toán học thế kỷ 20 Godel, Kurt Thể loại:Giải thưởng Nhà nước về Khoa học, Hoa Kỳ Thể loại:Nhà triết học Mỹ Thể loại:Người Mỹ gốc Áo Thể loại:Nhà lý thuyết tập hợp Thể loại:Mất 1978 Thể loại:Triết gia thế kỷ 20 Thể loại:Chết vì đói khát Thể loại:Nhà bản thể học Thể loại:Người Brno