0 комментариев

Курт Гедель қандай ғылыми жаңалықтар ашты ? Қай жылы Гедельдің теоремасы қай жылы жарық көрді ? Ол кімдермен ғылыми байланыста болды ? Осы сұрақтардың жауабын және басқа да қызықты ақпаратты kyn.kz  сайтынан оқи аласыз.

Курт Гёдель 25 жасқа толмай, екі үлкен ғылыми жұмысын жазған еді. Осы еңбектердің бірі «Толықтырылмаған теоремасы»(теорема о неполноте) болды. Ол үлкен танымалдылықты әкелді. Енді Гёдель теоремасының атауы бар бұл теорема келесі формулаға ие: ”Егер формальды жүйе S қарсы болмаса, онда А формуласы S-ге сәйкес келмейді. Егер S жүйесі w-дәйекті болса, онда A формуласы S ішіндегі туынды болып табылмайды. Сондықтан, егер S жүйесі w-дәйекті болса, онда ол аяқталмаған және А шешілмейтін формуланың мысалы ретінде қызмет етеді.”

Гёдель өзінің теоремасын 1931 жылы “Uber Formal unentscheidbare Satze der Principia Mathematica” басылымында жариялады.1934 жылы Гёдель Принстон университетіне келді. Онда ол «Формальды математикалық жүйелердің шешілмейтін үкімдері» тақырыбымен тереңдетілген зерттеу институтында бірнеше дәріс оқыды. Содан кейін Гёдель 1935 жылы Қайта зерттеу институтына қайта келіп, нәтижесінде Эйнштейн мен Моргенштернмен тығыз байланыста болды. Жиі сапарлар оның денсаулығына әсер етті және ол 1937 жылы университетте оқуға оралған үзіліс жасауға шешім қабылдады.

Изменен статус публикации
Добавить комментарий