31:
266:. Woodin criticizes this view arguing that it leads to a counterintuitive reduction in which all truths in the set theoretical universe can be decided from a small part of it. He claims that these and related mathematical results lead (intuitively) to the conclusion that the continuum hypothesis has a
273:
Woodin now predicts that there should be a way of constructing an inner model for almost all known large cardinals, which he calls the
Ultimate L and which would have similar properties as
533:
513:
498:
518:
508:
503:
483:
478:
243:
368:
416:
232:
116:
112:
528:
439:
399:
227:
328:
225:
of the
Berkeley mathematics department for the 2002–2003 academic year. Woodin is a managing editor of the
190:
473:
406:
453:
291:
The
Continuum Hypothesis, the Conjecture, and the inner model problem of one supercompact cardinal.
342:
523:
493:
274:
263:
239:
444:
488:
259:
8:
170:
142:
120:
422:
412:
214:
132:
127:
286:
458:
296:
254:
He has done work on the theory of generic multiverses and the related concept of
186:
77:
57:
448:
182:
146:
467:
426:
395:
150:
440:
Woodin's plenary talk at the 2010 International
Congress of Mathematicians
277:. In particular, the continuum hypothesis would be true in this universe.
267:
178:
174:
102:
166:
81:
255:
85:
408:
The Axiom of
Determinacy, Forcing Axioms, and the Nonstationary Ideal
433:
222:
206:
202:
30:
210:
308:
213:
from the
University of California, Berkeley in 1984 under
173:. He has made many notable contributions to the theory of
534:
Members of the United States
National Academy of Sciences
360:
165:(born April 23, 1955) is an American mathematician and
514:
Harvard
University Department of Mathematics faculty
499:
Fellows of the
American Academy of Arts and Sciences
519:
Harvard
University Department of Philosophy faculty
219:Discontinuous Homomorphisms of C(Ω) and Set Theory
189:, bears his name. In 2023, he was elected to the
465:
369:"To Settle Infinity Dispute, a New Law of Logic"
262:is either undecidable or false in the sense of
270:and the Platonistic approach is reasonable.
509:University of California, Berkeley faculty
504:University of California, Berkeley alumni
366:
457:, Volume 74, Issue 4 (2009), 1155–1170.
348:. American Academy of Arts and Sciences
343:"Book of Members, 1780–2010: Chapter W"
258:, which suggested an argument that the
466:
404:
436:at University of California, Berkeley
233:American Academy of Arts and Sciences
484:21st-century American mathematicians
479:20th-century American mathematicians
335:
13:
117:California Institute of Technology
113:University of California, Berkeley
69:University of California, Berkeley
16:American mathematician (born 1955)
14:
545:
445:Incompatible Ω-Complete Theories
389:
367:Wolchover, Natalie (2013-11-26).
231:. He was elected a Fellow of the
29:
321:
275:Gödel's constructible universe
1:
400:Mathematics Genealogy Project
314:
228:Journal of Mathematical Logic
217:. His dissertation title was
238:He is the great-grandson of
196:
191:National Academy of Sciences
7:
302:
10:
550:
454:Journal of Symbolic Logic
285:In 2008, Woodin held the
280:
244:Secretary of the Treasury
156:
138:
126:
108:
98:
91:
73:
65:
40:
28:
21:
405:Woodin, W. Hugh (2010).
529:Hausdorff Medal winners
249:
264:mathematical platonism
240:William Hartman Woodin
411:. Walter de Gruyter.
295:In 2018, he was the
260:continuum hypothesis
209:, Woodin earned his
163:William Hugh Woodin
35:Hugh Woodin in 1994
474:American logicians
171:Harvard University
143:Joel David Hamkins
121:Harvard University
418:978-3-11-019702-0
215:Robert M. Solovay
160:
159:
139:Doctoral students
133:Robert M. Solovay
93:Scientific career
541:
430:
383:
382:
380:
379:
364:
358:
357:
355:
353:
347:
339:
333:
332:
325:
187:Woodin cardinals
128:Doctoral advisor
78:Woodin cardinals
54:
50:
48:
33:
19:
18:
549:
548:
544:
543:
542:
540:
539:
538:
464:
463:
419:
392:
387:
386:
377:
375:
373:Quanta Magazine
365:
361:
351:
349:
345:
341:
340:
336:
327:
326:
322:
317:
305:
297:Tarski lecturer
283:
252:
221:. He served as
199:
183:large cardinals
149:
145:
119:
115:
66:Alma mater
61:
58:Tucson, Arizona
55:
52:
46:
44:
36:
24:
17:
12:
11:
5:
547:
537:
536:
531:
526:
521:
516:
511:
506:
501:
496:
491:
486:
481:
476:
462:
461:
449:Peter Koellner
442:
437:
431:
417:
402:
396:W. Hugh Woodin
391:
390:External links
388:
385:
384:
359:
334:
319:
318:
316:
313:
312:
311:
304:
301:
282:
279:
251:
248:
198:
195:
158:
157:
154:
153:
147:Gregory Hjorth
140:
136:
135:
130:
124:
123:
110:
106:
105:
100:
96:
95:
89:
88:
75:
74:Known for
71:
70:
67:
63:
62:
56:
51:April 23, 1955
42:
38:
37:
34:
26:
25:
23:W. Hugh Woodin
22:
15:
9:
6:
4:
3:
2:
546:
535:
532:
530:
527:
525:
524:Set theorists
522:
520:
517:
515:
512:
510:
507:
505:
502:
500:
497:
495:
494:Living people
492:
490:
487:
485:
482:
480:
477:
475:
472:
471:
469:
459:
456:
455:
450:
446:
443:
441:
438:
435:
432:
428:
424:
420:
414:
410:
409:
403:
401:
397:
394:
393:
374:
370:
363:
344:
338:
330:
324:
320:
310:
307:
306:
300:
298:
293:
292:
288:
287:Gödel Lecture
278:
276:
271:
269:
265:
261:
257:
247:
245:
241:
236:
234:
230:
229:
224:
220:
216:
212:
208:
204:
194:
192:
188:
184:
180:
176:
172:
168:
164:
155:
152:
148:
144:
141:
137:
134:
131:
129:
125:
122:
118:
114:
111:
107:
104:
101:
97:
94:
90:
87:
83:
79:
76:
72:
68:
64:
59:
53:(age 69)
43:
39:
32:
27:
20:
452:
407:
376:. Retrieved
372:
362:
350:. Retrieved
337:
329:"News - NAS"
323:
294:
290:
284:
272:
253:
237:
226:
218:
200:
181:. A type of
175:inner models
167:set theorist
162:
161:
151:Joan Bagaria
109:Institutions
92:
489:1955 births
268:truth value
179:determinacy
103:Mathematics
468:Categories
378:2024-03-23
315:References
82:Ultimate L
47:1955-04-23
434:Home page
427:605013810
242:, former
235:in 2000.
197:Biography
303:See also
201:Born in
398:at the
352:June 3,
289:titled
256:Ω-logic
207:Arizona
86:Ω-logic
447:(with
425:
415:
281:Honors
203:Tucson
185:, the
99:Fields
60:, U.S.
346:(PDF)
223:chair
211:Ph.D.
451:),
423:OCLC
413:ISBN
354:2011
250:Work
177:and
41:Born
309:AD+
169:at
470::
421:.
371:.
299:.
246:.
205:,
193:.
84:,
80:,
49:)
460:.
429:.
381:.
356:.
331:.
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.