בתשובה לאלון עמית, 29/04/10 11:12
סוף הדרך 541940
אז מה עם השערת הרצף?
סוף הדרך 541941
חשבתי שהבעיה היא לא עם להגיד שהיא נכונה/לא נכונה במודל מסויים, אלא איך לבחור מי המודל ה"נכון" מבחינתנו בזמן שהשני הוא סתם מודל מופרע שלא מעניין אותנו.
סוף הדרך 541950
מה איתה? אני לא חושב שיש דרך לנסח אותה בשפה מסדר ראשון של האריתמטיקה.

בתגובה 541767 הזכרתי שהדיעות לגביה חלוקות, ואני מוכן לפרט: עפ"י הפרק האחרון בספר Tracking the Automatic Ant, ריימונד סמוליאן משוכנע שיש לה ערך אמת ואילו סאונדרס מק ליין משוכנע שאין לה, ואלו שני אנשים שאני לא נחפז להתעלם מדעתם.

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

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