ארנסט צרמלו

מתוך ויקיפדיה, האנציקלופדיה החופשית

ארנסט צרמלו
Ernst Zermelo
1871 - 1953

תרומות עיקריות

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

נתונים נוספים
ענף מדעי	מתמטיקה
ארצות מגורים	גרמניה

ארנסט פרידריך צרמֶלו (גרמנית: Ernst Friedrich Ferdinand Zermelo) ‏(27 ביולי 1871 - 21 במאי 1953), מתמטיקאי ופילוסוף גרמני.

צרמלו נולד בברלין, גרמניה. הוא למד בLuisenstädtisches Gymnasium בברלין וסיים בשנת 1899. לאחר מכן המשיך ללימודי מתמטיקה, פיזיקה ופילוסופיה באוניברסיטאות ברלין, האלה ופרייבורג.

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

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

בקונגרס המתמטיקאים שנערך בשנת 1900, הציג הילברט רשימה של 23 בעיות שהיו לדעתו החשובות ביותר במתמטיקה באותו זמן. הראשונה מביניהן הייתה בעיה בתורת הקבוצות שנקראה "השערת הרצף" ונוסחה בידי קנטור ב-1878.

צרמלו החל לעבוד על בעיות בתורת הקבוצות, וב-1902 פרסם את עבודתו הראשונה בתחום. בשנת 1904 הצליח להתקדם לעבר המטרה שאותה הציב הילברט כאשר הוכיח את משפט הסדר הטוב, דבר שהקנה לו תהילה ומינוי כפרופסור בגטינגן בדצמבר 1905. הוכחתו הראשונה עוררה חילוקי דעות מסוימים, וב-1908 הוא שכלל הוכחה זו והיא נתקבלה בחוגי המתמטיקאים.

בשנת 1905 החל לעסוק ביצירת בסיס אקסיומטי לתורת הקבוצות, ושנת 1908 פרסם את התוצאות שאליהן הגיע, חרף כשלונו להוכיח את העקביות של מערכת האקסיומות. בשנת 1922 אברהם הלוי פרנקל ותוראלף סקולם שכללו, כל אחד בנפרד, את מערכת האקסיומות של צרמלו. התוצאה, מערכת בת 10 אקסיומות, ידועה בשם אקסיומות צרמלו-פרנקל (ZF), שהיא המקובלת ביותר עד היום כבסיס לתורת הקבוצות האקסיומטית.

על שמו של צרמלו גם משפט חשוב בתורת המשחקים.

בשנת 1935 עזב צרמלו את תפקיד הכבוד שלו בפרייבורג בשל אי הסכמתו עם הלך הרוחות הנאצי שם, עם תום המלחמה שב לתפקידו (ב-1946) וחי בפרייבורג עד מותו.