בתשובה לגדי אלכסנדרוביץ', 12/06/05 7:15
בקיצור 308120
אביב י. • בתשובה לגדי אלכסנדרוביץ' יום א', 12/6/2005, 7:35
לא אמרתי שהיא תזייף. אמרתי שאם היא "תזייף" אז יש לך בעיה במודל ואם היא לא "תזייף" אז אין לך. הבנתי שדיברת על מ"ט שתסמלץ את התה מעתה ועד עולם (לא הבנתי למה אתה בטוח שדבר כזה בכלל אפשרי).

לגבי הפיסקה השנייה: אני מבין את המושג "חזק יותר" בהקשר של מ"ט מול אוטומטים אחרים (עפ"י השפות שכל מודל מקבל), אבל אני לא ממש מבין מה המשמעות של "כוח חישוב" כשמדברים על המוח האנושי (בלי שמניחים מראש שהוא מ"ט‏1).

________
‏1 אם כן מניחים, נו, אז אין על מה לדבר.
בקיצור 308121
גדי אלכסנדרוביץ' • בתשובה לאביב י. יום א', 12/6/2005, 7:39
אני לא בטוח שזה אפשרי. אני "נוח לשכנוע" שזה אפשרי, ברמה התיאורטית. בפועל זה כנראה מסובך מאוד לעשות כזו מכונה, אבל מצד שני, מסובך מאוד לעשות מכונת טיורינג עבור כל דבר שהוא לא תוכנה לבדיקה האם מספר הוא זוגי (כשהוא נתון בבסיס 2).

דווקא בנושא של "כוח חישוב" קל למצוא את ההבדל. האם לדעתך המוח האנושי מסוגל לקחת כל תוכנה כלשהי ולומר אם היא עוצרת על כל הקלטים או לא?
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות