(Nels) David Nelson , matemático y lógico estadounidense, nació el 2 de enero de 1918 en Cape Girardeau, Missouri . Al graduarse del Ph.D. programa en la Universidad de Wisconsin-Madison , Nelson se mudó a Washington, DC Nelson permaneció en Washington, DC como profesor de Matemáticas en la Universidad George Washington hasta su muerte el 22 de agosto de 2003.
David Nelson completó sus cursos de pregrado y posgrado en la Universidad de Wisconsin-Madison en 1939 y 1940, respectivamente. Nelson completó su doctorado. en Madison en 1946. Su disertación, titulada "Funciones recursivas y teoría intuicionista de números", sirvió como proyecto final de su doctorado. Su compañero matemático Stephen Cole Kleene se desempeñó como asesor doctoral de Nelson. Nelson, en consecuencia, fue el primer estudiante de doctorado de Kleene.
Según la Asociación de Lógica Simbólica :
La investigación de Nelson se centró en el área de la lógica intuicionista y su conexión con la teoría de funciones recursivas. Investigó la relación, en sistemas formales intuicionistas, entre una definición de verdad y la demostrabilidad de fórmulas que representan enunciados de la teoría de números. Kleene había introducido previamente la definición de verdad intuicionista y aritmetizó esta noción de verdad en su definición de realizabilidad de una fórmula por un número. Como consecuencia, demostraron que ciertas fórmulas clásicamente verdaderas no son verificables en el cálculo de predicados intuicionista con fuerte negación.[3]
Nelson enseñó en Amherst College de 1942 a 1946 como profesor asistente. Al finalizar sus estudios de doctorado, Nelson aceptó un puesto de profesor asistente en el Departamento de Matemáticas de la Universidad George Washington en Washington, DC, en 1946. Nelson fue ascendido oficialmente al puesto de profesor en 1958.
Después de una década de servicio a la universidad, Nelson recibió la presidencia del Departamento de Matemáticas, cargo que ocupó de 1956 a 1967.[4]
Este artículo abordó las cuestiones de la lógica constructiva en relación con la verdad intuicionista.
David Nelson supervisó el trabajo de tesis del estudiante de la Universidad George Washington, John Kent Minichiello, autor de "Matemáticas intuicionistas sin negatividad" en 1967. [1] [2] Minichiello recibió el Premio Ruggles de Matemáticas en 1963 por su excelencia en matemáticas bajo la dirección de Nelson .