(Нельс) Дэвид Нельсон , американский математик и логик, родился 2 января 1918 года на мысе Жирардо, штат Миссури. По окончании докторантуры. Программа в Университете Висконсина - Мэдисон, Нельсон переехал в Вашингтон, округ Колумбия. Нельсон оставался в Вашингтоне, округ Колумбия, профессором математики в Университете Джорджа Вашингтона до своей смерти 22 августа 2003 года.
Образование [ править ]
Дэвид Нельсон закончил бакалавриат и аспирантуру Висконсинского университета в Мэдисоне в 1939 и 1940 годах соответственно. [1] Нельсон защитил докторскую диссертацию. в Университете Висконсин-Мэдисон в 1946 году. Его диссертация, озаглавленная «Рекурсивные функции и интуиционистская теория чисел», стала краеугольным камнем его докторской степени. Его коллега-математик Стивен Коул Клини был научным руководителем Нельсона. Следовательно, Нельсон был первым докторантом Клини. [2]
По данным Ассоциации символической логики :
Исследования Нельсона были в области интуиционистской логики и ее связи с теорией рекурсивных функций. Он исследовал взаимосвязь в интуиционистских формальных системах между определением истинности и доказуемостью формул, представляющих утверждения теории чисел. Клини ранее ввел интуиционистское определение истины и арифметизировал это понятие истины в своем определении реализуемости формулы числом. Как следствие, они продемонстрировали, что некоторые классически истинные формулы не поддаются проверке в интуиционистском исчислении предикатов с сильным отрицанием. [3]
Профессиональная карьера [ править ]
Нельсон преподавал в Амхерст-колледже с 1942 по 1946 год в качестве доцента. По завершении докторантуры Нельсон принял должность доцента кафедры математики Университета Джорджа Вашингтона в Вашингтоне, округ Колумбия, в 1946 году. Нельсон был официально повышен до должности профессора в 1958 году.
После десяти лет службы в университете Нельсон стал председателем факультета математики, которую он занимал с 1956 по 1967 год [4].
Публикации [ править ]
Журнал символической логики опубликовал статью Нельсона «Конструируемая ложь» в своем четырнадцатом томе в 1949 году. В этой статье рассматривались вопросы конструктивной логики по отношению к интуиционистской истине. Журнал символической логики также опубликовал в своем тридцать третьем томе в 1968 году обзор другой статьи Нельсона «Непустое следствие» [5].
Студенты [ править ]
Дэвид Нельсон руководил диссертационной работой студента Университета Джорджа Вашингтона Джона Кента Миникиелло, написавшего в 1967 году «Интуиционистскую математику без отрицания». [6] Миникиелло получил премию Рагглса по математике в 1963 году за выдающиеся достижения в математике под руководством Нельсона.
Ассоциации и членство [ править ]
• Член Исполнительного комитета Ассоциации символической логики, 1949–1953 гг. [7] • Консультант Национального исследовательского совета, 1960–1963 гг. [8]
Заметки [ править ]
Внешние ссылки [ править ]
- Нельс Дэвид Нельсон на проекте « Математическая генеалогия»
