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

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

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

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

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

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