ארנסט צרמלו

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

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

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

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

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

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

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

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

קישורים חיצוניים

 ביוגרפיה מקיפה של ארנסט צרמלו
 

ערכים שבהם תבנית בריטניקה אינה מתאימה
סגל אוניברסיטת גטינגן
מתמטיקאים גרמנים
פילוסופים גרמנים
פילוסופים של המתמטיקה
סגל אוניברסיטת פרייבורג
ברלין: אישים
חברי האקדמיה למדעים ולאמנויות של גטינגן
גרמנים שנולדו ב-1871
גרמנים שנפטרו ב-1953