69:
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
85:
from 1942 to 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
70:
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.
52:
Nelson completed his Ph.D. at
Madison in 1946. His dissertation, entitled "Recursive Functions and Intuitionistic Number Theory," served as the capstone project for his doctorate. Fellow mathematician
173:
David Nelson oversaw the dissertation work of the George
Washington University student John Kent Minichiello, who authored "Negationless Intuitionistic Mathematics" in 1967. Minichiello received the
253:
332:
89:
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.
342:
307:
49:
David Nelson completed his undergraduate and graduate coursework at the
University of Wisconsin-Madison in 1939 and 1940, respectively.
261:
337:
327:
38:
34:
292:
37:, Nelson relocated to Washington, D.C. Nelson remained in Washington, D.C. as a Professor of Mathematics at
20:
322:
192:
187:
90:
139:
103:
30:
19:
This article is about the 20th century
American mathematician. For others named Nels Nelson, see
56:
served as Nelson's doctoral advisor. Nelson, consequently, was Kleene's first doctoral student.
317:
312:
129:
This paper dealt with the issues of constructive logic in relation to intuitionistic truth.
50:
8:
53:
156:
120:
241:
71:
57:
177:
for
Mathematics in 1963 for excellence in mathematics under the direction of Nelson.
270:
148:
112:
82:
274:
186:
Member, Executive
Committee of the Association for Symbolic Logic, 1949–1953.
301:
174:
288:
29:, an American mathematician and logician, was born on January 2, 1918, in
160:
124:
152:
116:
216:
204:
101:
Nelson, David (16 May 1949). "Constructible
Falsity".
240:
191:Consultant, National Research Council, 1960–1963.
137:— (December 1966). "Non-null Implication".
299:
33:. Upon graduation from the Ph.D. program at the
180:
251:
238:
222:
210:
243:Negationless Intuitionistic Mathematics
333:University of Wisconsin–Madison alumni
300:
136:
100:
76:
343:George Washington University faculty
308:People from Cape Girardeau, Missouri
254:"An extension of negationless logic"
41:until his death on August 22, 2003.
13:
262:Notre Dame Journal of Formal Logic
14:
354:
282:
39:The George Washington University
94:
35:University of Wisconsin-Madison
63:Association for Symbolic Logic
1:
293:Mathematics Genealogy Project
252:Minichiello, J. Kent (1969).
239:Minichiello, J. Kent (1967).
232:
181:Associations and memberships
44:
7:
168:
10:
359:
18:
140:Journal of Symbolic Logic
104:Journal of Symbolic Logic
275:10.1305/ndjfl/1093893719
197:
31:Cape Girardeau, Missouri
338:Amherst College faculty
328:American mathematicians
74:
16:American mathematician
67:
77:Professional career
54:Stephen Cole Kleene
27:(Nels) David Nelson
323:American logicians
289:Nels David Nelson
81:Nelson taught at
61:According to the
350:
278:
258:
248:
246:
226:
223:Minichiello 1969
220:
214:
211:Minichiello 1967
208:
164:
131:
358:
357:
353:
352:
351:
349:
348:
347:
298:
297:
285:
256:
235:
230:
229:
221:
217:
209:
205:
200:
183:
171:
153:10.2307/2269691
117:10.2307/2268973
97:
83:Amherst College
79:
47:
24:
17:
12:
11:
5:
356:
346:
345:
340:
335:
330:
325:
320:
315:
310:
296:
295:
284:
283:External links
281:
280:
279:
269:(3): 298–302.
249:
234:
231:
228:
227:
215:
202:
201:
199:
196:
195:
194:
189:
182:
179:
170:
167:
166:
165:
147:(4): 562–572.
133:
132:
96:
93:
78:
75:
46:
43:
15:
9:
6:
4:
3:
2:
355:
344:
341:
339:
336:
334:
331:
329:
326:
324:
321:
319:
316:
314:
311:
309:
306:
305:
303:
294:
290:
287:
286:
276:
272:
268:
264:
263:
255:
250:
245:
244:
237:
236:
224:
219:
212:
207:
203:
193:
190:
188:
185:
184:
178:
176:
175:Ruggles Prize
162:
158:
154:
150:
146:
142:
141:
135:
134:
130:
126:
122:
118:
114:
110:
106:
105:
99:
98:
92:
91:
87:
84:
73:
72:
66:
64:
59:
58:
55:
51:
42:
40:
36:
32:
28:
22:
266:
260:
242:
218:
206:
172:
144:
138:
128:
111:(1): 16–26.
108:
102:
95:Publications
88:
80:
68:
62:
60:
48:
26:
25:
318:2003 deaths
313:1918 births
21:Nels Nelson
302:Categories
233:References
247:(Thesis).
45:Education
169:Students
291:at the
161:2269691
125:2268973
159:
123:
86:1958.
257:(PDF)
198:Notes
157:JSTOR
121:JSTOR
271:doi
149:doi
113:doi
304::
267:10
265:.
259:.
155:.
145:31
143:.
127:.
119:.
109:14
107:.
65::
277:.
273::
225:.
213:.
163:.
151::
115::
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.