بول هالموس

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
بول هالموس
معلومات شخصية

بول ريتشارد هالموس ((بالمجرية: Halmos Pál)‏؛ 3 مارس 1916 - 2 أكتوبر 2006) كان عالم رياضيات وإحصائي أمريكي مجري المولد، حقق تقدمًا جوهريًا في مجالات المنطق الرياضي، ونظرية الاحتمالات، والإحصاء، ونظرية المؤثرات، ونظرية الإرجوديك، والتحليل الدالي (على وجه الخصوص، فضاءات هلبرت). عرف عنه أيضا موهبته في شرح المفاهيم الرياضية وعرضها بشكل يسهل فهمه. كما وصف أيضا بأنه أحد المريخيين.[1]

نشأته والتعليم

وُلد هالموس في المجر لعائلة يهودية، ووصل إلى الولايات المتحدة في سن 13 عامًا. حصل على درجة البكالوريوس من جامعة إلينوي متخصصا في الرياضيات، ولكنه أيضا استوفى متطلبات كل من درجة الرياضيات والفلسفة. استغرقه للحصول على الشهادة ثلاث سنوات فقط، وكان عمره لايزال 19 عامًا عند تخرجه. ثم بدأ دراسته الدكتوراه في الفلسفة وهو لا يزال في الحرم الجامعي لـ شامبين-أوربانا "Champaign–Urbana"؛ ولكن بعد رسوبه في الامتحانات الشفوية للماجستير [2] تحول إلى الرياضيات وتخرج عام 1938. أشرف جوزيف ل. دوب "Joseph L. Doob" على أطروحته المعنونة «لامتغيرات بعض التحولات العشوائية: النظرية الرياضية لنظم المقامرة».[3]

حياته المهنية

بعد فترة وجيزة من تخرجه التحق هالموس بـ معهد الدراسات المتقدمة، بدون وظيفة أو منحة مالية. وبعد ستة أشهر عمل تحت إشراف جون فون نيومان. أثناء وجوده في المعهد كتب هالموس كتابه الأول Finite Dimensional Vector Spaces (فضاءات المتجهات محدودة الأبعاد)، والذي رسخ على الفور سمعته كشارح جيد للرياضيات.[4]

من عام 1967 حتى عام 1968 كان محاضرً دونجال في الرياضيات "Donegall Lecturer in Mathematics" في كلية ترينيتي بدبلن.

دَرَّسَ هالموس في جامعة سيراكيوز، وشيكاغو (1946-60)، وميشيغان (1961-1967)، وهاواي (1967-1968)، وإنديانا (1969-1985)، وكاليفورنيا (1976–78). منذ تقاعده عام 1985 من جامعة إنديانا حتى وفاته، كان منتسبًا لقسم الرياضيات في جامعة سانتا كلارا (1985-1996).

إنجازاته

في سلسلة من الورقات البحثية أعاد نشرها عام 1962 في كتابه «المنطق الجبري»، ابتكر هالموس الجبر المتعدد "Polyadic algebra"، وهو نسخة جبرية لمنطق الرتبة الأولى تختلف عن الجبر الأسطواني "Cylindric algebra" لألفريد تارسكي وطلابه. يصف الجبر البولياني الأحادي "Monadic Boolean algebra" نسخة أولية من الجبر المتعدد.

بالإضافة إلى مساهماته الأصلية في الرياضيات، كان هالموس محاضراً جذابًا بشكل غير عادي للرياضيات الجامعية. حصل على جائزة لستر بي فورد "Lester R. Ford" عام 1971[5] ومرة أخرى عام 1977 (مشاركة مع WP Ziemer و WH Wheeler و SH Moolgavkar و JH Ewing و WH Gustafson).[6] ورأس هالموس لجنة الجمعية الرياضية الأمريكية التي كتبت دليل أسلوب AMS للرياضيات الأكاديمية المنشور عام 1973. وفي عام 1983 حصل على جائزة ليروي بي ستيل ""Leroy P. Steele في أسلوب الشرح والعرض.

في مجلة العلوم الأمريكية 56 (4): 375-389، كتب هالموس أن الرياضيات هي فن إبداعي، وأن علماء الرياضيات يجب أن يُنظر إليهم على أنهم فنانون وليسوا حاسبات أرقام. وفي المقالة ناقش تقسيم المجال إلى علم الرياضيات "mathology" ورياضيات الفيزياء "mathophysics"، كذلك كتب أن علماء الرياضيات والرسامين يفكرون ويعملون بطريقة متشابهة.

قصة حياته الشخصية الرياضية "automathography" التي كتبها هالموس عام 1985 تحت عنوان أريد أن أصبح عالم رياضيات، تصف شكل حياة عالم الرياضيات الأكاديمي في أمريكا القرن العشرين. أطلق على الكتاب اسم «أوتوماثوغرافيا» بدلاً من «سيرة ذاتية»، لأن تركيزه بالكامل كان تقريبًا منصبا على حياته كعالم رياضيات، وليس حياته الشخصية. يحتوي الكتاب على الاقتباسات التالية لما يعنيه الاشتغال بالرياضيات:

بول هالموس لا تقرأها وحسب؛ تشاجر معها! اسأل أسئلتك، وابحث عن أمثلتك، اكتشف براهينك. هل الفرضية ضرورية؟ هل العكس حقيقي؟ ماذا سيحدث في الحالات الخاصة الكلاسيكية؟ ماذا عن حالات التدهور؟ أين يوظف البرهان الفرضية؟ بول هالموس
ماذا يتطلبه لتصبح رياضياتيا؟ أظن أني أعرف الإجابة: عليك أن تُولَدَ بشكل صحيح، عليك أن تكافح لتصبح مثاليا، عليك أن تحب الرياضيات أكثر من أي شئ آخر، عليك أن تعمل عليها بكد وبدون توقف، وألا تستسلم قط.
— بول هالموس، 1985

في مذكراته يدعي هالموس أنه اخترع تدوين "iff" بمعنى «إذا وفقط إذا» وكان أول من استخدم رمز "شاهد القبر" للدلالة على نهاية الإثبات،[7] وهو مايبدو أنه عليه إجماع. يُطلق على رمز شاهد القبر ∎ (Unicode U + 220E) أحيانًا اسم هالموس.[8]

عام 2005 قام هالموس وزوجته فيرجينيا بتمويل جائزة أويلر للكتاب، وهي جائزة سنوية تمنحها جمعية الرياضيات الأمريكية لكتاب من المرجح أن يحسن وجهة نظر الجمهور عن الرياضيات. مُنحت الجائزة لأول مرة في عام 2007 في الذكرى الـ 300 لميلاد ليونارد أويلر لجون ديربيشاير عن كتابه عن ريمان ووفرضيته: هوس الأرقام الأولية.[9]

في عام 2009 أخرج جورج كايتشيري [English] فيلم وثائقي عن هالموس بعنوان أريد أن أصبح عالم رياضيات.[10]

مؤلفاته

ملاحظات

  1. ^ A marslakók legendája - جيورجي ماركس نسخة محفوظة 2021-02-24 على موقع واي باك مشين.
  2. ^ The Legend of John Von Neumann. P. R. Halmos. The American Mathematical Monthly, Vol. 80, No. 4. (Apr., 1973), pp. 382–394.
  3. ^ Halmos, Paul R. "Invariants of certain stochastic transformations: The mathematical theory of gambling systems." Duke Mathematical Journal 5, no. 2 (1939): 461–478. نسخة محفوظة 2020-08-29 على موقع واي باك مشين.
  4. ^ Albers، Donald J. (1982). "Paul Halmos: Maverick Mathologist". اتحاد الرياضيات الأمريكي. ج. 13 ع. 4: 226–242. DOI:10.2307/3027125. JSTOR:3027125.
  5. ^ Halmos, Paul R. (1970). "Finite-dimensional Hilbert spaces". Amer. Math. Monthly. ج. 77 ع. 5: 457–464. DOI:10.2307/2317378. JSTOR:2317378. مؤرشف من الأصل في 2021-01-15.
  6. ^ Ziemer, William P.؛ Wheeler, William H.؛ Moolgavkar؛ Halmos, Paul R.؛ Ewing, John H.؛ Gustafson, William H. (1976). "American mathematics from 1940 to the day before yesterday". Amer. Math. Monthly. ج. 83 ع. 7: 503–516. DOI:10.2307/2319347. JSTOR:2319347. مؤرشف من الأصل في 2021-01-15.
  7. ^ Halmos، Paul (1950). Measure Theory. New York: Van Nostrand. ص. vi. The symbol ∎ is used throughout the entire book in place of such phrases as "Q.E.D." or "This completes the proof of the theorem" to signal the end of a proof.
  8. ^ "The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.", Halmos (1985) p. 403.
  9. ^ The Mathematical Association of America's Euler Book Prize, retrieved 2011-02-01. نسخة محفوظة 2013-01-27 على موقع واي باك مشين.
  10. ^ I Want to Be a Mathematician on IMdB
  11. ^ Kac, Mark (1943). "Review: Finite-dimensional vector spaces, by P. R. Halmos" (PDF). Bull. Amer. Math. Soc. ج. 49 ع. 5: 349–350. DOI:10.1090/s0002-9904-1943-07899-8. مؤرشف من الأصل (PDF) في 2018-07-22.
  12. ^ Oxtoby, J. C. (1953). "Review: Measure theory, by P. R. Halmos" (PDF). Bull. Amer. Math. Soc. ج. 59 ع. 1: 89–91. DOI:10.1090/s0002-9904-1953-09662-8. مؤرشف من الأصل (PDF) في 2020-03-22.
  13. ^ Lorch, E. R. (1952). "Review: Introduction to Hilbert space and the theory of spectral multiplicity, by P. R. Halmos" (PDF). Bull. Amer. Math. Soc. ج. 58 ع. 3: 412–415. DOI:10.1090/s0002-9904-1952-09595-1. مؤرشف من الأصل (PDF) في 2018-07-27.
  14. ^ Dowker, Yael N. (1959). "Review: Lectures on ergodic theory, by P. R. Halmos" (PDF). Bull. Amer. Math. Soc. ج. 65 ع. 4: 253–254. DOI:10.1090/s0002-9904-1959-10331-1. مؤرشف من الأصل (PDF) في 2019-05-02.
  15. ^ Zaanen, Adriaan (1979). "Review: Bounded integral operators on L² spaces, by P. R. Halmos and V. S. Sunder" (PDF). Bull. Amer. Math. Soc. (N.S.). ج. 1 ع. 6: 953–960. DOI:10.1090/s0273-0979-1979-14699-8. مؤرشف من الأصل (PDF) في 2018-07-24.
  16. ^ Givant، Steven؛ Halmos، Paul (2 ديسمبر 2008). Introduction to Boolean Algebras. ISBN:978-0387402932.

مراجع

روابط خارجية

فضاء متجه ذا أبعاد محدودة