מתי מטיל אלוהים את הקוביות (ד')

בתשובה לסמיילי, 24/06/05 6:58

כמה שאלות

311571

אורי גוראל-גורביץ' • בתשובה לסמיילי

שבת, 25/6/2005, 0:22

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

כמה שאלות

316367

סמיילי • בתשובה לאורי גוראל-גורביץ'

יום ד', 13/7/2005, 9:32

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

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

המאמר המלא

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