Notice: Undefined variable: content in /home/area7ru/area7.ru/docs/material.php on line 128
(Hubert) Давид (1862 - 1943) - германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. - Геттингенской математической школы, исследования которого оказали определяющее влияние на развитие математических наук. Международная премия имени Лобачевского (1904), иностранный почетный член АН СССР (1934, иностранный член-корр. АН СССР с 1922). Основные работы Г.: "Основания геометрии" (1899), "Математические проблемы" (1900), "Аксиоматическое мышление" (1918), "Методы математической физики" (1920, в соавт. с Р.Курантом), "О бесконечности" (1925), "Обоснования математики" (1930), "Наглядная геометрия" (1932, в соавт. с С.Кон-Фоссеном), "Основы теоретической логики" (1934, в соавт. с В.Аккерманом), "Основания математики. Логические исчисления и формализация арифметики" (1934, в соавт. с П.Бернайсом), "Основания математики. Теория доказательств" (1939, в соавт. с П.Бернайсом). Окончил Университет Кенигсберга. Профессор Университета Кенигсберга (1893-1895). Профессор математического факультета Геттингенского университета (1895-1930, последняя лекция в 1933, позднее был вынужден отойти от дел университета и занятий математикой в связи с преследованиями со стороны идеологов национал-социализма). Г. проводил фундаментальные исследования в направлениях теории инвариантов, дифференциальных уравнений, вариационного исчисления и теории чисел. В исследованиях Г. по теории интегральных уравнений с симметричным ядром (составляющих основу современного функционального анализа) было получено обобщение понятия векторного евклидова пространства для случая бесконечного числа измерений - гильбертова пространства, принадлежащего к числу базисных категорий современной математики, широко применимого в исследованиях по теоретической и математической физике (где Г. интересовали проблемы теории излучения). Труд Г. "Основания геометрии" (1899) стал основополагающим для исследований в направлении аксиоматического построения различных геометрий. Г. предложил систему аксиом геометрии Евклида, из книги "Начала" которого был уточнен основной набор понятий ("точка", "прямая", "плоскость") и отношений между ними ("принадлежит", "конгруэнтен", "между"). Система аксиом Г., необходимая и достаточная для построения всей геометрии Евклида, стала ее первым строгим основанием (она содержит 20 аксиом принадлежности, порядка, конгруэнтности, непрерывности, параллельности). Тогда же Г. провел логическую обработку всей системы этих аксиом и доказал ее непротиворечивость и полноту (при помощи числовых моделей), а также независимость групп аксиом. Фактически геометрия в данном случае явилась одним из направлений, на примере которого было дано, как писал А.Н.Колмогоров, "последовательное изложение теоретико-множественного подхода к аксиоматике, в силу которого система аксиом математической дисциплины характеризует изучаемую этой дисциплиной область объектов с точностью до изоморфизма". В своем докладе "Математические проблемы" на втором Международном конгрессе математиков (1900, Париж) Г. сформулировал 23 главные проблемы математики того времени (получившие название "проблем Г."), решение которых, по мнению Г., 19 в. завещал 20 в. Во введении к докладу говорилось о целостном характере математики как основе всего точного естественнонаучного познания, о математической строгости, о значении для математики "хорошо поставленной" специальной проблемы. Там же был выдвинут и основной тезис Г. - о разрешимости в широком смысле любой задачи математики (для Г. вообще была характерна убежденность в неограниченной силе разума человечества: например, в статье "Познание природы и логика" Г. писал: "Мы должны знать - мы будем знать"). В своем докладе Г. говорил: "Вот проблема, или решение. Ты можешь найти его с помощью чистого мышления, ибо в математике не существует Ignorabimus! ("мы не будем знать")". Проблемы Г. разделяются на несколько групп: теория множеств ("1. Проблема Кантора о мощности континуума"); обоснование математики ("2. Непротиворечивость арифметических аксиом"); основания геометрии; теория непрерывных групп; аксиоматика теории вероятностей и механики; теория чисел; алгебра; алгебраическая геометрия; геометрия; анализ. Проблемы Г. были поставлены очень корректно, а развитие идей, связанных с их содержанием, составило основу направлений математических наук 20 в. В первые годы 20 в. в философии математики возникли четыре придерживающихся различных взглядов на основания математики направления: интуиционизм (Л.Брауэр, Вейль), логицизм (Уайтхед, Рассел), теоретико-множественное направление Э.Цермело; лидером формализма стал Г. Главным возражением Г. против концепций логицизма было то, что в ходе развития логики целые числа были неявно вовлечены в ее систему понятий. Поэтому при построении понятия "число" логика оказывается в замкнутом круге. Согласно Г., при определении множества по его свойствам возникает необходимость различения пропозиционалей и высказываний по типам, а теория типов требует принятия аксиомы сводимости. Г. (как и логицисты) считал необходимым включение бесконечных множеств в математику, что потребовало бы введение аксиомы бесконечности, которую они все, однако, не считали аксиомой логики. Главным возражением Г. против концепций интуиционизма было то, что там отвергались разделы анализа, опирающиеся на теоремы существования и бесконечные множества. Г. писал, что отнять "у математиков закон исключенного третьего - это то же самое, что забрать у астрономов телескоп". Г. считал, что интуиционизм и логицизм не смогли доказать непротиворечивость математики: "Математика есть наука, в которой отсутствует гипотеза. Для ее обоснования я не нуждаюсь ни, как Кронекер, в Господе Боге, ни, как Пуанкаре, в предположении об особой, построенной на принципе полной индукции способности нашего разума, ни, как Брауэр, в первоначальной интуиции, ...ни, как Рассел и Уайтхед, в аксиомах бесконечности, редукции или полноты, которые являются подлинными гипотезами содержательного характера и... вовсе не правдоподобными" ("Основания геометрии"). Г. считал, что так как логика в своем развитии обязательно включает в себя идеи математики и для сохранения математики необходимо привлекать "внелогические аксиомы типа аксиомы бесконечности", то рациональный подход к математике должен "включать в себя понятия и аксиомы не только логики, но и математики", а логике необходимо оперировать чем-то, что состояло бы из конкретных внелогических понятий (типа понятия "число"), интуитивно воспринимаемых нами еще до логических рассуждений. Согласно Г., математика является автономной наукой и невыводима из логики, поэтому в аксиоматические системы и логики, и математики необходимо вводить и логические, и матем">
ВНИМАНИЕ!
Текст просматриваемой вами энциклопедической статьи урезан на треть (33%)!
Чтобы просматривать эту и другие статьи полностью, авторизуйтесь на сайте:
|
|
