Nels David Nelson - Nels David Nelson
(Nels) David Nelson , mathématicien et logicien américain, est né le 2 janvier 1918 à Cape Girardeau, Missouri. À la fin du doctorat programme à l'Université du Wisconsin-Madison, Nelson a déménagé à Washington, DC Nelson est resté à Washington, DC en tant que professeur de mathématiques à l'Université George Washington jusqu'à sa mort le 22 août 2003.
Éducation
David Nelson a terminé ses cours de premier cycle et de deuxième cycle à l'Université du Wisconsin - Madison en 1939 et 1940, respectivement. [1] Nelson a terminé son doctorat. à l'Université du Wisconsin-Madison en 1946. Sa thèse, intitulée "Fonctions récursives et théorie des nombres intuitionnistes", a servi de projet phare à son doctorat. Le mathématicien Stephen Cole Kleene a été le conseiller doctoral de Nelson. Nelson, par conséquent, fut le premier doctorant de Kleene. [2]
Selon l' Association for Symbolic Logic :
Les recherches de Nelson étaient dans le domaine de la logique intuitionniste et de son lien avec la théorie des fonctions récursives. Il a étudié la relation, dans les systèmes formels intuitionnistes, entre une définition de la vérité et la prouvabilité de formules représentant des énoncés de la théorie des nombres. Kleene avait précédemment introduit la définition de la vérité intuitionniste et arithmétisé cette notion de vérité dans sa définition de la réalisabilité d'une formule par un nombre. En conséquence, ils ont démontré que certaines formules classiquement vraies sont invérifiables dans le calcul intuitionniste des prédicats avec une forte négation. [3]
Carrière professionnelle
Nelson a enseigné au Amherst College de 1942 à 1946 en tant que professeur adjoint. À la fin de ses études doctorales, Nelson a accepté un poste de professeur adjoint au Département de mathématiques de l'Université George Washington à Washington, DC, en 1946. Nelson a été officiellement promu au poste de professeur en 1958.
Après une décennie de service à l'université, Nelson a reçu la présidence du département de mathématiques, poste qu'il a occupé de 1956 à 1967. [4]
Publications
Le Journal of Symbolic Logic a publié l'article de Nelson, "Constructible Falsity" dans son quatorzième volume en 1949. Cet article traitait des problèmes de la logique constructive en relation avec la vérité intuitionniste. Le Journal of Symbolic Logic a également publié une critique d'un autre article de Nelson, "Non-null Implication" dans son trente-troisième volume en 1968. [5]
Étudiants
David Nelson a supervisé le travail de thèse de l'étudiant de l'Université George Washington John Kent Minichiello, qui a écrit "Negationless Intuitionistic Mathematics" en 1967. [6] Minichiello a reçu le Prix Ruggles pour les mathématiques en 1963 pour l'excellence en mathématiques sous la direction de Nelson.
Associations et adhésions
• Membre du comité exécutif de l'Association for Symbolic Logic, 1949–1953. [7] • Consultant, Conseil national de recherches, 1960–1963. [8]