בתשובה לאלון עמית, 22/06/05 1:18
 |
|
 |
||
|
||||
 |
אני חשבתי שהדיון הזה עוסק בשאלה ''האם האדם הוא מכונת טיורינג'', אז מן הסתם אם פספסנו משהו והאדם הוא לא מכונת טיורינג אלא מכונת סופר טיורינג, הדיון הוכרע. ברור שהאדם יוגבל על ידי בעיית העצירה של מס''ט, אבל אף אחד לא אמר שהאדם לא מוגבל מבחינה חישובית בכלל, רק שהוא פחות מוגבל ממ''ט. |  |
 |
 |
|
|
|
||
|
||||
|
לא, אני לא חושב שזה יכריע את הדיון. הוא לא באמת על מ"ט, אלא על "המודל החישובי המקובל כיום". הויכוח הוא אם המוח ניתן לרדוקציה למודל חישובי פורמלי, ואני לא חושב שלמי מבין המתדיינים יש בעייה מיוחדת עם המודל של טיורינג דווקא. אתה סבור שאם מחר ייתווסף עוד פיצ'ר למודל - נניח, מותר לעבוד עם שני סרטים במקום אחד1 - אז לפתע מישהו מבין הכופרים ברדוקציה ישנה את דעתו? הויכוח פשוט יזוז לשאלה עם המוח הוא מכונת-טיורינג-עם-שני-סרטים. 1 אחת מבין הרבה הרחבות של מ"ט, שידוע שהן הרחבות רק לכאורה. |
|
|
|
|
|
|
||
|
||||
|
אה, אבל כאן בדיוק השאלה שלי. אתה מדבר על משהו ''מיסטי'' שבגללו מותר האדם ממכונת הטיורינג. השאלה המעניינת היא האם המרכיב החסר במכונת הטיורינג שיגרום לה להפוך למס''ט הוא לא משהו סטייל ''שני סרטים'' (שראינו שלא ממש תורם משהו), אלא אותו דבר ''מיסטי'' (הייתי אומר ''חישוב קוואנטי'', אבל הוא לא פותר בעיות בלתי כריעות, אבל אני מנחש שאם יש כיוון זה דברים מהסגנון הזה), ואז הכופרים ברדוקציה דווקא ישתכנעו. | |
|
|
|
|
|
||
|
||||
|
אני מנחש (וזו לא ביקורת) שרוב הכופרים-ברדוקציה אינם בקיאים בפרטים הטכניים של ההגדרה של מכונת טיורינג. מבחינתם מספיקה העובדה שזהו מודל פורמלי, מדוייק ומכני כדי לחשוד שהמוח אינו כזה. אם יתווסף מרכיב חדש למודל החישובי המקובל הוא (בהגדרה) לא יהיה "מיסטי" אלא ישקף את מה שאנשי תורת-החישוביות סבורים שיש בחישוב, ובכל מקרה למה שהלא-משוכנעים ישתכנעו שאותו גורם הוא כן מיסטי? הלא הוא יהיה גם הוא פורמלי ומדוייק (אחרת אין מודל). | |
|
|
|
|
|
||
|
||||
|
אני לא יודע מה עובר לכופרים-ברדוקציה בראש, ואני לא רוצה להיכנס לדיון שמניח הנחות על עומק הידע שלהם וסוג הידע. רק אעיר שלדעתי, יש גם דברים פורמליים ומדוייקים שנראים להדיוטות יותר "מיסטיים" מאחרים (אולי אני טועה, אבל האם תורת הקוואנטים לא מנוסחת בצורה פורמלית ומדוייקת כמו המכניקה הניוטונית?) | |
|
|
|
|
|
||
|
||||
|
אני מסכים שהדיון על דעתם וידיעתם של אחרים הוא מיותר. אנסה להציג את זה אחרת. אני חושב שהשאלה אם "המוח הוא מ"ט" היא בעצם שתי שאלות: 1. האם המוח הוא מחשב? כאן "מחשב" משמש במובן גנרי לחלוטין כמשהו שפעולתו נגזרת באופן "פיזיקלי" מהקלט והזכרון שלו. אפשר להתווכח על איזו פיזיקה רלוונטית כאן, אבל זה לא משנה כרגע. 2. האם "מחשב" במובן הגנרי הנ"ל הוא מ"ט? זו שאלה טכנית על מודלים חישוביים, שאין לה נגיעה ישירה לבעיית המוח. יש, כך נדמה לי, העונים בשלילה על כל אחת משתי השאלות הללו, מסיבות שונות לגמרי. מי שעונה בשלילה על 1 עושה זאת למשל (לא רק) משיקולי נשמה, רוחניות, מיסטיקה וכד'; כלומר, המוח לא רק קולט ומגיב לסביבתו אלא יש בו משהו "מעבר". מי שעונה בשלילה על 2, כופר בזיהוי של חישוב עם מ"ט, ועבורו השאלה שלך "למה דווקא מ"ט" רלוונטית. לכך התכוונתי כשאמרתי ששיפור במודל המ"ט לא בהכרח ישנה את המצב. (כן). |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |