אברהם הלוי פרנקל
מתוך ויקיפדיה, האנציקלופדיה החופשית
אברהם הלוי (אדולף) פרנקל (17 בפברואר 1891 - 15 באוקטובר 1965), מתמטיקאי ישראלי, ממניחי היסודות לתורת הקבוצות.
פרנקל נולד ב־17 בפברואר 1891 במינכן שבגרמניה. למד באוניברסיטאות של מינכן, מרבורג, ברלין וברסלאו (החלפת אוניברסיטאות הייתה מקובלת בקרב הסטודנטים בגרמניה באותה עת). בשנת 1915 קיבל תואר דוקטור למתמטיקה מאוניברסיטת מרבורג (מנחהו היה קורט הנסל).
בשנת 1916 החל ללמד באוניברסיטת מרבורג, ובשנת 1922 נתמנה לפרופסור שם. בשנת 1928 עבר לאוניברסיטת קיל, ובשנת 1929 עלה ארצה והחל ללמד באוניברסיטה העברית, שבה היה ממייסדי החוג למתמטיקה. היה הדיקן הראשון של הפקולטה למתמטיקה ומדעי הטבע, ורקטור האוניברסיטה בשנים 1940-1938. המשיך ללמד באוניברסיטה העברית עד לפרישתו ב־1959. לאחר מכן המשיך ללמד באוניברסיטת בר אילן.
בתחילת דרכו עסק באלגברה וחקר את תורת החוגים. תרומתו העיקרית היא ליסודות תורת הקבוצות, ובשנת 1919 פרסם את ספרו הראשון בתחום זה Einleitung in die Mengenlehre. בשנים 1925-1922 הצטרף למאמץ להעניק ביסוס אקסיומטי לתורת הקבוצות, כדי למנוע את הפרדוקסים שפגעו בה. במסגרת פעילותו זו חידד את מערכת האקסיומות של צרמלו, הוסיף לה אקסיומה שמינית והוכיח שבמערכת זו אקסיומת הבחירה אינה תלויה באקסיומות האחרות. מערכת אקסיומות זו ידועה בשם "אקסיומות צרמלו-פרנקל" או בקיצור ZF, והיא הבסיס לתורת הקבוצות האקסיומטית. פרסם ספרים אחדים בתורת הקבוצות ובהם Abstract Set Theory (בשנת 1953) ו-Foundations of Set Theory (בשנת 1958, יחד עם יהושע בר-הלל ועזריאל לוי).
פרסם גם מאמרים העוסקים בהיסטוריה של המתמטיקה, ובהם ביוגרפיה של גאורג קנטור.
פעל להנחלת הידע המתמטי לציבור הרחב. היה מיוזמי "המרכז להשכלת העם", היה עורך מדור המתמטיקה באנציקלופדיה העברית וכתב ערכים רבים בתחום זה (למשל, הערכים "גאומטריה" ו"לוח"). בשנות החמישים יצא לאור ספרו "מבוא למתמטיקה" (בחמישה כרכים), שהוא ספר מקיף על יסודותיה והתפתחותה של המתמטיקה המודרנית.
בשנת 1956 הוענק לו פרס ישראל בתחום המדעים המדויקים.
נפטר בירושלים ב-15 באוקטובר 1965.
בשנת 1967 יצא לאור ספרו האוטוביוגרפי Lebenskreise ("במעגלי החיים").
[עריכה] קישורים חיצוניים
- ביוגרפיה של אברהם הלוי פרנקל באתר MacTutor
- גנאלוגיה מתמטית של אברהם הלוי פרנקל באתר The Mathematics Genealogy Project