دبليو. هيو وودين

ويليام هيو وودين (مواليد 23 أبريل 1955) عالم رياضيات أمريكي في جامعة هارفارد ، متخصص في نظرية المجموعات . قدم إسهامات بارزة في نظرية النماذج الداخلية والحتمية . يحمل نوع من الأعداد الكبيرة ، وهي أعداد وودين ، اسمه. في عام 2023، انتُخب عضوًا في الأكاديمية الوطنية للعلوم . ^{[ 1 ]}

وُلد ويليام هيو وودين في 23 أبريل 1955 في مدينة توسان بولاية أريزونا ، لأبويه آن (ني سنو) وويليام وودين الثالث، وهو حفيد وزير الخزانة الأمريكي ويليام هارتمان وودين . وكان والد هيو المدير التنفيذي لمتحف صحراء أريزونا-سونورا. ^{[ 2 ]}

حصل وودين على درجة البكالوريوس من معهد كاليفورنيا للتكنولوجيا عام 1977، ثم حصل على درجة الدكتوراه من جامعة كاليفورنيا، بيركلي، عام 1984 تحت إشراف روبرت م. سولوفاي . وكان عنوان أطروحته " التشاكلات غير المتصلة لـ C(Ω) ونظرية المجموعات" . ^{[ 3 ]}

في عام 1985، انضم وودين إلى هيئة التدريس في معهد كاليفورنيا للتكنولوجيا كأستاذ متفرغ ^{[ 4 ]} وبقي هناك حتى عام 1988 ^{[ 5 ]} عندما انتقل إلى جامعة كاليفورنيا في بيركلي. ^{[ 6 ]}

شغل منصب رئيس قسم الرياضيات في جامعة بيركلي خلال العام الدراسي 2002-2003. وودين هو محرر إداري في مجلة المنطق الرياضي . في عام 2015، تقاعد وودين من بيركلي ^{[ 7 ]} وانتقل إلى جامعة هارفارد.

تم انتخابه زميلاً في الأكاديمية الأمريكية للفنون والعلوم في عام 2000. ^{[ 8 ]}

هو حفيد ويليام هارتمان وودين ، وزير الخزانة السابق .

انصبّت أعمال وودين الرياضية الأولى على الربط بين نظرية المجموعات ونظرية جبر باناخ . وفي ثمانينيات القرن العشرين، قدّم إسهاماتٍ كبيرة في دراسة بديهية الحتمية (AD) من خلال نظرية النموذج الداخلي ، وبلغت ذروتها في تحديد قوة الاتساق الدقيقة لبديهية الحتمية بالنسبة إلى التسلسل الهرمي القياسي للأعداد الكبيرة . ^{[ 9 ]}

أجرى وودين أبحاثًا حول نظرية الأكوان المتعددة العامة ومفهوم منطق أوميغا المرتبط بها ، والذي طرح حجة مفادها أن فرضية الاستمرارية إما غير قابلة للحسم أو خاطئة بالمعنى الأفلاطوني الرياضي . ينتقد وودين هذا الرأي، مجادلًا بأنه يؤدي إلى اختزال غير بديهي، حيث يمكن تحديد جميع الحقائق في عالم نظرية المجموعات من جزء صغير منه. ويزعم أن هذه النتائج الرياضية وما يتصل بها تقود (بديهيًا) إلى استنتاج مفاده أن لفرضية الاستمرارية قيمة صدق ، وأن المنهج الأفلاطوني معقول.

يتوقع وودين الآن أنه ينبغي أن تكون هناك طريقة لبناء نموذج داخلي لجميع الأعداد الكبيرة المعروفة تقريبًا، والذي يسميه "العدد الكبير المطلق" (Ultimate L)، والذي سيكون له خصائص مشابهة لخصائص كون غودل القابل للبناء . وعلى وجه الخصوص، ستكون فرضية الاستمرارية صحيحة في هذا الكون. ^{[ 10 ]}

في عام ٢٠٠٨، ألقى وودين محاضرة غودل بعنوان " فرضية الاستمرارية، والتخمين، ومسألة النموذج الداخلي لعدد أساسي فائق التراص". وفي عام ٢٠١٠، كان متحدثًا رئيسيًا في المؤتمر الدولي للرياضيات في حيدر آباد . ^{[ ١١ ]} وفي عام ٢٠١٨، كان محاضر تارسكي .

• AD+

• دبليو هيو وودين في مشروع علم الأنساب الرياضي
• صفحة وودين في جامعة كاليفورنيا في بيركلي
• صفحة وودين في جامعة هارفارد
• وودين، دبليو. هيو (2010). بديهية الحتمية، وبديهيات الإكراه، والمثال غير المستقر . والتر دي جرويتر. ISBN 978-3-11-019702-0OCLC 605013810. مؤرشف من الأصل بتاريخ 27-09-2011 . تم الاطلاع عليه بتاريخ 06-03-2011 . 
• الصفحة الرئيسية في جامعة كاليفورنيا، بيركلي
• محاضرة وودين الرئيسية في المؤتمر الدولي للرياضيات لعام 2010
• النظريات الكاملة غير المتوافقة Ω (مع بيتر كويلنر )، مجلة المنطق الرمزي ، المجلد 74، العدد 4 (2009)، 1155-1170..