Авторизация

Курт Гедель   Kurt Gedel

Курт Гедель / Kurt Gedel

Карьера: Математик

Дата рождения: 28 апреля 1906, знак зодиака телец

Место рождения: Австрия

Курт Гедель - выдающийся австрийский математик, логик, философ математики. Родился 28 апреля 1906 года. Известен как автор теорем Гёделя о неполноте. Помимо этого Курт Гедель работал в таких областях дифференциальной геометрии и теоретической физики.




Курт Гедель Биография

Родился 28 апреля 1906 в Брно. В 1924 по ступил в Венский вуз, в 1930 защитил док торскую диссертацию по математике. В 193 3—1938 — приват-доцент Венского универси тета; в 1940 эмигрировал в США. С 1953 и до конца жизни — профессор Принстонског о института перспективных исследований. Умер Гёдель в Принстоне 14 января 1978. Диссертация Гёделя была посвящена пробле ме полноты. Полнота системы аксиом, служ ащих основанием какой-либо области матем атики, означает адекватность этой аксиом атики той области, которая с их помощью задается, т.е. означает вероятность обос новать истинность или ложность любого ос мысленного утверждения, содержащего поня тия рассматриваемой области математики. В 1930-м годам были получены некоторые р езультаты о полноте различных аксиоматич еских систем. Так, Гильберт построил иск усственную систему, охватывающую доля ар ифметики, и доказал ее полноту и непроти воречивость. Гёдель в своей диссертации доказал полноту исчисления предикатов пе рвой ступени, и это дало надежду математ икам на то, что им удастся привести дока зательства непротиворечивость и полноту всей математики. Однако уже в 1931 тот ж е Гёдель доказал теорему о неполноте, на несшую сокрушительный потрясение по этим надеждам. Согласно этой теореме, любая операция доказательства истинных утвержд ений элементарной теории чисел обречена на неполноту. Элементарная концепция чис ел — это раздел математики, занимающийся сложением и умножением целых чисел, и, как показал Гёдель, при любых осмысленны х и на практике применимых системах дока зательств некоторые истины более того в эдакий крайне скромной области математик и останутся недоказуемыми. Как следствие он получил, что внутренняя непротивореч ивость каждый математической теории не м ожет быть доказана по иному, как с помощ ью обращения к иной теории, использующей больше сильные допущения, а значит, мен ее надежной. Методы, использованные Гёде лем при доказательстве теоремы о неполно те, сыграли в дальнейшем важную образ в теории вычислительных машин. Гёдель прив нес значимый вклад в теорию множеств. Дв а принципа — аксиома выбора и континуум- гипотеза — на протяжении десятилетий не поддавались доказательству, но заинтерес ованность к ним не ослабевал: чрезмерно привлекательны были их логические следст вия. Гёдель доказал (1938), что присоеди нение этих принципов к обычным аксиомам теории множеств не приводит к противореч ию. Его рассуждения ценны не только теми результатами, которые они позволяют пол учить; Гёдель разработал конструкцию, ко торая улучшает разумение внутренних меха низмов самой теории множеств.

Новости

Нет новостей. Вы можете добавлять новости, используя соответствуюшую ссылку.
загрузка...

Комментарии:

В этом разделе пока нет сообщений. Ваш комментарий будет первым.

Именины

Анастасия Значение имени Анастасия В переводе с древнегреческого имя Анастасия означает «воскрешая» или «возвращенная к жизни». Происхождение имени Анастасия Имя Анастасия является женской формой мужского имени Анастасий (Анастас). Характеристика имени Анастасия Анастасия доверчива, не капризна, покладиста, обладает хорошо развитой интуицией. Большинство женщин с именем Анастасия – довольно чувственные особы, романтичные и деликатные. Анастасия легко ранима, обидеть ..
Андрей Значение имени Андрей Имя Андрей в переводе с древнегреческого означает «человек мужества». Происхождение имени Андрей Имя Андрей образовано от древне-греческого слова "андреас", что переводится как "смелый", "отважный". Характеристика имени Андрей В детстве Андрей отличается непоседливостью, хитростью и смекалкой. С другой стороны, юный Андрей довольно мечтательная натура, с хорошо развитым воображением. Андрей не очень любит подчиняться родителя..
Аристарх Значение имени Аристарх Имя Аристарх в переводе с древнегреческого означает «лучший вождь». Происхождение имени Аристарх Имя Аристарх имеет греческое происхождение и образовано от греческого имени Аристид. Характеристика имени Аристарх В раннем детстве Аристарх не отличается хорошим здоровьем, часто болеет. Аристарх – спокойный, домашний ребенок, любит помогать по дому. В детский сад ходит без удовольствия, так как зачастую является объектом насмешек и обид со стороны др..
Василиса Значение имени Василиса В переводе с древне-греческого, имя Василиса означает «царственная», «царица». Происхождение имени Василиса Имя Василиса восходит к древне-греческому «басилисса, басилинна» - жена басилевса, правителя; царица. В древнегреческой мифологии «Басилис», «царственная» - эпитет богинь Геры, Афродиты, Персефоны. Характеристика имени Василиса В раннем детстве Василиса часто болеет, растет слабым и стеснительным ребен..
Виктор Значение имени Виктор В переводе с латинского, имя Виктор означает «победитель». Происхождение имени Виктор Имя Виктор происходит от латинского "Victor" - «победитель». В древнеримской мифологии "Victor" - эпитет богов Юпитера и Марса. Характеристика имени Виктор В детстве Виктор растет добрым и доверчивым ребенком. Любит книги о приключениях, шпионах и разведчиках. С удовольствием занимается конструированием. Маленький Виктор раним, однако быстро..
Леонид Значение имени Леонид В переводе с древнегреческого языка имя Леонид означает «подобный льву». Происхождение имени Леонид Имя Леонид произошло от древнегреческих слов «леон» - «лев» и «идеа» - «внешность, облик». Дословно имя Леонид означает «сын льва», «подобный льву». Образовавшись от этих двух слов, имя Леонид стало самостоятельным именем. Характеристика имени Леонид С самого раннего детства Леонид мнител..
Трофим Значение имени Трофим В переводе с древне-греческого имя Трофим означает «кормилец», «питомец». Происхождение имени Трофим По мнению ученых, имя Трофим имеет древне-греческое происхождение и пришло из Византии. Характеристика имени Трофим В раннем детстве Трофим капризен, раздражителен и непоседлив. Трофиму сложно усидеть на одном месте, он постоянно в поисках новых «приключений». Подрастающий Трофим, как правило, болезненно реагирует на замечания и проч..
Федор Значение имени Федор В переводе с древне-греческого имя Федор означает «дар Божий». Происхождение имени Федор Имя Федор происходит от древне-греческого имени Теодор, что означает «Божий дар». Характеристика имени Федор С самого раннего детства Федор растет несколько замкнутым, угрюмым ребенком. Федя избегает больших компаний, с трудом находи общий язык с детьми. Друзей у маленького Феди не много. В детском коллективе Федор предпочитает держаться в стороне. Федю..
Яков Значение имени Яков В переводе с древне-еврейского имя Яков означает «следует по пятам». Происхождение имени Яков Имя Яков имеет древне-еврейское происхождение и образовано от еврейского имя Иаков. Яков – библейское имя, в буквальном переводе с иврита означает «следующий по пятам» Характеристика имени Яков С раннего дества Яков удивляет взрослых своей расчетливостью и практичностью. Маленький Яша не капризен, может подолгу самостоятельно заниматься своими дела..


  • текст
  • список
  • фото
  • ссылка


Фотографии

Нет фотографий

рейтинг Математики

Персона в Сети

Нет ссылок

Случайное фото

Анни-Фрид Люнгстад
Анни-Фрид Люнгстад фото

загрузка...