مقدمه و معرفی

پل ریچارد هالموس (2006-1916 Paul Richard Halmos) ریاضیدان بزرگ مجاری-آمریکایی بود که در مورد نظریه احتمال، آمار، نظریه عملگرها، فضاهای هیلبرت، منطق ریاضی و بسیاری دیگر از مباحث ریاضیات تالیفات متعددی داشته است. او در سوم مارس 1916 چشم به جهان گشود و در دوم اکتبر سال 2006 معادل با دوم مهرماه سال 1385 در لوس گاتوس کالیفرنیا (Los Gatos, California) چشم از جهان فرو بست.

دوران زندگی

هالموس در سوم مارس 1916 در مجارستان چشم به جهان گشود و در سن سیزده‌سالگی هنگام محاجرت مجاری‌ها به آمریکا وارد شد. او در سن 16 سالگی وارد دانشگاه ایلینویز شد و لیسانس خود را در این دانشگاه دریافت کرد و مدرک کارشناسی ارشد خود را در رشته فلسفه و ریاضیات کسب کرد. سپس برای کسب مدرک دکترا (Ph.D) در رشته فلسفه شروع به تحصیل کرد اما بعد از کمی مشکلات به ریاضیات گروید و در سال 1938 در سن 22 سالگی مدرک دکترای (Ph.D) خود را کسب نمود. ژزف دوپ (Joseph Doop) استاد راهنمای او برای پایان نامه دکترا، در مورد «ثابت‌های حرکت اتفاقی خاص:نظریه ریاضی سیستم‌های شرط بندی»، بود. مدتی بعد از آن، هالموس بدون هیچ شغل و کمک هزینه تحصیلی به موسسه مطالعات پیشرفته وارد شد. بعد از یک مدت شش ماهه، او برای مدت دو سال در موسسه مطالعات پیشرفته به عنوان دستیار جان فون نیومن (John von Neumann) کار می‌کرد.
هنگامی که او در موسسه بود اولین کتاب خود را به نام «فضاهای برداری با بعد متناهی» Finite Dimensional Vactor Spaces نوشت که به سرعت به عنوان یک کتاب ریاضی خوب شهرت یافت. هالموس در دانشگاه ساراکوز (University of Syracuse)، دانشگاه شیکاگو(University of Chicago) در سالهای 1946 تا 1960، دانشگاه میشیگان(University of Michigan)، دانشگاه کالیفورنیا در سانتا باربا (University of California at Santa Barbara) در حدود سال 1977، دانشگاه هاوایی (University of Hawaii) و دانشگاه ایندیانا (Indiana University) تدریس کرده است. از زمان بازنشستگی او از دانشگاه ایندیانا در سال 1985 تا هنگام فوتش، او به دپارتمان ریاضیات دانشگاه سانتا کلارا (Santa Clara University) پیوست.

هالموس سراسر زندگی خود را وقف آموزش ریاضیات و پیشرفت آن کرد و از مکاتبه و بحث با دیگران در این مورد لذت می‌برد. او به عنوان یک فرد موفق در بیان مفاهیم ریاضی شناخته شده است و لوح‌های تقدیر بسیاری را به همین علت دریافت کرده است. او همچنین یک معلم برجسته بود و جوایز زیادی را از انجمن ریاضی آمریکا (MAA) برای امر تدریس ریافت کرده است.
در یکی از مصاحبه‌ها از هالموس سوال شد: « ریاضیات برای شما چیست؟ » و ایشان جواب دادند:
« آن امنیت، اطمینان، حقیقت، زیبایی، زیرکی، نظم، معماری، است. من ریاضیات را به عنوان بخشی از دانش بشر می دانم که چیزی بزرگ و باشکوه است.»
چند سال قبل از او در مورد بهترین جنبه و حس یک ریاضیدان بودن سوال کردند. ایشان گفتند:
« من یک مرد مذهبی نیستم، اما وقتی در مورد ریاضیات فکر می کنید مانند این است که با خداوند در تماس باشید.»

کارها و افتخارات هالموس

در یک سری از مقالات که در کتاب منطق جبری او در سال 1962 به تازگی به چاپ رسید، هالموس جبرهای پلی‌آ‌دیک(Polyadic Algebras) را اختراع کرد، یک نسخه جبری از منطق مقدماتی که با جبرهای استوانه‌ای(cylindric algebras) معروف آلفرد تارسکی(Alfred Tarski) و دانشجویانش متفاوت بود. یک نسخه مقدماتی از جبر پلی‌آدیک، در جبر بولی تکین توضیح داده شده است.
علاوه بر کمک‌های اصلی او در ریاضیات،هالموس یک توضیح دهنده غیرعادی و جذاب برای ریاضیات دانشگاهی است. او درست در سن سیزده سالگی به آمریکا آمد و با این حال لحجه مجاری خود را حفظ کرده بود. او به کرسی استادی کمیته انجمن ریاضیات آمریکا نشست که کتاب راهنمایی با شیوه AMS برای ریاضیات آکادمیک نوشت که در سال 1973 منتشر شد. در سال 1983، او جایزه استیل AMS را برای توضیح و قدرت بیان خود کسب کرد.
در مقاله‌ای در دانشمند آمریکایی(American Scientist 56(4): 375-389)، هالموس در این باره بحث کرد که ریاضیات یک هنر خلاق است و بهتر است ریاضیدانان به عنوان هنرمند شمرده شوند، نه خرد کننده‌های اعداد!
او همچنین پیشنهاد تقسیم ریاضیات به دو رشته ریاضی شناسی و علوم ریاضی فیزیک را مطرح ساخت و بعلاوه در مورد اینکه ریاضیدانان و نقاش‌ها تا چه حد به طور شبیه به هم کار و فکر می‌کنند صحبت کرد.
هالموس در سال 1985 در کتاب من می‌خواهم یک ریاضیدان باشم که شرحی از خودش است، روشن ساخته است که چه چیزی علت علاقه او برای اینکه یک ریاضیدان آکادمیک قرن بیستم آمریکا باشد بوده است. او این کتاب را یک شرح زندگی نمی‌داند بلکه او را یک شرح کار ریاضی خود یا automathography می‌خواند چرا که او در این کتاب به زندگی خود به عنوان یک ریاضیدان می‌پردازد. در این سرگذشت، هالموس ادعا می‌کند که اولین کسی است که از نماد Q.E.D(نمادی که در انتهای برهان‌ قضیایا به شکل یک مربع سیاه توپر می‌آورند و به آن در انگلیسی آخر برهان end of proof یا سنگ قبر(tombstone) هم می‌گویند(Unicode U+220E).) استفاده کرده است و به همین دلیل به آن گاهی هالموس نیز می‌گویند.

کتاب‌های تألیف شده توسط هالموس

پروفسور هالموس یک مولف، ویراستار،معلم و سخنران مشهور بود. تقریبا تمامی کتابهای او امروزه نیز چاپ می‌شود. کتابهای فضا‌های برداری با بعد متناهی، نظریه طبیعی مجموعه‌ها، نظریه اندازه‌گیری، مسایلی ریاضیدانان پیر و جوان و می خواهم یک ریاضیدان باشم کتاب‌های کلاسیکی هستند که قدرت ایشان را در نویسندگی نشان می‌دهند. به عقیده نگارنده این مقاله که تا حدودی با تعدادی از کتابهای ایشان آشنا هستم یکی از نقاط قوت ایشان در نویسندگی قدرت بیان فوق‌العاده ایشان است به گونه‌ای که سخت‌ترین مفاهیم را با رعایت سادگی در کلام بیان می‌کنند.

او همچنین ذکاوت خاصی در مورد انتخاب عناوین جذاب برای مقالات خود داشت. "رایاضیات کاربردی، ریاضیات بد است"، "هیجان تجرید"، "ریاضیات آمریکا از سال 1940 تا دو روز قبل" چند مورد از عنوان مقالات ایشان است.
هالموس تالیفات بسیاری در زمینه‌های مختلف دارد که برخی از آنها عبارتند از:
فضاهای برداری با بعد متناهی.
تظریه اندازه گیری
آشنایی با فضاهای هیلبرت
نظریه طبیعی مجموعه‌ها
منطق جبری
مقاله‌ای در مورد جبرهای بولی
کتاب مسائل فضاهای هیلبرت
می‌خواهم یک ریاضیدان باشم
من حافظه تصویری دارم
کتاب مسایل جبر خطی