עזריאל לוי

עזריאל לוי נולד ב-1934 בחיפה

עזריאל לוי נולד בחיפה ב-1934. במהלך לימודיו היה מעורכי מפעל השכפול באוניברסיטה.

ב-1958 קיבל תואר דוקטור מהאוניברסיטה העברית בירושלים, בהנחיית אברהם הלוי פרנקל ואברהם רובינסון. עבודתו עסקה במטא-מתמטיקה של תורת הקבוצות. בשנים 1958-1959 היה בפוסטדוקטורט ב-MIT, ולאחר מכן היה מרצה אורח באוניברסיטת קליפורניה בברקלי.

ב-1961 הצטרף לסגל האוניברסיטה העברית. בעזרת שיטת הכפייה של פול כהן הוכיח עקביות של כמה משפטים המנוגדים לאקסיומת הבחירה. יחד עם ג׳יי די הלפרן הראה שמשפט האידיאל הראשוני הבוליאני אינו גורר את אקסיומת הבחירה, ועל שמו קרויים היררכיית לוי והקריסה של לוי.

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