Nels David Nelson

(Nels) David Nelson, an American mathematician and logician, was born on January 2, 1918 in Cape Girardeau, Missouri. Upon graduation from the Ph.D. program at the University of Wisconsin- Madison, Nelson relocated to Washington, D.C. Nelson remained in Washington, D.C. as a Professor of Mathematics at The George Washington University until his death on August 22, 2003.

David Nelson completed his undergraduate and graduate coursework at the University of Wisconsin - Madison in 1939 and 1940, respectively.[1] Nelson completed his Ph.D. at the University of Wisconsin-Madison in 1946. His dissertation, entitled "Recursive Functions and Intuitionistic Number Theory," served as the capstone project for his doctorate. Fellow mathematician Stephen Cole Kleene served as Nelson's doctoral advisor. Nelson, consequently, was Kleene's first doctoral student.[2]

According to the Association for Symbolic Logic:

Nelson's research was in the area of intuitionistic logic and its connection with recursive function theory. He investigated the relationship, in intuitionistic formal systems, between a truth definition and the provability of formulas representing statements of number theory. Kleene had previously introduced the intuitionistic truth definition and arithmetized this truth notion in his definition of realizability of a formula by a number. As a consequence, they demonstrated that certain classically true formulas are unverifiable in the intuitionistic predicate calculus with strong negation.[3]

Nelson taught at Amherst College from 1942–1946 as an assistant professor. Upon completion of his doctoral studies, Nelson accepted an assistant professor position with the Department of Mathematics at The George Washington University in Washington, D.C., in 1946. Nelson was officially promoted to the position of professor in 1958.

After a decade of service to the university, Nelson received chairmanship of the Department of Mathematics, a position which he held from 1956 to 1967. [4]

The Journal of Symbolic Logic published Nelson's piece, "Constructible Falsity" in its fourteenth volume in 1949. This paper dealt with the issues of constructive logic in relation to intuitionistic truth. The Journal of Symbolic Logic also published a review of another Nelson piece, "Non-null Implication" in its thirty-third volume in 1968. [5]

...
Wikipedia