481:
212:, where he remained until becoming emeritus in 1992. From 1970 to 1973 he was president of the mathematics faculty. In 1956/57 he was at the
511:
436:
315:
462:
17:
486:
491:
237:
291:
213:
496:
340:
253:
193:
177:
77:
65:
506:
501:
189:
157:
88:
265:
Mathematical Logic, Addison Wesley 1967, 2nd edition, Association for
Symbolic Logic, 2001
8:
119:
451:
394:
458:
432:
406:
217:
152:
100:
319:
249:
209:
129:
411:
475:
287:
221:
352:
428:
256:; the memorial tournament in North Carolina was founded in his memory.
225:
248:
Already in his student days, Schoenfield was a passionate and strong
268:
Degrees of unsolvability, North
Holland Mathematical Studies 1971
240:. He delivered the Gödel Lecture at the 1992 meeting of the ASL.
173:
46:
136:
228:. His textbook on mathematical logic has become a classic.
450:
473:
316:"Gödel Lectures, Association for Symbolic Logic"
395:"In Memoriam: Joseph R. Shoenfield 1927–2000"
445:
419:
377:
365:
236:From 1972 to 1976 he was president of the
410:
188:Shoenfield obtained his PhD in 1953 with
180:) was an American mathematical logician.
392:
302:
259:
14:
474:
252:player. He was an early member of the
482:20th-century American mathematicians
24:
27:American mathematician (1927–2000)
25:
523:
353:"Triangle Memorial Go Tournament"
271:Recursion theory, Springer 1993
89:Shoenfield absoluteness theorem
399:The Bulletin of Symbolic Logic
371:
359:
345:
334:
308:
296:
281:
238:Association for Symbolic Logic
13:
1:
512:University of Michigan alumni
386:
292:Mathematics Genealogy Project
214:Institute for Advanced Study
183:
7:
10:
528:
393:Jockusch, Carl G. (2001).
243:
208:From 1952, he lectured at
412:10.1017/S1079898600005746
231:
203:
163:
151:
142:Models of Formal Systems
135:
125:
115:
108:
95:
83:
73:
54:
41:
34:
275:
198:Models of formal systems
170:Joseph Robert Shoenfield
36:Joseph Robert Shoenfield
487:Duke University faculty
254:American Go Association
216:. Shoenfield worked on
492:Mathematical logicians
194:University of Michigan
178:Durham, North Carolina
78:University of Michigan
447:Shoenfield, Joseph R.
421:Shoenfield, Joseph R.
322:on September 23, 2015
260:Selected publications
176:– November 15, 2000,
288:Joseph R. Shoenfield
190:Raymond Louis Wilder
158:Raymond Louis Wilder
68:, North Carolina, US
497:American logicians
457:. A K Peters Ltd.
425:Mathematical Logic
120:Mathematical logic
438:978-1-56881-135-2
167:
166:
110:Scientific career
58:November 15, 2000
18:Joseph Shoenfield
16:(Redirected from
519:
468:
456:
453:Recursion Theory
442:
427:(2nd ed.).
416:
414:
381:
375:
369:
363:
357:
356:
349:
343:
338:
332:
331:
329:
327:
318:. Archived from
312:
306:
300:
294:
285:
218:recursion theory
153:Doctoral advisor
147:
104:
91:
61:
32:
31:
21:
527:
526:
522:
521:
520:
518:
517:
516:
472:
471:
465:
439:
389:
384:
378:Shoenfield 2000
376:
372:
366:Shoenfield 2001
364:
360:
351:
350:
346:
339:
335:
325:
323:
314:
313:
309:
301:
297:
286:
282:
278:
262:
250:contract bridge
246:
234:
210:Duke University
206:
186:
145:
130:Duke University
99:
87:
74:Alma mater
69:
63:
59:
50:
37:
28:
23:
22:
15:
12:
11:
5:
525:
515:
514:
509:
504:
499:
494:
489:
484:
470:
469:
463:
443:
437:
417:
405:(3): 393–396.
388:
385:
383:
382:
370:
358:
344:
333:
307:
305:, p. 393.
295:
279:
277:
274:
273:
272:
269:
266:
261:
258:
245:
242:
233:
230:
224:and axiomatic
205:
202:
185:
182:
165:
164:
161:
160:
155:
149:
148:
139:
133:
132:
127:
123:
122:
117:
113:
112:
106:
105:
97:
93:
92:
85:
84:Known for
81:
80:
75:
71:
70:
64:
62:(aged 73)
56:
52:
51:
49:, Michigan, US
45:
43:
39:
38:
35:
26:
9:
6:
4:
3:
2:
524:
513:
510:
508:
505:
503:
500:
498:
495:
493:
490:
488:
485:
483:
480:
479:
477:
466:
464:1-56881-149-7
460:
455:
454:
448:
444:
440:
434:
430:
426:
422:
418:
413:
408:
404:
400:
396:
391:
390:
379:
374:
367:
362:
354:
348:
342:
337:
321:
317:
311:
304:
303:Jockusch 2001
299:
293:
289:
284:
280:
270:
267:
264:
263:
257:
255:
251:
241:
239:
229:
227:
223:
219:
215:
211:
201:
199:
195:
191:
181:
179:
175:
171:
162:
159:
156:
154:
150:
143:
140:
138:
134:
131:
128:
124:
121:
118:
114:
111:
107:
102:
101:Gödel Lecture
98:
94:
90:
86:
82:
79:
76:
72:
67:
57:
53:
48:
44:
40:
33:
30:
19:
452:
446:
424:
420:
402:
398:
373:
361:
347:
336:
326:December 26,
324:. Retrieved
320:the original
310:
298:
283:
247:
235:
222:model theory
207:
197:
187:
169:
168:
141:
126:Institutions
109:
60:(2000-11-15)
29:
507:2000 deaths
502:1927 births
476:Categories
429:A K Peters
387:References
341:Number 694
226:set theory
423:(2001) .
184:Education
449:(2000).
290:at the
244:Hobbies
192:at the
174:Detroit
172:(1927,
47:Detroit
461:
435:
232:Honors
204:Career
146:(1953)
144:
137:Thesis
116:Fields
103:(1992)
96:Awards
66:Durham
276:Notes
459:ISBN
433:ISBN
328:2015
55:Died
42:Born
407:doi
200:).
478::
431:.
401:.
397:.
220:,
467:.
441:.
415:.
409::
403:7
380:.
368:.
355:.
330:.
196:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.