Оглавление
Нельс Дэвид Нельсон
-
Биография и образование
- Дэвид Нельсон родился 2 января 1918 года в Кейп-Джирардо, штат Миссури.
- Получил степень бакалавра и магистра в Университете Висконсин-Мэдисон в 1939 и 1940 годах соответственно.
- Защитил докторскую диссертацию в 1946 году под руководством Стивена Коула Клини.
-
Профессиональная карьера
- Преподавал в колледже Амхерст с 1942 по 1946 год.
- В 1946 году стал ассистентом профессора в Университете Джорджа Вашингтона.
- В 1958 году получил должность профессора.
- С 1956 по 1967 год был заведующим кафедрой математики.
-
Исследования и публикации
- Исследовал интуиционистскую логику и её связь с теорией рекурсивных функций.
- Ввел интуиционистское определение истинности и арифметизировал его.
- Опубликовал множество статей и книг, включая “Интуиционистская математика без отрицаний” Джона Кента Миничелло.
-
Ассоциации и членство
- Член Исполнительного комитета Ассоциации символической логики с 1949 по 1953 год.
- Консультант Национального исследовательского совета с 1960 по 1963 год.
-
Студенты и наследие
- Руководил диссертацией Джона Кента Миничелло, который получил премию Рагглза по математике.
- Внес значительный вклад в развитие интуиционистской логики и теории рекурсивных функций.