בתשובה לאורי גוראל-גורביץ', 25/06/05 0:22
כמה שאלות 316367
רעיון ממש יפה. אבל זה לא ממש מה שאני מחפש. המכונה הזאת עושה בעצם שני דברים, מצד אחד מחפשת סתירות ב-ZFC, ומצד שני, כל פעם שהיא לא מוצאת סתירה היא מחשבת סיפרה נוספת של פאי. את חישוב הספרות היא עושה (כנראה) על סמך היותו של פאי יחס היקף המעגל וקוטרו. לכן עדיין לא השתחררנו מהקשר ביניהם. לכן, למרות שאין לי שום הוכחה שהיא תדפיס את פאי, אני יודע שאילו היחס בין היקף המעגל לקוטרו היה שונה, גם ההדפסה שלה היתה שונה.

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים