Курт Годель заснував теоретичну інформатику Історія 101

Курт Годель заснував теоретичну інформатику

Годель був математиком, логіком і філософом, чиї теореми дали основу для теоретичної інформатики

Курт Годель - математик, логік і філософ, який народився в квітні 1906 року в сучасному Брно, Чеська Республіка. Годель була хворобливою дитиною, яка ще у шість років страждала від ревматичної лихоманки. Кажуть, що рання хвороба Годеля залишила його параноїком щодо таких речей, як нав’язливе прибирання посуду та чистоту їжі. Годель поїхав до Австрії в 1924 році для навчання у Віденському університеті, де здобув ступінь доктора математики до вступу на факультет у 1930 році.

заснував

Теорема повноти

Докторська дисертація Годеля «Über die Vollständigkeit des Logikkalküls» (Про повноту обчислення логіки) підтвердила теорему повноти. Годель показав, що: "... класична логіка першого порядку або числення предикатів є повною в тому сенсі, що всі логічні істини першого порядку можуть бути доведені в стандартних системах доказу першого порядку".

Теорема неповноти

У 1931 р. Годель опублікував Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Про формально нерозв'язні положення Principia Mathematica та суміжних систем). Теорема про неповноту показала, що: "... у будь-якій послідовній аксіоматичній математичній системі є положення, які неможливо довести або спростувати в системі, і що не можна довести узгодженість самих аксіом". Іншими словами, Годель довів, що є математичні твердження, які є істинними, але які неможливо довести.

Це так важко зрозуміти, що це має бути важливо. Робота Годеля, зокрема його теорема про незавершеність, була описана як одне з найвидатніших математичних чи логічних досягнень 20 століття. Годель був описаний як засновник теоретичної інформатики.

Годель та Ейнштейн, інтелектуальні однолітки

Публікація теореми про неповноту принесла Годелю міжнародну популярність. Годель багато читав лекції в США, зокрема в Принстонському університеті, де познайомився з Альбертом Ейнштейном. Годель та Ейнштейн стали та залишатимуться друзями, поки Ейнштейн не помер у 1955 році.