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