Kurt Gödel

Kurt Gödel
Kurt Gödel
Sinh28 tháng 4, 1906
Brno, Áo-Hung
Mất14 tháng 1, 1978
Princeton, New Jersey
Trường lớpĐại học Viên
Nổi tiếng vìCác định lý bất toàn của Gödel
Giải thưởngGiải thưởng Albert Einstein (1951)
Sự nghiệp khoa học
NgànhToán học
Nơi công tácViện Nghiên cứu Cao cấp Princeton
Người hướng dẫn luận án tiến sĩHans Hahn

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 Time bình chọn là một trong 100 người có tầm ảnh hưởng nhất thế kỷ 20.[1]

Ô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.

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. Gödel mắc bệnh hoang tưởng, luôn nghi ngờ có người âm mưu, đầu độc ông.

Đị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] Lưu trữ 2006-07-05 tại Wayback Machine
  • 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

Xem thêm

Tham khảo

  1. ^ Hofstadter, Douglas. “Mathematician KURT GODEL”. TIME. Truy cập ngày 23 tháng 3 năm 2021.

Liên kết ngoài

Read other articles:

Elle MacphersonElle Macpherson di Sydney pada tahun 2011LahirEleanor Nancy Gow29 Maret 1964 (umur 59)[1][2]Killara, Sydney, AustraliaSuami/istriGilles Bensimon ​ ​(m. 1986⁠–⁠1989)​ Jeffrey Soffer ​(m. 2013)​PasanganArpad Busson (1996–2005)Anak2Modelling modelingTinggi6 ft 0 in (183 cm)[3]Warna rambutCoklat muda[3]Warna mataCoklat[3] Situs webellema...

 

Piramida penduduk Barbados pada tahun 2020 Demografi Barbados merupakan pembahasan terkait kepadatan penduduk, etnis, tingkat pendidikan, kesehatan penduduk, status ekonomi, afiliasi keagamaan, dan aspek lain dari penduduk Barbados. Populasi Populasi Barbados (1960-2010). Piramida penduduk Barbados, menunjukkan struktur usia populasi. Pada sensus 2010 Barbados memiliki perkiraan populasi 277.821 jiwa.[1] Populasi yang ditabulasi hanya 226.193 karena undercount yang tinggi (diperkiraka...

 

Apart from YouSutradaraMikio NaruseDitulis olehMikio NarusePemeranMitsuko YoshikawaAkio IsonoSumiko MizukuboSinematograferSuketaro InokaiPerusahaanproduksiShochiku CompanyDistributorShochiku CompanyTanggal rilis 1 April 1933 (1933-04-01) (Jepang) [1]Durasi60 menit[1]NegaraJepangBahasaJepang Apart From You (君と別れてcode: ja is deprecated , Kimi to wakarete) adalah film drama bisu Jepang tahun 1933 yang ditulis dan disutradarai oleh Mikio Naruse. Referensi ^ a b ...

IcaronycterisRentang fosil: Awal eosen Fosil I. index di Museum Kerajaan Ontario, Kanada Klasifikasi ilmiah Domain: Eukaryota Kerajaan: Animalia Filum: Chordata Kelas: Mammalia Ordo: Chiroptera Famili: Icaronycteridae (punah) Genus: Icaronycteris (punah)Jepsen, 1966 Spesies Icaronycteris gunnelli Rietbergen et al. Medeiros Icaronycteris indexJepsen 1966 Icaronycteris menui?Russell, Louis & Savage 1973 Icaronycteris sigei?Smith et al. 2007 Icaronycteris adalah genus kelelawar purba primit...

 

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Kitab Syair Pujian – berita · surat kabar · buku · cendekiawan · JSTOR Bagian dari Alkitab KristenPerjanjian LamaYosua 1:1 pada Kodeks Aleppo Taurat Kejadian Keluaran Imamat Bilangan Ulangan Sejarah Yosu...

 

Island in Nova Scotia, Canada This article is about the island in Shelburne County. For the island about 300 km southeast of Halifax, see Sable Island. For the cape in Florida, see Cape Sable. Cape Sable Island, locally referred to as Cape Island, is a small Canadian island at the southernmost point of the Nova Scotia peninsula. It is sometimes confused with Sable Island. Historically, the Argyle, Nova Scotia region was known as Cape Sable and encompassed a much larger area than simply the is...

Government of the United Kingdom from 1990 to 1992 This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2017) (Learn how and when to remove this template message) This article is about the people in John Major’s administration. For the events of John Major's tenure as prime minister, see Premiership of John Major. First Major ministryCabinet of the United K...

 

Pertempuran AlgecirasBagian dari ReconquistaAlfonso X dari Kastilia El Sabio, Raja Kastilia.TanggalJuli - 5 Agustus 1278-1279LokasiAlgeciras, Keamiran Granada, SpanyolHasil Kemenangan MarokoPihak terlibat Kerajaan Kastilia Ordo Santa María de España Maroko Keamiran GranadaTokoh dan pemimpin Alfonso X dari Kastilia Infante Pedro de Castilla y Aragón Sancho IV dari Kastilia Alfonso Fernández de Castilla Abu Yusuf Yaqub ibn Abd Al-Haqq Abu Yaqub Yusuf an-Nasr lbsReconquista di Iberia (718 - ...

 

American country music songwriter (born 1951) Jon VeznerVezner performing in 2019.Background informationBorn (1951-06-06) June 6, 1951 (age 72)[1]Minneapolis, Minnesota, U.S.[1]GenresCountryOccupation(s)SongwriterYears active1988-presentMember ofThe Don JuansSpouse(s) Kathy Mattea ​(m. 1988)​Musical artist Jon Vezner (born June 6, 1951) is an American country music songwriter. He is best known for his work with Kathy Mattea, to whom he has bee...

Cet article est une ébauche concernant un coureur cycliste allemand. Vous pouvez partager vos connaissances en l’améliorant (comment ?). Pour plus d’informations, voyez le projet cyclisme. Kim HeidukKim Heiduk en 2016InformationsNom de naissance Kim Alexander HeidukNaissance 3 mars 2000 (24 ans)HerrenbergNationalité allemandeÉquipe actuelle Ineos GrenadiersÉquipes non-UCI 2010-2018RSV ÖschelbronnÉquipes UCI 2019-2021Lotto-Kern-Haus2022-Ineos Grenadiersmodifier - modifier...

 

Danish annual music festival held in Roskilde Roskilde FestivalGenre Rock pop electronic reggae hip hop world DatesFour days, starting from first Wednesday in July, or last Wednesday in June with a 4-day warm-upLocation(s)Roskilde, DenmarkYears active1971–presentFounded by Mogens Sandfær Jesper Switzer Møller Carl Fischer[1] Websiteroskilde-festival.dk/en The Roskilde Festival is a Danish music festival held annually south of Roskilde. It is one of the largest music festivals in E...

 

Hardcase firearm cases and/or ammunition cases are often required for air travel with firearms and ammunition. Air travel with firearms and ammunition involves a number of laws, regulations and practices that travelers with firearms or ammunition must comply with and should be familiar with before travel. The main rules are set by the International Air Transport Association (IATA), but there are a number of local variations between airlines and local laws that sometimes are conflicting.[c...

Pavel IПа́вел IHoàng đế và Đấng cầm quyền chuyên chính của toàn NgaTại vị6 tháng 11 năm 1796 – 23 tháng 3 năm 1801Tiền nhiệmEkaterina II của NgaKế nhiệmAleksandr I Thông tin chungSinhngày 1 tháng 10 [lịch cũ ngày 20 tháng 9] năm 1754Sankt-PeterburgMấtngày 23 tháng 3 [lịch cũ ngày 11 tháng 3] năm 1801Lâu đài Thánh MikhailovPhối ngẫuWilhelmine xứ Hessen-DarmstadtSophie Dorothee xứ WürttembergHậu duệ Hậu duệ Aleks...

 

Evan Longoria (2008) is the only Rays' first-round pick to win a Rookie of the Year Award with the team. The Tampa Bay Rays are a Major League Baseball franchise based in St. Petersburg, Florida. The Rays (formerly the Tampa Bay Devil Rays) compete in the American League East division. Since the franchise was established in 1995, the Rays have selected 36 players in the first round. Officially known as the First-Year Player Draft,[1] the Rule 4 Draft is Major League Baseball's primar...

 

العلاقات اليمنية البليزية اليمن بليز   اليمن   بليز تعديل مصدري - تعديل   العلاقات اليمنية البليزية هي العلاقات الثنائية التي تجمع بين اليمن وبليز.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة اليمن بليز المس�...

Former command of the Royal Air Force Bomber CommandBomber Command badgeActive14 July 1936–1968Country United KingdomBranch Royal Air Force (RAF); attached squadrons & individual personnel of the RCAF, RAAF, and RNZAF.RoleStrategic bombingHeadquarters1936–1940: RAF Uxbridge1940–1968: RAF High WycombeMotto(s)Strike Hard Strike Sure[1]EngagementsSecond World WarBattle honoursBerlin 1940–1945Fortress Europe 1940–1944CommandersNotablecommandersAir Marshal...

 

For the town in Afghanistan, see Shahran, Afghanistan. For the villages in Iran, see Shahran, Iran. You can help expand this article with text translated from the corresponding article in Arabic. (August 2021) Click [show] for important translation instructions. View a machine-translated version of the Arabic article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the trans...

 

1981 single by The Rolling Stones For other uses, see Start Me Up (disambiguation). Start Me UpSingle by the Rolling Stonesfrom the album Tattoo You B-sideNo Use in CryingReleased14 August 1981 (1981-08-14)Recorded January & March 1978 (basic track)[1] April–June 1981 (vocals and overdubs) GenreHard rockLength3:34LabelRolling StonesSongwriter(s)Jagger–RichardsProducer(s)The Glimmer TwinsThe Rolling Stones singles chronology She's So Cold (1980) Start Me Up (1981...

Pour les articles homonymes, voir Final Resolution. Final ResolutionLogo officiel de Final Resolution 2012Main event Match Simple entre Bobby Roode et Jeff HardyThème musical Here We Go Again de Throwing Gravity[1]InformationsFédération Total Nonstop Action WrestlingDivision Impact Wrestling et XplosionDate 9 décembre 2012Spectateurs 11 000 personnesTéléspectacteurs 1 200[2] personnesLieu IMPACT! ZoneVille(s) Orlando, Floride, États-UnisChronologie des événementsTurning Point (2012)...

 

Mao: The Unknown Story作者张戎、乔·哈利戴类型传记语言英文發行信息出版机构Jonathan Cape出版時間2005年6月2日出版地點英国页数832 頁规范控制ISBN978-0224071260 毛澤東:鮮為人知的故事作者张戎、乔·哈利戴译者张戎类型传记语言中文(繁体)發行信息出版机构开放出版社(香港)出版時間2005年6月2日 出版地點英国中譯本出版日期2006年9月6日页数700 页规范控制ISBN978-9627934196 《...