Гильберт Давид

1862-1943

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Давид Гильберт

Гильберт, Хильберт (Hubert) Давид (23. 1. 1862, Велау, близ Кенигсберга, - 14.2.1943, Гёттинген), немецкий математик и логик. Основные труды в области оснований математики и математической логики. В 1899 году дал строго аксиоматическое построение геометрии Евклида, предопределившее дальнейшее развитие исследований по аксиоматизации научное знания. Гильберт выдвинул обширный план обоснования математики путём её полной формализации («Основания математики», совместно с Бернайсом, т. 1—2, 1934—39, рус. пер. — т. 1, 1979), однако программа Гильберта оказалась невыполнима. Подход Гильберта к обоснованию математики привёл к появлению формализма, а также нового раздела математики— метаматематики (теории доказательств). Гильберту принадлежит ряд важных работ в области исчисления высказываний и исчисления предикатов.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Сочинения: в  рус. пер.: Основы теоретич.  логики,  М.,   1947  (совм.  с В. Аккерманом); Основания геометрии,   М.— Л.,   1948.

Литература: Pид К., Г., пер. с англ., М., 1977 (с приложением обзора Г. Вейля   математич.   тр.   Гильберта).

Гильберт (Хильберт) (Hilbert) Давид (1862-1943), немецкий ученый, основоположник современной математики, предшественник Эйнштейна. Родился в Кенигсберге, обучался в кенигсбергской гимназии. С 1880 обучался в Кенигсбергском университете, где сошелся с Г. Минковским. В 1885 защитил докторскую диссертацию. Работал в Кенигсберге, с 1895 в Геттингене. Для творчества Гильберта характерна убежденность в единстве математической науки, в единстве математики и естествознания. Труды Гильберта оказали большое влияние на развитие многих разделов математики, в которых он работал (теория инвариантов, теория алгебраических чисел, основания математики, математическая логика, вариационное исчисление, дифференциальные и интегральные уравнения, теория чисел, математическая физика). Иностранный член-корреспондент (1922) и иностранный почетный член (1934) АН СССР. В 1900 на международном математическом конгрессе в Париже сформулировал 23 проблемы, ставшие программой развития математики в 20 в. К настоящему времени решена лишь часть из проблем Гильберта.

Материалы перепечатываются из проекта "Восточно-Прусский словарь", составленного Алексеем Петрушиным с использованием кн.: "Очерки истории Восточной Пруссии", под редакцией Г.В. Кретинина.

Гильберт Давид (1862—1943) - немецкий математик и логик, основатель Геттингенской математической школы. Основные работы Гильберта относятся к теории алгебраических инвариантов, теории алгебраических чисел, к основаниям математики и математической логики. В работе «Основания геометрии» (1899) Гильберт строго аксиоматически построил геометрию Евклида, что в значительной степени предопределило дальнейшее развитие исследований по аксиоматизации научного знания (Аксиоматический метод). Большое значение имеют работы Гильберта в области исчисления высказываний и исчисления предикатов. В начале 20 века Гильберт сформулировал основы нового подхода к обоснованию математики, который привел, с одной стороны, к появлению концепции формализма в основаниях математики, а с другой — к возникновению нового раздела математики — метаматематики (теории доказательств).

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 91.

ГИЛЬБЕРТ (Hilbert) Давид (23 января 1862, Кенигсберг — 14 февраля 1943, Геттинген) — немецкий математик, способствовавший переосмыслению и развитию философских оснований не только математики, но и всего естествознания в целом. Окончил университет в Кенигсберге (1885). В 1893—95 — профессор этого университета. С 1895 и вплоть до выхода в отставку (1930) — профессор Геттингенского университета. Среди достижений Гильберта в области философии науки наиболее значительны два: во-первых, разработанная им современная, абстрактная, версия аксиоматического метода и, во-вторых, созданная им, в развитие предыдущей идеи, новая ветвь оснований математики — теория доказательств, или метаматематика.

Гильберт неоднократно подчеркивал высокую педагогическую и эвристическую ценность генетического метода построения научных теорий. И тем не менее он полагал, что для окончательного оформления и полного логического обоснования всего, что содержится в нашем познании, более предпочтителен метод аксиоматический. Анализу и развитию этого метода Гильберт и посвятил основные свои усилия. Он первым отказался от попыток, предпринимавшихся еще со времен Евклида, давать основным терминам аксиоматизируемой теории содержательные определения. Гильберт последовательно провел в жизнь точку зрения на аксиомы как на условия, налагаемые на исходные понятия теории. Требуя, чтобы в процессе развертывания аксиоматизированной теории использовались лишь те сведения о ее понятиях, которые либо непосредственно почерпнуты из аксиом, либо чисто логическим путем формально выведены из них, он стал трактовать аксиоматику теории как единое явное определение ее понятий (Гильберт подчеркнул это в одном из своих писем к Г. Фреге). Такой вариант аксиоматического метода был положен уже в основу его «Оснований геометрии» (1899), где впервые дана полная, не содержащая никаких подразумеваемых предположений аксиоматика евклидовой геометрии.

Принятая Гильбертом точка зрения в то время позволила ему добиться существенных продвижений в исследовании системы геометрических аксиом. Но сегодня в этой работе более всего поражает тот факт, что он во многом предвосхитил в ней многие черты структурализма 20 в. и значительную часть «идеологии» машинной математики. В самом деле, занимаясь геометрией «в духе Гильберта», человек в определенном отношении попадает в ситуацию, сходную с компьютерной. Он имеет право (но отнюдь не обязан!) понимать то, что он при этом делает. И как это на первый взгляд ни странно, в принципиальном плане это даже ставит его в выгодное положение, избавляя, в частности, от ошибок, всегда возможных при попытке «проявить инициативу» в осмыслении того, что от него требуется: нетрудно понять, что и в самом деле идеально общепонятным может быть лишь то, что вообще не требует никакого понимания.

Можно не обратить внимания на то, что Гильберт никоим образом не доказывает истинность геометрических теорем; он всего лишь логически выводит их из принятых в ней аксиом (вопрос об истинности которых им вообще даже и не ставится). Изложенная точка зрения нашла замечательное по своей глубине использование в его более поздних (1922-30) исследованиях по основаниям математики. 

Работы эти были созданы в ходе попыток преодоления острого кризиса, вызванного трудностями, обнаружившимися в теоретико-множественной «архитектурной программе для математики», и впоследствии были подытожены в классической двухтомной монографии Гильберта и его ближайшего сотрудника П. Бернайса «Основания математики» (1-й т. 1934, 2-й — 1939). Как известно, Гильберт остро реагировал на противоречия, обнаруженные в канторовой теории множеств Б. Расселом и Э. Цермело, но он отвергал и альтернативную программу Л. Э. Я. Брауэра (см. Интуиционизм). В противовес реформаторской программе последнего Гильберт предложил свою, консервативную, программу, основанную на изложенном выше варианте аксиоматического метода и на идее трактовать «законность» любой математической теории как ее внутреннюю непротиворечивость.

Программа Гильберта, в главных чертах изложенная в докладе «О бесконечном», предусматривала, во-первых, аксиоматизацию всех без исключения математических теорий (в т. ч. и множеств теории)', во-вторых, установление непротиворечивости всех полученных аксиоматик и, в-третьих, дальнейшее развитие построенных теорий на чисто дедуктивной основе с использованием аристотелевской логики. При таком подходе и аксиомы, и утверждения конкретной теории описывались Гильбертом простыми и наглядными средствами — конструктивными объектами, имеющими точную синтаксическую структуру. Формализация логики открывала возможность придать аналогичный прозрачный, чисто синтаксический характер и самому понятию математического доказательства, а непротиворечивость теории трактовалась как невозможность одновременного получения в ней доказательств двух таких утверждений, что одно из них является отрицанием другого. Новаторской чертой этой программы Гильберта была ее чистая синтаксичность и отсутствие в ней какой бы то ни было апелляции к такой привычной для любого ученого, тем более для математика или философа, категории, как категория смысла. Для осуществления второго пункта своего плана Гильберт набросал эскиз т. н. «финитной установки» (см. Финитизм) — перечня средств (он называл их финитными), представлявшихся ему особо надежными и относительно которых он полагал, возможно не вполне правомерно, что они создают предпосылки для достижения «консенсуса» с интуиционистами. К сожалению, в достаточно подробном виде эта установка никогда Гильбертом изложена не была. Есть все основания полагать, что для ее «доработки» ему недоставало точного понятия алгоритма, которое в окончательном виде было выработано в математике лишь к 1936.

При всей на первый взгляд перспективности программы Гильберта ее реализация уже с первых шагов столкнулась с непредвиденными трудностями. Первый серьезный урон был нанесен ей открытием К. Гёделя, показавшего (1931), что неполна (и даже принципиально непополнима!) любая непротиворечивая аксиоматизация уже элементарной арифметики натуральных чисел. Между тем, по замыслу Гильберта, именно она, «это чистейшее, — по его выражению, — и наивнейшее дитя человеческого духа», должна была первой пройти «проверку на непротиворечивость». Впервые решение этой задачи было опубликовано (1936) Г. Генценом, которому уже здесь пришлось вполне отчетливым образом выйти за рамки финитной установки. Это был второй удар, нанесенный теории доказательств. И хотя главные надежды этой теории возлагались на доказательство непротиворечивости математического анализа (по мнению ближайшего сотрудника Бернайса, именно ее решение должно было вынести «окончательный приговор судьбе теории доказательств»), эта задача и особенно важная задача установления непротиворечивости аксиоматической теории множеств до сих пор остаются нерешенными.

Т. о., на своем «главном направлении» гильбертовская теория доказательств потерпела поражение (возможно, впрочем, ее постигла общая судьба всех слишком общих программ), но зато она принесла обильные плоды на ее «периферии», составившие целую эпоху в области оснований математики. В первую очередь, это работы (Геделя и др.) по неполноте аксиоматик (арифметики и теории множеств), работы, приведшие к возникновению математически точного понятия алгоритма, исследования А. А. Маркова по конструктивной математике (см. Конструктивные направления), сделавшие впоследствии эпоху в развитии логики работы Брауэра и его школы, проходившие в очной и заочной полемике, тоже принесли свои плоды уже хотя бы потому, что полемика с таким оппонентом, как Гильберт, сама по себе не могла оказаться непродуктивной для ее участников.

Н. М. Нагорный

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 523-524.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Исторические лица Германии (биографический указатель).

Сочинения:

Избр. труды (т. I, II). М., 1998;

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М., 1979 (2-е изд. 1982);

Гильберт Д., Бернайс П. Основания математики. Теория доказательств. М., 1982;

Основания геометрии. М.-Л., 1948.

Литература:

Рид К. Гильберт. М., 1977.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС