379:
392:
31:
385:
473:
468:
429:
463:
458:
493:
67:
422:
170:
107:
415:
363:
189:
453:
193:
478:
483:
448:
230:
226:
488:
132:
237:
301:
293:
222:
399:
319:
331:
285:
185:. Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher.
174:
114:
78:
378:
391:
257:
Paris, J.; Harrington, L. (1977), "A Mathematical
Incompleteness in Peano Arithmetic", in
147:
142:
119:
137:
233:
218:
442:
57:
336:
305:
201:
178:
258:
211:
197:
166:
97:
205:
182:
359:
30:
474:
University of
California, Berkeley College of Letters and Science faculty
297:
384:
289:
353:
320:"The undecidability of the recursively enumerable degrees"
403:
276:
125:
113:
103:
93:
73:
63:
53:
37:
21:
398:This article about an American mathematician is a
423:
8:
469:Massachusetts Institute of Technology alumni
430:
416:
29:
18:
335:
188:His notable results include proving the
249:
165:(born May 17, 1946) is a professor of
7:
464:21st-century American mathematicians
459:20th-century American mathematicians
374:
372:
318:Harrington, L.; Shelah, S. (1982),
265:, North-Holland, pp. 1133–1142
402:. You can help Knowledge (XXG) by
171:University of California, Berkeley
108:University of California, Berkeley
14:
390:
383:
377:
337:10.1090/S0273-0979-1982-14970-9
263:Handbook of Mathematical Logic
1:
364:Mathematics Genealogy Project
324:Bull. Amer. Math. Soc. (N.S.)
494:American mathematician stubs
510:
371:
278:Journal of Symbolic Logic
156:
86:
28:
190:Paris–Harrington theorem
231:recursively enumerable
196:, showing that if the
163:Leo Anthony Harrington
16:American mathematician
227:partially ordered set
198:axiom of determinacy
217:, and proving with
454:American logicians
223:first-order theory
411:
410:
160:
159:
133:MarĂa Luisa Bonet
126:Doctoral students
88:Scientific career
23:Leo A. Harrington
501:
432:
425:
418:
394:
389:
388:
387:
381:
373:
341:
340:
339:
315:
309:
308:
273:
267:
266:
254:
175:recursion theory
115:Doctoral advisor
82:
48:
46:
33:
19:
509:
508:
504:
503:
502:
500:
499:
498:
479:Model theorists
439:
438:
437:
436:
382:
376:
369:
350:
345:
344:
317:
316:
312:
290:10.2307/2273508
275:
274:
270:
256:
255:
251:
246:
210:exists for all
152:
148:Jessica Staddon
143:Ehud Hrushovski
120:Gerald E. Sacks
77:
64:Alma mater
44:
42:
24:
17:
12:
11:
5:
507:
505:
497:
496:
491:
486:
481:
476:
471:
466:
461:
456:
451:
441:
440:
435:
434:
427:
420:
412:
409:
408:
395:
367:
366:
360:Leo Harrington
357:
349:
348:External links
346:
343:
342:
310:
284:(4): 685–693,
268:
248:
247:
245:
242:
234:Turing degrees
219:Saharon Shelah
200:holds for all
173:who works in
158:
157:
154:
153:
151:
150:
145:
140:
135:
129:
127:
123:
122:
117:
111:
110:
105:
101:
100:
95:
91:
90:
84:
83:
75:
71:
70:
65:
61:
60:
55:
51:
50:
39:
35:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
506:
495:
492:
490:
487:
485:
484:Set theorists
482:
480:
477:
475:
472:
470:
467:
465:
462:
460:
457:
455:
452:
450:
449:Living people
447:
446:
444:
433:
428:
426:
421:
419:
414:
413:
407:
405:
401:
396:
393:
386:
380:
375:
370:
365:
361:
358:
355:
352:
351:
347:
338:
333:
329:
325:
321:
314:
311:
307:
303:
299:
295:
291:
287:
283:
279:
272:
269:
264:
260:
253:
250:
243:
241:
239:
235:
232:
228:
224:
220:
216:
213:
209:
208:
203:
202:analytic sets
199:
195:
191:
186:
184:
180:
176:
172:
168:
164:
155:
149:
146:
144:
141:
139:
136:
134:
131:
130:
128:
124:
121:
118:
116:
112:
109:
106:
102:
99:
96:
92:
89:
85:
80:
79:Gödel Lecture
76:
72:
69:
66:
62:
59:
58:United States
56:
52:
49:(age 78)
40:
36:
32:
27:
20:
404:expanding it
397:
368:
330:(1): 79–80,
327:
323:
313:
281:
277:
271:
262:
252:
214:
206:
187:
179:model theory
162:
161:
138:Concha GĂłmez
104:Institutions
87:
41:May 17, 1946
489:1946 births
259:Barwise, J.
238:undecidable
192:along with
167:mathematics
98:Mathematics
54:Citizenship
443:Categories
244:References
194:Jeff Paris
183:set theory
45:1946-05-17
354:Home page
221:that the
306:46061318
362:at the
298:2273508
261:(ed.),
225:of the
169:at the
43: (
304:
296:
181:, and
94:Fields
81:(1995)
74:Awards
302:S2CID
294:JSTOR
212:reals
204:then
400:stub
38:Born
332:doi
286:doi
236:is
229:of
68:MIT
445::
326:,
322:,
300:,
292:,
282:43
280:,
240:.
177:,
431:e
424:t
417:v
406:.
356:.
334::
328:6
288::
215:x
207:x
47:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.