Нельс Дэвид Нельсон
(Нельс) Дэвид Нельсон , американский математик и логик, родился 2 января 1918 года в Кейп-Жирардо, штат Миссури . По окончании докторантуры. Университете Джорджа Нельсон оставался в Вашингтоне в качестве профессора математики в Вашингтона до своей смерти 22 августа 2003 года.
Образование [ править ]
Дэвид Нельсон закончил бакалавриат и аспирантуру Университета Висконсин-Мэдисон в 1939 и 1940 годах соответственно. [1] Нельсон защитил докторскую диссертацию. в Мэдисоне в 1946 году. Его диссертация под названием «Рекурсивные функции и интуиционистская теория чисел» послужила краеугольным камнем его докторской диссертации. Коллега-математик Стивен Коул Клини был научным руководителем Нельсона. Таким образом, Нельсон был первым докторантом Клини. [2]
По данным Ассоциации символической логики :
Исследования Нельсона были в области интуиционистской логики и ее связи с теорией рекурсивных функций. В интуиционистских формальных системах он исследовал взаимосвязь между определением истинности и доказуемостью формул, представляющих утверждения теории чисел. Клини ранее ввел интуиционистское определение истины и арифметизировал это понятие истины в своем определении реализуемости формулы числом. Как следствие, они продемонстрировали, что некоторые классически истинные формулы не поддаются проверке в интуиционистском исчислении предикатов со строгим отрицанием. [3]
Профессиональная карьера [ править ]
Нельсон преподавал в Амхерст-колледже с 1942 по 1946 год в качестве доцента. По завершении докторской диссертации Нельсон в 1946 году принял должность доцента кафедры математики Университета Джорджа Вашингтона в Вашингтоне, округ Колумбия. В 1958 году Нельсон был официально назначен профессором.
После десяти лет службы в университете Нельсон стал председателем кафедры математики и занимал эту должность с 1956 по 1967 год. [4]
Публикации [ править ]
- Нельсон, Дэвид (16 мая 1949 г.). «Конструктивная ложь». Журнал символической логики . 14 (1): 16–26. дои : 10.2307/2268973 . JSTOR 2268973 .
В этой статье были рассмотрены вопросы конструктивной логики по отношению к интуиционистской истине.
- - (декабрь 1966 г.). «Ненулевое значение». Журнал символической логики . 31 (4): 562–572. дои : 10.2307/2269691 . JSTOR 2269691 .
Студенты [ править ]
Дэвид Нельсон руководил диссертационной работой студента Университета Джорджа Вашингтона Джона Кента Миникиелло, автора «Интуиционистской математики без отрицания» в 1967 году. [1] [2] Миникиелло получил премию Рагглса по математике в 1963 году за выдающиеся достижения в области математики под руководством Нельсона.
Ассоциации и членство [ править ]
- Член исполнительного комитета Ассоциации символической логики, 1949–1953. [5]
- Консультант Национального исследовательского совета, 1960–1963 годы. [6]
Примечания [ править ]
Ссылки [ править ]
- Миникиелло, Дж. Кент (1967). Безотрицательная интуиционистская математика (Диссертация).
- Миникиелло, Дж. Кент (1969). «Расширение безотрицательной логики» (PDF) . Журнал формальной логики Нотр-Дама . 10 (3): 298–302. дои : 10.1305/ndjfl/1093893719 .
