كان بول إسحاق برنايز عالم رياضيات سويسري شهير قدم مساهمات جديرة بالملاحظة في فلسفة الرياضيات وطور نظامًا جديدًا للمنطق الرياضي. في مقدمة أعماله كانت نظرية البرهان ونظرية البديهية. ولد في لندن ونشأ في باريس وبرلين. عندما كان طفلاً ، أظهر اهتمامًا كبيرًا بالموسيقى واللغات القديمة والرياضيات. في الكلية ، تخصص في الرياضيات كما درس الفلسفة والفيزياء النظرية كمواضيع إضافية. في سن ال 24 ، حصل على درجة الدكتوراه في الرياضيات من جامعة برلين. حصل أيضًا على تأهيله من جامعة زيورخ وأصبح Privatdozent هناك. وسرعان ما انضم إلى ديفيد هيلبرت كمساعد باحث في التحقيق في أسس الحساب. في النهاية ، حصل على Venia Legendi في جامعة جوتنجن لكنه خسر المنصب خلال الحرب العالمية الثانية بسبب أصوله اليهودية. انتقل أخيرًا إلى سويسرا حيث قام بالتدريس في Eidgen¨ossische Technische Hochschule ، Z¨urich. من الأفضل تذكره لعمله المشترك المكون من مجلدين "Grundlagen der Mathematik" (1934-1939) مع هيلبرت ، ونظرية المجموعة البديهية التي نُشرت في عام 1958.
الطفولة والحياة المبكرة
ولد بول بيرنايس في 17 أكتوبر 1888 في لندن. كان ابن يوليوس برنايس ، رجل الأعمال السويسري ، وسارة بريشر. كان لديه طفولة سعيدة نشأت مع أخ أصغر وثلاث أخوات أصغر منه.
من 1895 إلى 1907 ، درس في K¨ollnisches Gymnasium. أظهر اهتمامًا كبيرًا بالموسيقى وأصبح عازف بيانو موهوب للغاية. استكشف لاحقًا موهبته في تأليف الموسيقى أيضًا.
كما درس في Technische Hochschule Charlottenburg لمدة نصف عام تقريبًا. خلال حياته المدرسية ، استمتع أيضًا بدراسة اللغات القديمة والرياضيات.
بعد المدرسة ، التحق بجامعة برلين حيث درس لمدة أربعة فصول دراسية في المقام الأول في ظل Issai Schtur و Landau و Frobenius و Schottky في الرياضيات ؛ ريل وستومبف وكاسرير في الفلسفة وماكس بلانك في الفيزياء.
بعد ذلك ، درس في جوتنجن لمدة ستة فصول دراسية ، تخصص في الرياضيات ودراسة الفلسفة والفيزياء النظرية كمواضيع إضافية. حضر محاضرات في الرياضيات بشكل رئيسي من هيلبرت ولانداو وويل وكلين. على الفيزياء من قبل Voigt and Born ، وعلى الفلسفة بشكل رئيسي من قبل ليونارد نيلسون.
مسار مهني مسار وظيفي
في عام 1912 ، حصل بول برنايس على شهادة الدكتوراه. في الرياضيات من جامعة برلين. أطروحة دكتوراه في نظرية العدد التحليلي للأشكال التربيعية الثنائية تم الانتهاء منها تحت لانداو.
في وقت لاحق من ذلك العام ، حصل على تأهيله من جامعة زيورخ لأطروحة حول التحليل المعقد ونظرية بيكار ، أكملها الأستاذ زيرميلو.
كان بريفاتدوزنت في جامعة زوريخ من عام 1912 إلى عام 1917. وخلال هذه الفترة ، تعرّف على جورج بوليا وأينشتاين وهيرمان ويل.
في عام 1917 ، تمت دعوته من قبل هيلبرت لمساعدته في بحثه عن أسس الحساب. أعادته الوظيفة إلى جوتنجن وساعد هيلبرت في إعداد المحاضرات والملاحظات.
إلى جانب ذلك ، ألقى أيضًا محاضرات حول الرياضيات في جامعة جوتنجن ، حيث حصل على Venia Legendi في عام 1919.
من عام 1922 فصاعدًا ، أصبح أستاذًا استثنائيًا بدون ولاية في جوتنجن. كما حضر محاضرات ، من بين أمور أخرى ، Emmy Noether و van der Waerden و Herglotz ، مفضلين التعلم من خلال الاستماع بدلاً من القراءة.
في عام 1933 ، خسر منصب Venia Legendi في جامعة جوتنجن بسبب أصوله اليهودية. استأجره هيلبرت بشكل خاص كمساعده لمدة ستة أشهر. في وقت لاحق ، انتقلت الأسرة إلى سويسرا.
في عام 1934 ، وبعد ذلك عدة مرات ، كان يعمل في Eidgen¨ossische Technische Hochschule (ETH) ، Z¨urich في منصب تدريس مؤقت. في 1935-1936 ، ألقى محاضرات حول المنطق الرياضي ونظرية المجموعة البديهية في معهد الدراسات المتقدمة ، برينستون.
في عام 1939 ، حصل على Venia Legendi في ETH وفي عام 1945 ، أصبح أستاذًا استثنائيًا. ألقى محاضرات في مجالات الأعداد الجبرية ، نظرية المجموعات ، الدوال البيضاوية ، الإنشاءات الهندسية ، مفهوم العدد ، عناصر التحليل ، المنطق الرياضي ، مقدمة نظرية البرهان ، نظرية الشبكية ، دستور المتوالية
كما واصل حضور المحاضرات والندوات التي ألقاها الزملاء المثقفون والأصدقاء مثل ميشيل بلانتشر ، وبينو إيكمان ، وإدوارد ستيفيل وهاينز هوبف.
تعرّف على فرديناند غونسيث وأدرك وجود تشابه في وجهة النظر معه. ومن ثم ، شارك في العديد من مؤتمرات Gonseth وانضم إلى هيئة تحرير "Dialectica".
أصبح لاحقًا عضوًا في الجمعية الدولية لفلسفة العلوم ، التي أسسها Pere S. Dockx. أصبح رئيسها لمدة عامين. من عام 1956 حتى عام 1965 ، تمت دعوته ثلاث مرات كأستاذ زائر إلى جامعة بنسلفانيا ، فيلادلفيا.
أشغال كبرى
أسفرت شراكة بول بيرنايز مع هيلبرت عن عمل من مجلدين ، "Grundlagen der Mathematik" (1934-1939). حاول العمل بناء الرياضيات من المنطق الرمزي ، والدليل على ذلك معروف الآن باسم مفارقة هيلبرت - بيرنايز.
في سبع ورقات نشرت في مجلة المنطق الرمزي بين عامي 1937 و 1954 ، شرع في نظرية المجموعة البديهية التي وضع جون فون نيومان أسسها في العشرينيات. أصبحت نظرية بيرنايز ، مع بعض التعديلات التي قام بها كورت جودل لاحقًا ، تُعرف باسم نظرية مجموعة فون نيومان - بيرنايز جودل.
في عام 1956 ، قام بمراجعة "Grundlagen der Geometrie" لهيلبرت (1899) على أسس الهندسة. كان يعتقد أن البنية الكاملة للرياضيات يمكن دمجها ككيان منطقي واحد.
ساعد بحث Bernays في نظرية البرهان ونظرية المجموعة البديهية على إنتاج نظام جديد للمنطق الرياضي. تم تطوير نظريته البديهية للمجموعة من قبل كورت جودل والمعروفة حاليًا باسم نظرية مجموعة فون نيومان-بيرنايز-جودل.
الحياة الشخصية والإرث
كان بول برنايس من العقيدة اليهودية ومواطنًا من سويسرا. بقي غير متزوج طوال حياته وعاش في زيورخ مع والدته وشقيقتين غير متزوجتين.
بطبيعته ، كان ودودًا ومحبًا ، حيث ساعد العديد من المؤلفين في أوراقهم. لم يصدر حكمًا على الآخرين دائمًا وحاول دائمًا رؤية كل شيء بإيجابية.
حتى في الثمانينيات من عمره ، ظل نشطًا في البحث. توفي بسبب مرض في القلب في 18 سبتمبر 1977 ، عن عمر يناهز 88 عامًا ، في زيوريخ ، سويسرا.
حقائق سريعة
عيد الميلاد 17 أكتوبر 1888
الجنسية سويسري
مات في سن: 88
اشاره الشمس: الميزان
مواليد: لندن
مشهور باسم رياضياتي
