טרחנים כפייתיים במתמטיקה

בתשובה לטל כהן, 24/04/04 10:34

אולי זה יעניין אותך (או אחרים)

215609

אלון עמית • בתשובה לטל כהן

יום ו', 30/4/2004, 20:34

ה"QED Manifesto" היא יוזמה שמטרתה לארגן את כלל הידע המתמטי במסגרת מערכת ממוחשבת פורמלית. אין כוונה כאן למערכת אוטומטית שמגלה או מוכיחה משפטים, אלא רק למערכת שתכיל את הידע הזה בצורה בת-וידוא:

http://www.cs.kun.nl/~freek/qed/qed.html

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

http://www.math.pitt.edu/~thales/flyspeck/index.html

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות