|
||||
|
||||
רעיון ממש יפה. אבל זה לא ממש מה שאני מחפש. המכונה הזאת עושה בעצם שני דברים, מצד אחד מחפשת סתירות ב-ZFC, ומצד שני, כל פעם שהיא לא מוצאת סתירה היא מחשבת סיפרה נוספת של פאי. את חישוב הספרות היא עושה (כנראה) על סמך היותו של פאי יחס היקף המעגל וקוטרו. לכן עדיין לא השתחררנו מהקשר ביניהם. לכן, למרות שאין לי שום הוכחה שהיא תדפיס את פאי, אני יודע שאילו היחס בין היקף המעגל לקוטרו היה שונה, גם ההדפסה שלה היתה שונה. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |