Л. Э. Дж. Брауэр

редактировать
Голландский математик и логик
Л. Э. Дж. Брауэр
Луитцен Эгбертус Ян Брауэр.jpeg
РодилсяЛуитцен Эгбертус Ян Брауэр. (1881-02-27) 27 февраля 1881 г.. Оверши
Умер2 декабря 1966 г. (1966-12 гг. -02) (85 лет). Бларикум
НациональностьГолландец
Alma materАмстердамский университет
Известенспором Брауэра-Гильберта. График Брауэра-Хемерса. Андрис Брауэр 1951- Теорема Брауэра о неподвижной точке. Интерпретация Брауэра – Гейтинга – Колмогорова. Теорема Джордана – Брауэра об отделенности. Порядок Клини – Брауэра. Теорема Фрагмена – Брауэра. Теорема Титце-Урысона-Брауэра о расширении. Симплициальная аппроксимационная теорема. Индукция по стержню. Степень непрерывного отображения. Неразложимость. Инвариантность области. Разброс. Доказательство теорема о волосатом шарике. Интуиционизм
НаградыИностранный член Королевского общества
Научная карьера
ОбластиМатематика
УчрежденияАмстердамский университет
Докторант Дидерик Кортевег
ДокторантыАренд Хейтинг
Инф luencesИммануил Кант. Артур Шопенгауэр
Под влияниемГерман Вейль. Майкл Даммет. Людвиг Витгенштейн
Брауэр (справа) на Международном математическом конгрессе, Цюрих, 1932 г.

Людзен Эгберт Ян Брауэр (; голландский: ; 27 февраля 1881 - 2 декабря 1966), обычно цитируемый как L. Э. Дж. Брауэр, но известный своим друзьям как Бертус, был голландским математиком и философом, работавшим в топология, теория множеств, теория меры и комплексный анализ. Он также стал важной фигурой в философии интуиционизма, конструктивистской школы математики, в которой математика рассматривается как когнитивный конструкт, а не тип объективная правда. Эта позиция привела к спору между Брауэром и Гильбертом, в которой Брауэр спарринговал со своим коллегой Дэвидом Гильбертом, главным сторонником формалистической школы математики. Впоследствии трудом Брауэра занялись его ученица Аренд Гейтинг и бывший ученик Гильберта Герман Вейл.

Содержание
  • 1 Биография
  • 2 Библиография
    • 2.1 В английском переводе
  • 3 См. Также
  • 4 Ссылки
  • 5 Дополнительная литература
  • 6 Внешние ссылки
Биография

В начале своей карьеры Брауэр доказал ряд теорем в развивающейся области топологии. Наиболее важными из них были его теорема о неподвижной точке, топологическая инвариантность степени и топологическая инвариантность размерности. Среди математиков в целом наиболее известна первая из них, которую теперь обычно называют теоремой Брауэра о неподвижной точке. Это простое следствие из второго, касающегося топологической инвариантности степени, которое наиболее известно среди алгебраических топологов. Третья теорема, пожалуй, самая трудная.

Брауэр также доказал теорему о симплициальной аппроксимации в основах алгебраической топологии, которая оправдывает сокращение до комбинаторных членов после достаточного разделения симплициальных комплексов, об обработке общих непрерывных отображений. В 1912 году в возрасте 31 года он был избран членом Королевской Нидерландской академии искусств и наук. Он был приглашенным спикером ICM в 1908 году в Риме и в 1912 году в Кембридже, Великобритания.

Брауэр основал интуиционизм, философию математики, которая бросила вызов тогдашним - преобладающий формализм Дэвида Гильберта и его сотрудников, в том числе Пол Бернейс, Вильгельм Аккерман и Джон фон Нейман (ср. Kleene (1952), стр. 46–59). Разновидность конструктивной математики, интуиционизм - это философия основ математики. Иногда его довольно упрощенно характеризуют, говоря, что его приверженцы отказываются использовать закон исключенного третьего в математических рассуждениях.

Брауэр был членом группы Сигнификс. Это было частью ранней истории семиотики - изучения символов - в частности, в период Виктории, в частности леди Уэлби. Первоначальное значение его интуиционизма, вероятно, невозможно полностью отделить от интеллектуальной среды этой группы.

В 1905 году, в возрасте 24 лет, Брауэр выразил свою философию жизни в коротком трактате «Жизнь, искусство и мистицизм», который математик Мартин Дэвис описал как «пропитанный романтический пессимизм »(Дэвис (2002), стр. 94). Артур Шопенгауэр оказал формирующее влияние на Брауэра, не в последнюю очередь потому, что он настаивал на том, чтобы все концепции в основном основывались на чувственной интуиции. Затем Брауэр «предпринял самодовольную кампанию по восстановлению математической практики с нуля, чтобы удовлетворить свои философские убеждения»; на самом деле его научный руководитель отказался принять его главу II «в ее нынешнем виде... все переплетено с каким-то пессимизмом и мистическим отношением к жизни, которое не является математикой и не имеет ничего общего с основами математики» (Davis, p. 94 цитируется ван Стигт, стр. 41). Тем не менее, в 1908 г.:

«... Брауэр в статье, озаглавленной« Ненадежность принципов логики », оспаривал веру в то, что правила классической логики, которые дошли до нас по существу от Аристотеля (384) --322 г. до н.э.) имеют абсолютную значимость, независимо от предмета, к которому они применяются »(Kleene (1952), p. 46).

« После завершения своей диссертации Брауэр принял сознательное решение временно оставить свою спорные идеи в секрете и сосредоточиться на демонстрации своего математического мастерства »(Дэвис (2000), стр. 95); к 1910 г. он опубликовал ряд важных работ, в частности теорему о неподвижной точке. Гильберт - формалист, с которым интуиционист Брауэр в конечном итоге провел годы в конфликте, - восхищался этим молодым человеком и помог ему получить регулярное академическое назначение (1912 г.) в Амстердамском университете (Davis, p. 96). Именно тогда «Брауэр почувствовал себя свободным вернуться к своему революционному проекту, который он теперь называл интуиционизмом» (там же).

В молодости он был воинственным. Он был вовлечен в очень публичный и в конечном итоге унизительный спор в конце 1920-х годов с Гильбертом по поводу редакционной политики в Mathematische Annalen, в то время ведущем научном журнале. Он стал относительно изолированным; Развитием интуиционизма в его истоках занялся его ученик Аренд Хейтинг.

Голландский математик и историк математики Бартель Леендерт ван дер Варден посещал лекции, прочитанные Брауэром в более поздние годы, и комментировал : «Несмотря на то, что его самый важный исследовательский вклад был в топологии, Брауэр никогда не читал курсов по топологии, но всегда - и только на - основах своего интуиционизма. Казалось, что он больше не был убежден в своих результатах по топологии, потому что они были неверно с точки зрения интуиционизма, и он оценил все, что он делал раньше, свой величайший результат, ложным согласно его философии ».

О последних годах своей жизни Дэвис (2002) отмечает:

«... он чувствовал себя все более и более изолированным и провел свои последние годы под чарами« совершенно необоснованных финансовых проблем и параноидального страха банкротства, преследований и болезней ». Он был убит в 1966 году в возрасте 85 лет, сбитый транспортным средством, когда переходил улицу перед своим домом ». (Дэвис, стр. 100, цитата ван Стигта. Стр. 110.)
Библиография

В английском переводе

  • Жан ван Хейенорт, 1967 г. 3-е издание 1976 г. с исправлениями, Справочник по математике Логика, 1879-1931 гг. Издательство Гарвардского университета, Кембридж, Массачусетс, ISBN 0-674-32449-8 pbk. К оригинальным статьям прилагаются ценные комментарии.
    • 1923 г. Л. Э. Дж. Брауэр: «О значении принципа исключенного третьего в математике, особенно в теории функций». С двумя дополнениями и исправлениями, 334-45. Брауэр дает краткий обзор своей веры в то, что закон исключенного третьего не может «применяться безоговорочно даже в математике бесконечных систем», и приводит два примера неудач, чтобы проиллюстрировать свое утверждение.
    • 1925. А. Н. Колмогоров : «О принципе исключенного среднего», с. 414–437. Колмогоров поддерживает большинство результатов Брауэра, но не согласен с некоторыми; он обсуждает ответвления интуиционизма в отношении «трансфинитных суждений», например трансфинитная индукция.
    • 1927. Л. Э. Дж. Брауэр: «Об областях определения функций». Интуиционистская трактовка континуума Брауэром с расширенным комментарием.
    • 1927. Дэвид Гильберт : «Основы математики», 464-80
    • 1927. Л. Э. Дж. Брауэр: «Интуиционистские размышления о формализме», 490-92. Брауэр перечисляет четыре темы, по которым интуиционизм и формализм могут «вступить в диалог». Три темы связаны с законом исключенного третьего.
    • 1927. Герман Вейль : «Комментарии ко второй лекции Гильберта об основах математики», 480-484. В 1920 году Вейль, лучший ученик Гильберта, встал на сторону Брауэра против Гильберта. Но в этом обращении Вейль, «защищая Брауэра от некоторых критических замечаний Гильберта... пытается выявить значимость подхода Гильберта к проблемам основ математики».
  • Эвальд, Уильям Б., изд., 1996. От Канта до Гильберта: Справочник по основам математики, 2 тома. Oxford Univ. Нажмите.
    • 1928 г. «Математика, естественные науки и язык», 1170-85.
    • 1928. «Структура континуума», 1186-96.
    • 1952. «Исторический фон, принципы и методы интуиционизма», 1197–1207 гг.
  • Брауэр, Л. Э. Дж., Собрание сочинений, т. I, Амстердам: Северная Голландия, 1975.
  • Брауэр, Л. Э. Дж., Собрание сочинений, т. II, Амстердам: Северная Голландия, 1976.
  • Брауэр, Л. Э. Дж., «Жизнь, искусство и мистицизм», Notre Dame Journal of Formal Logic, vol. 37 (1996), стр. 389–429. Перевод В. П. ван Стигта с введением переводчика, стр. 381–87. Дэвис цитирует эту работу, «небольшую книгу... пропитанную романтическим пессимизмом» (стр. 94).
    • W. П. ван Стигт, 1990, Интуиционизм Брауэра, Амстердам: Северная Голландия, 1990
См. Также
Ссылки
Дополнительная литература
  • Дирк ван Дален, Мистик, Геометр и Интуиционист: Жизнь Л. Д. Брауэра. Oxford Univ. Нажмите.
    • 1999. Том 1: Рассвет революции.
    • 2005. Том 2: Надежда и разочарование.
    • 2013. Л. Э. Дж. Брауэр: тополог, интуиционист, философ. Как математика коренится в жизни. Лондон: Springer (на основе предыдущей работы).
  • Мартин Дэвис, 2000. The Engines of Logic, WW Norton, London, ISBN 0-393-32229- 7 пбк. Ср. Глава пятая: «Гильберт приходит на помощь», в которой Дэвис обсуждает Брауэра и его отношения с Гильбертом и Вейлем с краткой биографической информацией Брауэра. Ссылки Дэвиса включают:
  • Стивен Клини, 1952 г. с исправлениями 1971 г., 10-е переиздание 1991 г., Введение в метаматематику, издательство North-Holland Publishing Company, Амстердам, Нидерланды, ISBN 0- 7204-2103-9. Ср. в частности, Глава III: Критика математического рассуждения, §13 «Интуиционизм» и §14 «Формализм».
  • Кетсиер, Теун, редактор, «Математика и божественное: историческое исследование», Амстердам: Elsevier Science and Technology, 2004, ISBN 0-444-50328-5.
Внешние ссылки
В Викицитатнике есть цитаты, относящиеся к: L. Э. Дж. Брауэр
Последняя правка сделана 2021-05-26 08:06:56
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте