פאול ברנייס

פאול יצחק ברנייס (17 באוקטובר 1888 – 18 בספטמבר 1977) היה מתמטיקאי ופילוסוף יהודי-שווייצרי שעסק בלוגיקה מתמטית, תורת הקבוצות האקסיומטית ופילוסופיה של המתמטיקה.

==ביוגרפיה==
פאול ברנייס נולד בשנת 1888 בלונדון, בן בכור לשרה ויוליוס ברנייס, חלק ממשפחה יהודית מכובדת של מלומדים ואנשי עסקים. אבי סבו היה הרב יצחק ברנייס, רבה של המבורג. היו לו אח ושלוש אחיות. מלונדון עברה משפחתו לפריז, ומשם לברלין, שם למד ברנייס ב-Köllnisches Gymnasium בשנים 1895–1907. בנעוריו עסק בנגינה בפסנתר ובהלחנה. ב-1907 החל ללמוד באוניברסיטת ברלין ולמד בה מתמטיקה אצל ישי שור, אדמונד לנדאו, פרדיננד גאורג פרובניוס ופרידריך שוטקי, פילוסופיה אצל אלואיס ריל, קארל שטומפף וארנסט קסירר ופיזיקה אצל מקס פלאנק. בשנים 1910–1912 למד באוניברסיטת גטינגן - מתמטיקה אצל דויד הילברט, אדמונד לנדאו, הרמן וייל ופליקס קליין, פיזיקה אצל מקס בורן ופילוסופיה אצל לאונרד נלסון. ב-1912 קיבל תואר דוקטור, על עבודה בהנחיית אדמונד לנדאו שעסקה בתורת המספרים האנליטית ובתבניות ריבועיות בינאריות. בסוף אותה שנה השלים הביליטציה באוניברסיטת ציריך.

בשנים 1912–1917 היה פריבט-דוצנט ועוזר לארנסט צרמלו באוניברסיטת ציריך, שם הכיר את ג'ורג' פוליה. ב-1917 עבר לעבוד כעוזרו של הילברט במחקריו על יסודות המתמטיקה, ועסק בכך במשך 14 שנים. במקביל לימד מתמטיקה באוניברסיטת גטינגן. ב-1918 השלים שם הביליטציה נוספת, בעבודה על האקסיומות של תחשיב הפסוקים בפרינקיפיה מתמטיקה.

בשנת 1922 מונה לפרופסור ללא קביעות באוניברסיטת גטינגן. לאחר חקיקת חוק לשיקום שירות המדינה המקצועי ב-1933 הוא פוטר מחמת יהדותו. לאחר חצי שנה שבה עבד באופן פרטי אצל הילברט, היגר עם משפחתו לשווייץ, שאת האזרחות בה ירש מאביו. הוא הועסק במכון הטכנולוגי של ציריך (ETH), היה אורח באוניברסיטת פנסילבניה, ובשנים 1935–1936 ו-1959–1960 היה מדען אורח במכון למחקר מתקדם בפרינסטון. ב-1959 פרש לגמלאות מ-ETH כפרופסור אמריטוס.

בשנת 1976 העניקה לו אוניברסיטת מינכן תואר דוקטור לשם כבוד.

ברנייס לא נישא מעולם, ובציריך התגורר עם אמו ושתי אחיותיו.

==עבודתו המתמטית==
עבודתו עם הילברט הניבה ספר בשני כרכים, "Grundlagen der Mathematik" ("יסודות המתמטיקה"), שיצא לאור בשנים 1934 ו-1939. בין השאר נכלל בעבודה זו .

בסדרה של שבעה מאמרים, שפורסמה בשנים 1937–1954 בכתב העת Journal of Symbolic Logic הציג ברנייס תורת קבוצות אקסיומטית ששורשיה בתאוריה של ג'ון פון נוימן משנות ה-20 של המאה ה-20. עבודתו זו, עם שינויים של קורט גדל, ידועה בשם (NBG).

בשנת 1958 יצא לאור ספרו Axiomatic Set Theory, Studies in Logic and the Foundations of Mathematics.

בשנת 1976 יצא לאור ספרו Abhandlungen zur Philosophie der Mathematik ("מאמרים על הפילוסופיה של המתמטיקה").

==הנצחתו==

במכון הטכנולוגי של ציריך מתקיימת מדי שנה סדרה של שלוש הרצאות על שמו, העוסקות בפילוסופיה של הלוגיקה, המתמטיקה או הפיזיקה. 

מאז שנת 2011 מעניקה האגודה השווייצרית ללוגיקה ופילוסופיה של המדע את מדליית פאול ברנייס למדען צעיר שהרים תרומה יוצאת דופן ללוגיקה ופילוסופיה של המדע.

==קישורים חיצוניים==

* 
* 
* [https://www.jstor.org/action/doBasicSearch?si=1&Query=au%3A%22Paul+Bernays%22&so=rel מאמרי פאול ברנייס], באתר JSTOR
* 
<div class="mw-content-ltr">
*[http://www.phil.cmu.edu/projects/bernays/Pdf/bernays31_2001-08-17.pdf Paul Bernays: A Short Biography (1976)]
* 

</div>

==הערות שוליים==

קטגוריה:מתמטיקאים שווייצרים
קטגוריה:פילוסופים שווייצרים
קטגוריה:מתמטיקאים יהודים
קטגוריה:פילוסופים יהודים
קטגוריה:שווייצרים שנולדו ב-1888
קטגוריה:שווייצרים שנפטרו ב-1977