Nels David Nelson - Nels David Nelson
(Nels) David Nelson , Amerikalı matematikçi ve mantıkçı, Cape Girardeau, Missouri 2 Ocak 1918 tarihinde doğdu. Doktora mezun olduktan sonra Wisconsin-Madison Üniversitesi'nde programı, Nelson DC Nelson 22 Ağustos 2003 tarihinde ölümüne kadar Washington, George Washington Üniversitesi Matematik Profesörü olarak DC kalmıştır, Washington'a taşındı.
içindekiler
Eğitim
Sırasıyla 1939 ve 1940 yılında Madison - David Nelson Wisconsin Üniversitesi'nde lisans ve yüksek kurs tamamlamış. [1] Nelson doktora derecesini 1946 His tezinde Wisconsin-Madison Üniversitesi'nde başlıklı at "Yinelemeli Fonksiyonlar ve Sezgisel Numarası Teorisi," doktora için capstone projesi olarak görev yaptı. Fellow matematikçi Stephen Cole Kleene Nelson'un doktora danışmanı olarak görev yaptı. Nelson, dolayısıyla Kleene'nin ilk doktora öğrencisi oldu. [2]
Göre Sembolik Mantık Derneği :
Nelson'ın araştırması intuitionistic mantık ve özyinelemeli fonksiyon teorisi ile bağlantı alanına oldu. O bir hakikat tanımı ve sayılar teorisi açıklamalarını temsil formüllerinin sağlamasının arasında, sezgisel biçimsel sistemlerde, ilişkiyi araştırmıştır. Kleene önceden intuitionistic gerçeği tanımını tanıtıldı ve bir sayı ile bir formülün Gerçek hayatın onun tanımında bu gerçeği kavramını arithmetized almıştı. Bunun bir sonucu olarak, belli klasik doğru formüller güçlü değilleyerek sezgisel yüklem hesabı olarak kanıtlanması mümkün olduğunu göstermiştir. [3]
Profesyonel kariyer
Nelson yardımcı doçent olarak 1942-1946 den Amherst Koleji'nde öğretmenlik yaptı. Doktora çalışmalarının tamamlanmasının ardından, Nelson resmen 1958 yılında profesör pozisyonuna terfi etti 1946'da Washington DC'de George Washington Üniversitesi Matematik Bölümü ile doçent konumunu, kabul etti.
Üniversiteye hizmet on yıl sonra, Nelson Matematik Bölümü, o 1967 1956 arasında düzenlenen bir pozisyon başkanlığını aldı [4]
Yayınlar
Sembolik Mantık Dergisi 1949 yılında intuitionistic gerçeği ile ilgili olarak yapıcı mantık konularında ele Bu kağıt onun on dördüncü hacminde Nelson'un parça, "constructible sahtekarlık" yayınladı. Sembolik Mantık Dergisi de 1968'de onun otuz üçüncü hacimde başka Nelson parçasının bir inceleme, "Sigara boş Implication" yayınlandı [5]
Öğrenciler
David Nelson 1967 yılında "Negationless Intuitionistic Matematik" kaleme George Washington University öğrencisi John Kent Minichiello, tez çalışmalarını denetledi [6] Minichiello alınan Ruggles Ödülü Nelson yönetiminde matematik mükemmellik 1963 yılında Matematik için.
Dernekler ve Üyelikler
• Üye, Sembolik Mantık Derneği, 1949-1953 Yürütme Komitesi. [7] • Danışman, Ulusal Araştırma Konseyi, 1960-1963. [8]