stringtranslate.com

Эдвард Нельсон

Эдвард Нельсон (4 мая 1932 г. — 10 сентября 2014 г.) — американский математик. Он был профессором математического факультета Принстонского университета . Он был известен своими работами по математической физике и математической логике . В математической логике он был особенно отмечен своей теорией внутренних множеств , а также взглядами на ультрафинитизм и непротиворечивость арифметики . В философии математики он отстаивал точку зрения формализма, а не платонизма или интуиционизма . Он также писал о связи религии и математики. [ 1 ] [2] [3]

Биография

Эдвард Нельсон родился в городе Декейтер, штат Джорджия , в 1932 году. Он провел свое раннее детство в Риме , где его отец работал в итальянской YMCA. С началом Второй мировой войны Нельсон переехал с матерью в Нью-Йорк , где он учился в средней школе Bronx High School of Science . Его отец, который свободно говорил по-русски , остался в Санкт-Петербурге в связи с проблемами, связанными с военнопленными . После войны его семья вернулась в Италию, и он поступил в Liceo Scientifico Giovanni Verga в Риме. [4]

Он получил степень доктора философии в 1955 году в Чикагском университете , где работал с Ирвингом Сигалом . Он был членом Института перспективных исследований с 1956 по 1959 год. Он занимал должность в Принстонском университете с 1959 года, получил там звание профессора в 1964 году и вышел на пенсию в 2013 году.

В 2012 году он стал членом Американского математического общества . [5] Он умер в Принстоне, штат Нью-Джерси , 10 сентября 2014 года. [6]

Академическая работа

Стохастическая квантовая механика

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

Проблема четырех цветов

В 1950 году Нельсон сформулировал популярный вариант задачи о четырех цветах : каково хроматическое число, обозначаемое , плоскости? Более подробно, каково наименьшее число цветов, достаточное для раскраски точек евклидовой плоскости таким образом, чтобы никакие две точки одного цвета не находились на единичном расстоянии друг от друга? [7] Из простых рассуждений мы знаем, что 4 ≤  χ  ≤ 7. Задача была представлена ​​широкой математической аудитории Мартином Гарднером в его колонке «Математические игры» в октябре 1960 года . Задача о хроматических числах, также известная сейчас как задача Хадвигера–Нельсона , была любимой задачей Пола Эрдёша , который часто упоминал ее в своих лекциях по задачам. В 2018 году Обри де Грей показал, что χ  ≥ 5. [8]

Основы математики

В более поздней части своей карьеры он работал над математической логикой и основаниями математики. Одной из его целей было расширить IST ( теорию внутренних множеств — версию части нестандартного анализа Абрахама Робинсона ) естественным образом, который включает внешние функции и множества, таким образом, который обеспечивает внешнюю функцию указанными свойствами, если только нет финитного препятствия для ее существования. Другая работа была сосредоточена на фрагментах арифметики, изучая разрыв между теми теориями, которые интерпретируются в арифметике Рафаэля Робинсона , и теми, которые не являются таковыми; вычислительная сложность , включая проблему того, равно ли P NP или нет ; и автоматическая проверка доказательств .

В сентябре 2011 года Нельсон объявил, что доказал, что арифметика Пеано логически противоречива. [9] В доказательстве Теренса Тао была обнаружена ошибка , и Нельсон отказался от своего заявления. [10]

Публикации

Избранные статьи

Книги

Смотрите также

Ссылки

Примечания

  1. ^ Эдвард Нельсон (2000). «Математика и вера» (PDF) . Представлено на юбилее для мужчин и женщин из мира обучения, состоявшемся в Ватикане 23–24 мая 2000 года . Получено 5 марта 2020 года .{{cite web}}: CS1 maint: местоположение ( ссылка )
  2. ^ Эдвард Нельсон (2009). "Completed Infinity and Religion" . Получено 5 марта 2020 г. .
  3. ^ Нельсон, Эдвард (17 октября 2009 г.). Математика и религия (речь). Центр Филоктета по междисциплинарному изучению воображения. 31 минута. Что касается религии, я христианин. Поклонение и молитва очень важны для меня.
  4. ^ Айзенман, Майкл; Кохен, Саймон; Либ, Эллиотт; Саймон, Барри; Ганнинг, Роберт (2014). «Эдвард Нельсон 1932-2014». Кафедра математики Принстонского университета . Попечители Принстонского университета . Получено 5 марта 2021 г.
  5. ^ АМС 2012.
  6. ^ Принстонский университет, 2014.
  7. ^ Сойфер 2009, стр. 23.
  8. ^ de Grey, Aubrey DNJ (2018), «Хроматическое число плоскости не менее 5», Geombinatorics , 28 : 5–18, arXiv : 1804.02385 , Bibcode : 2016arXiv160407134W.
  9. ^ Нельсон 2011.
  10. ^ Баез 2011.
  11. ^ Уилки 1990.

Источники

Внешние ссылки