-
1 Курт Гедель
див. Гедель, Курт -
2 Гедель, Курт
Гедель, Курт (1906, Брюнн, нині Брно - 1978) - австр. логік, математик. Од 1940 р. проживав у США. Серед значних здобутків у царині математичної логіки і теорії множин найвідомішою є знаменита теорема Г. Вона була сформульована у статті "Про формальну невирішуваність тез Principia Mathematica і споріднених систем" (1931), що згодом отримала світове визнання. Суть відкриття Г. зводилася до двох основних результатів. Перший - це теорема про неповноту, в якій стверджується, що будь-яка несуперечлива система, подібна до Principia Mathematica (див. Вайтгед, Рассел), неповна. Г. показав, що в таких системах є істинні твердження, які засобами цих теорій не можна ані довести, ані спростувати. У філософсько-методологічному плані теорема Г. про неповноту виявилася обґрунтуванням принципової неможливості повної формалізації наукового знання, зокрема, математики. Була спростована точка зору, згідно з якою в обґрунтуванні математичного знання логіка може бути гарантованим засобом отримання нових істин. Другий результат - теорема про несуперечливість, суть якої полягала в обґрунтуванні неможливості доведення несуперечливості формальної системи її власними засобами. Г. довів, що це можна зробити, лише застосовуючи методи більш розвинутої формальної теорії. З математичної та філософської точки зору ідеї Г. виявили принципову нездійсненність програми обґрунтування математики Гільберта. Г. також належать вагомі результати в теорії моделей та конструктивній логіці.[br]Осн. тв.: "Про формальну невирішуваність тез Principia mathematica і споріднених систем" (1931); "Про інтуїтивну арифметику та теорію чисел" (1932); "Математична логіка Рассела" (1944) та ін. -
3 Kurt
n ч. ім'яКерт, Курт -
4 Надёвка
1) (действие) - см. Надевание; оконч. вдягнення, надягнення; взуття (-ття); накладення; настромлення и т. п.;2) (куртка) курт(к)а, куцина. -
5 Гедель
див. Гедель, Курт
См. также в других словарях:
Курт Хаммел — Kurt Hummel Появление «Пилот» 19 мая 2009 Информация Прозвище Мо … Википедия
Курт Дональд Кобейн — Курт Кобейн Дата рождения 20 февраля 1967 Место рождения Хокьюэм, штат Вашингтон, США Дата смерти 5 апреля 1994 Страна … Википедия
Курт Дональд Кобэйн — Курт Кобейн Дата рождения 20 февраля 1967 Место рождения Хокьюэм, штат Вашингтон, США Дата смерти 5 апреля 1994 Страна … Википедия
Курт Кобейн — Дата рождения 20 февраля 1967 Место рождения Хокьюэм, штат Вашингтон, США Дата смерти 5 апреля 1994 Страна … Википедия
Курт Кобэйн — Курт Кобейн Дата рождения 20 февраля 1967 Место рождения Хокьюэм, штат Вашингтон, США Дата смерти 5 апреля 1994 Страна … Википедия
Курт Вальдгайм — Курт Вальдхайм Kurt Waldheim … Википедия
Курт Вальдгейм — Курт Вальдхайм Kurt Waldheim … Википедия
Курт Вальдхайм — Kurt Waldheim … Википедия
Курт Воннегут — Kurt Vonnegut Дата рождения: 11 ноября 1922 Место рождения: Индианаполис, США Дата смерти: 11 апреля 2007 Место смерти: Нью Йорк … Википедия
Курт Бек — (нем. Kurt Beck; род. 5 февраля 1949, Бад Бергцаберн) немецкий политик, председатель СДПГ (2006 2008). Биография С 1994 года он является премьер министром федеральной земли Рейнланд Пфальц и на сегодн … Википедия
Курт Хоукинс — (Curt Hawkins) Реальное имя: Брайн Джозеф Майерс (англ. … Википедия