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