ארנסט צרמלו

ארנסט צרמלו
Ernst Zermelo
לידה	27 ביולי 1871
פטירה	21 במאי 1953 (בגיל 81)
ענף מדעי	מתמטיקה
מקום מגורים	גרמניה
תרומות עיקריות
	מערכת בת 10 אקסיומות, ידועה בשם אקסיומות צרמלו-פרנקל; הוכיח את משפט הסדר הטוב.

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

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

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

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

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

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

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

ב-1913 הוכיח צרמלו את משפט צרמלו, משפט חשוב בתורת המשחקים.

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