Loading AI tools
מתמטיקאי שווייצרי מוויקיפדיה, האנציקלופדיה החופשית
פאול יצחק ברנייס (17 באוקטובר 1888 – 18 בספטמבר 1977) היה מתמטיקאי ופילוסוף יהודי-שווייצרי שעסק בלוגיקה מתמטית, תורת הקבוצות האקסיומטית ופילוסופיה של המתמטיקה.
 | |
| לידה |
17 באוקטובר 1888 לונדון, הממלכה המאוחדת של בריטניה הגדולה ואירלנד  |
|---|---|
| פטירה |
18 בספטמבר 1977 (בגיל 88) ציריך, שווייץ |
| ענף מדעי |
לוגיקה מתמטית, תורת הקבוצות |
| מקום קבורה |
שריפת גווייה |
| מקום לימודים |
|
| מנחה לדוקטורט |
אדמונד לנדאו |
| מוסדות |
|
| תלמידי דוקטורט |
Martin Altwegg, סאונדרס מק ליין, Alexander Israël Wittenberg, גרהרד גנצן, Hugo Ribeiro, Julius Richard Büchi, Erwin Engeler, Karl Kaufmann, Corrado Böhm, Franz Zimmermann, Hugo Ribeiro, Martin Altwegg, Max Eduard Eisenring, Hersz Wermus, Walter Strickler |
  | |
פאול ברנייס נולד בשנת 1888 בלונדון, בן בכור לשרה ויוליוס ברנייס, חלק ממשפחה יהודית מכובדת של מלומדים ואנשי עסקים. אבי סבו היה הרב יצחק ברנייס, רבה של המבורג. היו לו אח ושלוש אחיות. מלונדון עברה משפחתו לפריז, ומשם לברלין, שם למד ברנייס ב-Köllnisches Gymnasium (גר') בשנים 1895–1907. בנעוריו עסק בנגינה בפסנתר ובהלחנה. ב-1907 החל ללמוד באוניברסיטת ברלין ולמד בה מתמטיקה אצל ישי שור, אדמונד לנדאו, פרדיננד גאורג פרובניוס ופרידריך שוטקי, פילוסופיה אצל אלואיס ריל, קארל שטומפף וארנסט קסירר ופיזיקה אצל מקס פלאנק. בשנים 1910–1912 למד באוניברסיטת גטינגן - מתמטיקה אצל דויד הילברט, אדמונד לנדאו, הרמן וייל ופליקס קליין, פיזיקה אצל מקס בורן ופילוסופיה אצל לאונרד נלסון. ב-1912 קיבל תואר דוקטור, על עבודה בהנחיית אדמונד לנדאו שעסקה בתורת המספרים האנליטית ובתבניות ריבועיות בינאריות. בסוף אותה שנה השלים הביליטציה באוניברסיטת ציריך.
בשנים 1912–1917 היה פריבט-דוצנט ועוזר לארנסט צרמלו באוניברסיטת ציריך, שם הכיר את ג'ורג' פוליה. ב-1917 עבר לעבוד כעוזרו של הילברט במחקריו על יסודות המתמטיקה, ועסק בכך במשך 14 שנים. במקביל לימד מתמטיקה באוניברסיטת גטינגן. ב-1918 השלים שם הביליטציה נוספת, בעבודה על האקסיומות של תחשיב הפסוקים בפרינקיפיה מתמטיקה.
בשנת 1922 מונה לפרופסור ללא קביעות באוניברסיטת גטינגן. לאחר חקיקת חוק לשיקום שירות המדינה המקצועי ב-1933 הוא פוטר מחמת יהדותו. לאחר חצי שנה שבה עבד באופן פרטי אצל הילברט, היגר עם משפחתו לשווייץ, שאת האזרחות בה ירש מאביו. הוא הועסק במכון הטכנולוגי של ציריך (ETH), היה אורח באוניברסיטת פנסילבניה, ובשנים 1935–1936 ו-1959–1960 היה מדען אורח במכון למחקר מתקדם בפרינסטון.[1] ב-1959 פרש לגמלאות מ-ETH כפרופסור אמריטוס.
בשנת 1976 העניקה לו אוניברסיטת מינכן תואר דוקטור לשם כבוד.
ברנייס לא נישא מעולם, ובציריך התגורר עם אמו ושתי אחיותיו.
עבודתו עם הילברט הניבה ספר בשני כרכים, "Grundlagen der Mathematik" ("יסודות המתמטיקה"), שיצא לאור בשנים 1934 ו-1939.[2] בין השאר נכלל בעבודה זו הפרדוקס של הילברט-ברנייס (אנ').
בסדרה של שבעה מאמרים,[3] שפורסמה בשנים 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 ("מאמרים על הפילוסופיה של המתמטיקה").
במכון הטכנולוגי של ציריך מתקיימת מדי שנה סדרה של שלוש הרצאות על שמו, העוסקות בפילוסופיה של הלוגיקה, המתמטיקה או הפיזיקה.[4]
מאז שנת 2011 מעניקה האגודה השווייצרית ללוגיקה ופילוסופיה של המדע את מדליית פאול ברנייס למדען צעיר שהרים תרומה יוצאת דופן ללוגיקה ופילוסופיה של המדע.[5]
פאול ברנייס, ברשת החברתית Goodreads
פאול יצחק ברניס (1888-1917), דף שער בספרייה הלאומית
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
