Нельс Дэвид Нельсон - Nels David Nelson

(Нельс) Дэвид Нельсон , американский математик и логик, родился 2 января 1918 года на мысе Жирардо, штат Миссури. По окончании Ph.D. Программа в Университете Висконсина - Мэдисон, Нельсон переехал в Вашингтон, округ Колумбия. Нельсон оставался в Вашингтоне, округ Колумбия, профессором математики в Университете Джорджа Вашингтона до своей смерти 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]

Ноты

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