Нельс Дэвид Нельсон - 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] Миникиелло получил Приз Ruggles по математике в 1963 году за выдающиеся достижения в области математики под руководством Нельсона.
Ассоциации и членство
• Член Исполнительного комитета Ассоциации символической логики, 1949–1953 гг. [7] • Консультант Национального исследовательского совета, 1960–1963 гг. [8]
