עזריאל לוי
 | |
| לידה |
1934 (בן 90 בערך) חיפה, פלשתינה (א"י)  |
|---|---|
| ענף מדעי | מתמטיקה |
| מקום מגורים | ישראל |
| מקום לימודים |
האוניברסיטה העברית בירושלים |
| מנחה לדוקטורט |
אברהם הלוי פרנקל, אברהם רובינזון |
| מוסדות |
האוניברסיטה העברית בירושלים |
| תלמידי דוקטורט |
דב גבאי, אהרון בלר, עמי ליטמן, שלמה וינר, הגר גל, אורי אברהם, גדי מורן, גרשון שגיב, מנחם מגידור, מוטי גיטיק, חנה פרל |
| תרומות עיקריות | |
| תרומה חשובה להתפתחותה של תורת הקבוצות, ועל שמו קרויים המושגים Levy hierarchy, Levy collapse, Levy absoluteness. | |
  | |
עזריאל לוי (נולד ב-1934) הוא מתמטיקאי ולוגיקן ישראלי, פרופסור אמריטוס באוניברסיטה העברית בירושלים.
קורות חיים[עריכת קוד מקור | עריכה]
במהלך לימודיו היה מעורכי מפעל השכפול באוניברסיטה.[1] בשנת 1958 קיבל תואר דוקטור מטעם האוניברסיטה העברית בירושלים, על עבודה בשם "תרומות למטא-מתמטיקה של תורת הקבוצות" שנעשתה בהנחייתם של אברהם הלוי פרנקל ואברהם רובינסון. בשנים 1958–1959 יצא לפוסטדוקטורט ב-MIT, ובשנתיים שלאחר מכן היה מרצה אורח באוניברסיטת קליפורניה בברקלי. ב-1961 הצטרף לסגל האוניברסיטה העברית. ב-1972 היה מנחהו של מנחם מגידור לדוקטורט.
תוך שימוש בשיטת הכפייה של פול כהן הוכיח תוצאות אחדות המציגות עקביות של משפטים המנוגדים לאקסיומת הבחירה. לוי הרים תרומה חשובה להתפתחותה של תורת הקבוצות, ועל שמו קרויים המושגים Levy hierarchy, Levy collapse, Levy absoluteness.
בשנת 1979, במהלך סכסוך עבודה ממושך באוניברסיטאות בישראל, היה יו"ר המועצה המתאמת של ארגוני הסגל האקדמי באוניברסיטאות בישראל.[2]
במסגרת האוניברסיטה הפתוחה הוביל את פיתוח הקורס "לוגיקה מתימטית".[3] כיהן כיו"ר ועדת המקצוע מתמטיקה של משרד החינוך.[4]
מכתביו[עריכת קוד מקור | עריכה]
- A. Levy: A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, 57, 1965.
- J. D. Halpern, A. Levy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83-134.
- A. Levy: Basic Set Theory, Springer-Verlag, Berlin, 1979.
- Abraham A. Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy, Foundations of Set Theory, North Holland, 1973.
קישורים חיצוניים[עריכת קוד מקור | עריכה]
- עזריאל לוי, באתר פרויקט הגנאלוגיה במתמטיקה
- עזריאל לוי, באתר dblp
עזריאל לוי (1934-), דף שער בספרייה הלאומית
- Akihiro Kanamori: Levy and set theory, Annals of Pure and Applied Logic, 140 (2006) ,233-252.
הערות שוליים[עריכת קוד מקור | עריכה]
- ^ מסע הרונדו בחוצות ירושלים, הצופה, 12 במאי 1955
- ^ עמוס לבב, הסגל האקדמי מתמרד נגד "משכורות הרעב", מעריב, 30 בינואר 1979
עמוס לבב, זכרון דברים נחתם בין הסגל לאוניברסיטאות, מעריב, 9 במאי 1979 - ^ לוגיקה מתימטית, יחידות 1-5, באתר "גוגל בוקס"
- ^ ועדת המקצוע מתמטיקה
