هاو وانغ (أكاديمي)

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

هاو وانغ ( بالصينية :王浩؛ بينيين : Wáng Hào ؛ 20 مايو 1921 - 13 مايو 1995) كان منطقيًا وفيلسوفًا ورياضيًا صينيًا أمريكيًا ومعلقًا على كورت غودل . 

سيرة

وُلد وانغ في جينان ، شاندونغ، في جمهورية الصين (جمهورية الصين الشعبية حاليًا)، وتلقى تعليمه الأولي في الصين. حصل على بكالوريوس في الرياضيات من جامعة جنوب غرب الصين الوطنية عام ١٩٤٣، وماجستير في الفلسفة من جامعة تسينغهوا عام ١٩٤٥، حيث كان من بين أساتذته فنغ يولان وجين يويلين . بعد ذلك، انتقل إلى الولايات المتحدة لمتابعة دراساته العليا. درس المنطق على يد دبليو في أو كواين في جامعة هارفارد ، وحصل على درجة الدكتوراه عام ١٩٤٨. عُيّن أستاذًا مساعدًا في جامعة هارفارد في العام نفسه.

خلال أوائل الخمسينيات، درس وانغ على يد بول بيرنايز في زيورخ . وفي عام ١٩٥٦، عُيّن محاضرًا في فلسفة الرياضيات بجامعة أكسفورد . وفي عام ١٩٥٩، كتب وانغ برنامجًا على حاسوب IBM 704، أثبت فيه آليًا في غضون تسع دقائق فقط مئات من نظريات المنطق الرياضي الواردة في كتاب " مبادئ الرياضيات" لوايتهيد وراسل . [ ١ ] وفي عام ١٩٦١، عُيّن أستاذًا لغوردون مكاي في المنطق الرياضي والرياضيات التطبيقية بجامعة هارفارد. [ ٢ ] ومن عام ١٩٦٧ حتى عام ١٩٩١، ترأس مجموعة أبحاث المنطق في جامعة روكفلر بمدينة نيويورك، حيث كان أستاذًا للمنطق. وفي عام ١٩٧٢، انضم وانغ إلى مجموعة من العلماء الأمريكيين الصينيين بقيادة تشي كونغ جين، كأول وفد من نوعه من الولايات المتحدة إلى جمهورية الصين الشعبية.

في خمسينيات القرن العشرين، استخدم هاو في أعماله الماركسية والفلسفة التحليلية الغربية لنقد النظرة السائدة آنذاك للعمليات المعرفية باعتبارها حسابات آلية. [ 3 ] : 13 وجادل هاو بدلاً من ذلك بأن العقل البشري لا يتأثر بقواعد عالمية، بل هو شخصي ويتأثر بالظروف التاريخية والمادية. [ 3 ] : 13

كانت إحدى أهم إسهامات وانغ هي " بلاطة وانغ" . [ 4 ] فقد أثبت أن أي آلة تورينغ يمكن تحويلها إلى مجموعة من بلاطات وانغ. وتتمثل مشكلة الدومينو في إيجاد خوارزمية تستخدم مجموعة من بلاطات وانغ لتبليط المستوى. أول مثال موثق للتبليط غير الدوري هو مجموعة بلاطات وانغ، التي كان وانغ قد افترض عدم وجودها، واكتشفها تلميذه روبرت بيرغر عام 1966. كما كان لوانغ تأثير كبير على نظرية التعقيد الحسابي. [ 5 ]

كان وانغ فيلسوفًا بارزًا، [ 6 ] كما طوّر تفسيرًا عميقًا لفلسفة لودفيغ فيتغنشتاين المتأخرة في الرياضيات، والتي أطلق عليها اسم "الأنثروبولوجيا". لاحقًا، وسّع نطاق هذا التفسير ليشمل أسس الرياضيات. وقد وثّق أفكار كورت غودل الفلسفية، وألّف العديد من الكتب في هذا المجال، [ 7 ] مما أتاح للباحثين المعاصرين رؤى قيّمة تُلقي الضوء على فكر غودل الفلسفي المتأخر. ورأى وانغ في فلسفته الخاصة، "الواقعية الجوهرية"، أرضيةً وسطى تجمع بين الصياغات النظرية المجردة ولغة الخطاب اليومي الدارجة.

في عام 1983، حصل على جائزة مايلستون الأولى لإثبات النظريات الآلي ، برعاية المؤتمر الدولي المشترك حول الذكاء الاصطناعي . [ 8 ]

في 13 مايو 1995، توفي وانغ في مستشفى نيويورك قبل أسبوع من بلوغه الرابعة والسبعين من عمره. ووفقًا لزوجته هان تيرني، كان سبب وفاة وانغ هو سرطان الغدد الليمفاوية . [ 9 ] [ 10 ] بالإضافة إلى تيرني، ترك وانغ وراءه ابنة وابنين. [ 9 ]

الكتب

  • الأنظمة البديهية لنظرية المجموعات ، غوتييه فيلار؛ باريس، 1953. [وانغ 1953 أ، مع روبرت ماكنوتون]. [ 11 ] [ 12 ] [ 13 ]
  • مسح للمنطق الرياضي . بكين: دار النشر العلمية؛ أمستردام: نورث هولاند، 1962. [وانغ 1962أ].
  • من الرياضيات إلى الفلسفة . لندن: روتليدج وكيجان بول، 1974. [وانج 1974 أ].
  • محاضرات شعبية في المنطق الرياضي . نيويورك: فان نوستراند، 1981. [وانغ 1981أ]. رقم ISBN 0-486-67632-3طبعة دوفر المعاد طباعتها عام ٢٠١٤. رقم ISBN 9780486676326[ 14 ]
  • ما وراء الفلسفة التحليلية: إنصاف ما نعرفه . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا، 1985. [وانغ 1985أ]. رقم ISBN 0-262-23124-7.
  • تأملات في كورت جودل . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا، 1987. [وانغ 1987أ]. رقم ISBN 0-262-73087-1.
  • الحوسبة، والمنطق، والفلسفة: مجموعة مقالات . بكين: دار النشر العلمية؛ دوردريخت: كلوير أكاديميك، 1990. [وانغ 1990أ]. رقم ISBN 7-03000211-3.
  • رحلة منطقية: من غودل إلى الفلسفة . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا، 1996. [وانغ 1996أ]. رقم ISBN 0-262-23189-1[ 15 ]​

مراجع

  1. ↑ وانغ، هاو (1960)، "نحو الرياضيات الميكانيكية"، مجلة آي بي إم للبحوث والتطوير ، 4 (1): 2-22 ، doi : 10.1147/rd.41.0002[وانغ 1960أ].
  2. ↑ "سيرة ذاتية مختصرة | هاري ر. لويس" .
  3. 1 2 غرينسبان، آنا؛ كونيور، بوغنا (2025). "مقدمة: قوى عابرة ومكائد بارعة". في براتون، بنجامين؛ غرينسبان، آنا؛ أيرلندا، إيمي؛ كونيور، بوغنا (محررون). قرار الآلة ليس نهائيًا: الصين وتاريخ ومستقبل الذكاء الاصطناعي . أوربانوميك، مطبعة معهد ماساتشوستس للتكنولوجيا . ISBN 9781913029999.
  4. ↑ [وانغ 1960أ].
  5. ↑ خمسون عامًا من التعقيد الحسابي: هاو وانغ ونظرية الحوسبة، https://arxiv.org/abs/2206.05274
  6. ↑ [وانغ 1974 و 1985أ]
  7. ↑ [وانغ 1996أ، 1987أ، وفي 1974أ].
  8. ↑ لوفلاند، دونالد دبليو؛ بليدسو، دبليو دبليو (1984). إثبات النظريات الآلي: بعد 25 عامًا . بروفيدنس، رود آيلاند: الجمعية الرياضية الأمريكية. ص 47. ISBN  0-8218-5027-X.
  9. 1 2 "هاو وانغ، 73 عامًا، موسّع موضوعات المنطق" . صحيفة نيويورك تايمز . 17 مايو 1995. ISSN 0362-4331 . تاريخ الاسترجاع: 30 مارس 2024 . 
  10. ↑ بارسونز، تشارلز (مارس 1996). "في ذكرى: هاو وانغ، 1921-1995". نشرة المنطق الرمزي . 2 (1): 108-111 . doi : 10.1017/S1079898600007964 . JSTOR 421050 . 
  11. ^ هالموس ، بول ر. (1954). "مراجعة: الأنظمة البديهية لنظرية المجموعات بواسطة هاو وانغ وروبرت ماكنوتون" (PDF) . ثور. عامر. الرياضيات. شركة نفط الجنوب . 60 (1): 93-94 . دوى : 10.1090/s0002-9904-1954-09769-0 .
  12. ↑ أليندورفر، كارل ب. (1937). "تضمين فضاءات ريمان في الفضاءات الكبيرة". مجلة ديوك الرياضية . 3 (2). doi : 10.1215/S0012-7094-37-00324-7 .
  13. ^ بورجرز، ألفونس (1954). “العمل الذي تمت مراجعته: Les Systèmes Axiomatiques de la Théorie des Ensembles ، هاو وانغ، روبرت ماكنوتون، مع مقدمة كتبها P. Destouches-Fevrier”. مجلة المنطق الرمزي . 19 (1): 64. دوى : 10.2307/2267667 . جستور 2267667 . S2CID 123873097 .  
  14. ↑ ستينجر، ألين (30 نوفمبر 2015). "مراجعة لكتاب المحاضرات الشعبية في المنطق الرياضي لهاو وانغ" . مراجعات الجمعية الرياضية الأمريكية . مؤرشف من الأصل في 12 فبراير 2022. تم الاطلاع عليه في 12 فبراير 2022 .
  15. ↑ رودريغيز-كونسويغرا، فرانسيسكو. "الفلسفة في محادثات هاو وانغ مع غودل: مراجعة لكتاب هاو وانغ، رحلة منطقية. من غودل إلى الفلسفة." المنطق الحديث 8، العدد 3-4 (2001): 137-152.

قائمة مراجع مفصلة