בתשובה להאייל הצעיר, 17/07/05 22:37
 |
|
 |
||
|
||||
 |
כל מ"ט שקולה למערכת פורמאלית. לכל מ"ט יש קלט וסט מצבים. האם יש הבדל מהותי בין זה לבין האקסיומות וכללי ההיסק של מערכת פורמאלית? האם יש הבדל מהותי בין הפלט של המ"ט לבין משפטי המערכת? כלל היסק מודוס פוננס נותן לי (B) אם יש לי (A) וגם (A->B). אני יכול לדמיין כלל היסק שנותן לי (2n) כשיש לי (n). ייתכן ואני לא מדייק כאן במעבר בין מערכת פורמאלית לבין מ"ט. אבל מעבר כזה קיים בצורה זו או אחרת. אם האדם הוא מ"ט אז הפלט והקלט שלו דיסקרטים וניתנים לביטוי בצורה בינארית. אני לא מבין את החוט הזה של הדיון. ד. האזכור לטיעון האלכסון שבתגובה 317320 לא נעשה במסגרת הוכחה לשום דבר, כפי שכתוב בתחתית התגובה. הוא בא לשחרר אותי מהדרישה של אלון שאציג תכונה מסויימת שמבדילה ביני לבין המחשב. ה. הטענה שהאדם הוא מכונת טיורינג מבוססת על ההנחה שניתן לעשות דיסקרטיזציה מוחלטת לקלט ולפלט של המוח האנושי, וששום מידע לא יאבד בדיסקרטיזציה הזאת. אם הייתי מקבל את ההנחה הזאת, באמת לא היה מנוס מלקבל את הטענה שכנראה נובעת ממנה. הקושי שלי בהתמודדות עם הטענה המכאניסטית נעוץ בעובדה שרק טיעונים שעונים על תנאי מסויים מתקבלים כתקינים. אתם מבקשים ממני לציין פונקציה שהאדם יכול לחשב ואילו מכונה לא יכולה לחשב. אבל כל פונקציה שאני אדע להגיד איך מחשבים, נוכל ללמד מכונה לחשב אותה. אם הסוג היחיד של טיעון קביל כולל רק פונקציות ניתנות לחישוב, אז כמובן שאין טיעון שיוכיח שהאדם שונה מהותית ממ"ט. האדם שונה ממ"ט לא בגלל איזשהי פונקציה ניתנת לחישוב, אלא בדיוק בגלל שפעולותיו לא מוכתבות בהכרח ע"י חישוביות. |
 |
 |
 |
|
|
|
||
|
||||
|
כדאי שתקרא שוב את ההגדרה למ"ט 1 שמתאימה לתורה. זו לא מכונה שאתה נותן לה נתון והיא מחזירה מסקנה, כי אז הייתה רק מסקנה אחת מכל נתון. היא מקבלת קבוצת נתונים ("A גורר B", "מתקיים A") ומסקנה ("מתקיים B") ועונה "כן" אם ניתן להסיק את המסקנה מהנתונים תוך צעד היקש אחד. נכון, אפשר "לתרגם" את הקלט האנושי ל"קבוצת טענות + מסקנה" ואז להתייחס לביט ה-452845 בפלט השרירים כתוצאה - ולקבל תורה. גם אני לא יודע לאן אפשר להמשיך את הדיון בכיוון הזה. אין אף תכונה שאנו יודעים על מערכת האקסיומות הזאת, ועל כן אנחנו לא יכולים בשום צורה להוכיח את קיומה או את אי-קיומה. ד. נו, טוב. לא משנה. סתם רציתי להדגיש את הנקודה: הטענה שהאדם אינו מערכת אקסיומות לא גוררת את הטענה שהאדם אינו מ"ט - שכן לא כל מ"ט היא תורה. ה. דווקא יש מנוס: לא כל פונקציה עם קלט דיסקרטי ופלט דיסקרטי היא פונקציה ניתנת לחישוב. מצד שני, יכול להיות שהקלט של פונקציה כזאת חייב להיות מוגבל באורכו (וזה אפילו סביר) ואז אכן הפונקציה היא בהכרח ניתנת לחישוב. אבל אני מסכים: כנראה שזו הנקודה שבה הדיון נעצר, לפחות מבחינתי. אני יכול בקלות להתווכח על מתמטיקה ועל הפילוסופיה שלה, אבל זו כבר שאלה למי שעוסק בחקר המוח. "אתם מבקשים ממני לציין פונקציה שהאדם יכול לחשב ואילו מכונה לא יכולה לחשב." - "יכול" זו מילה מטעה. האדם, בהקשר זה, מחשב רק פונקציה אחת: הוא מקבל קלט מסוים, ומחזיר פלט מסוים. השאלה היא האם אתה יכול להצביע על מאפיין של הפונקציה הזאת, שאין לאף מ"ט. 1 איך מיידעים את "מכונת טיורינג"? "מכונת הטיורינג"? |
|
|
|
|
|
|
||
|
||||
|
מספיק "ה"מכונה. אתה לא באמת חושב שבאתר הזה יש עוד מכונות שמדובר בהן, מה? | |
|
|
|
|
|
||
|
||||
|
שאלה גדולה שאלת בהערת שוליים 1. מתברר (מפי האקדמיה(!) בבירור פרטי) שבלשני העברית כבר התחבטו בשאלה, כנראה דורות לפני טיורינג, זאת בגלל מושג יהודי בסיסי בסיסי ומוכר, שיש בו אותה בעייתיות בדיוק: שם-עצם שמציין מושג כללי, שיש לו הרבה דוגמאות קונקרטיות (ולכן נרצה לפעמים ליידע אותו), שבנוי כצירוף סמיכות שבו הסומך (? הרכיב השני בצירוף הסמיכות) הוא שם פרטי (ולכן, כדי ליידע את המושג, נצטרך ליידע את השם הפרטי). מהו המושג? חידת טריוויה לקוראים. המלצת האקדמיה: לנסות כל דרך אפשרית כדי לא להזדקק ליידוע ("מכונת טיורינג X" הוא טריק שעובד בהרבה מקרים). אם לא מצליחים, אז יש לנשוך את הקליע, כמאמר אותם אנגלים, ולומר "מכונת הטיורינג שראינו עתה". | |
|
|
|
|
|
||
|
||||
|
ימין משה? | |
|
|
|
|
|
||
|
||||
|
עצת אחיתופל? נתונה עצת אחיתופל T... |
|
|
|
|
|
|
||
|
||||
|
אבי פעם התייעץ עם האקדמיה לגבי צורת הריבוי הנכונה למושג ''מרחב זמן'' (ואחר כך לא קיבל את הכרעתם). | |
|
|
|
|
|
||
|
||||
|
לא זוכר. | |
|
|
|
|
|
||
|
||||
|
אין כל סיכוי שאנחש את המושג, אבל אם כבר רוצים לעקוף את הבעיה - אז מה הטעם לומר "מכונת *הטיורינג שראינו זה עתה"? (בפרט שטרם ראיתי מכונת טיורינג כלשהי?)... אם כבר, אמור "אותה מכונת טיורינג ש...וכיו"ב". | |
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
בינגו. (''כיכר הדוידקה'' דווקא עובד...) |
|
|
|
|
|
|
||
|
||||
|
אבל זה כי דוידקה כבר התקבלה כשם עצם, בנפרד משמו של דוידקה המקורי. | |
|
|
|
|
|
||
|
||||
|
לא אומרים "המגן דוד"? | |
|
|
|
|
|
||
|
||||
|
אומרים, אומרים. אבל אומרים גם הבית ספר וגם העורכת דין. אבל זה לא תקני. בעברית תקנית היידוע של צמד־סמיכות כמו "ארון קודש" הוא "ארון הקודש". השאלה המעניינת שעלתה כאן היא מה לעשות אם המילה השנייה 1 בצמד היא שם פרטי שאינו יכול לקבל (בדרך כלל...) יידוע. תודה לצעיר ולירדן על השאלה ועל התשובה המוסמכת לה. 1 לעזאזל, אנלא זוכר בשעה קשה זו אם זהו הסומך או הנסמך. |
|
|
|
|
|
|
||
|
||||
|
אתה טועה. הנכון הוא ''הבית ספר'' ו''העורך דין'', גם אם יש להם צליל מעצבן. השאלה היא לגבי מגן דוד. | |
|
|
|
|
|
||
|
||||
|
אתה טועה. |
|
|
|
|
|
|
||
|
||||
|
"הבית ספר" זו אכן צורה לא תקנית. לעומת זאת, "העורכת דין" זו דווקא כן צורה תקנית, כאשר מתייחסים ל"דין" לא כסומך 1 אלא כמושא - כלומר "זו שעורכת דין". 1 או נסמך, גם אני לא בטוח. |
|
|
|
|
|
|
||
|
||||
|
נחמד. צורת הרבים-זכר של ''העורכת דין'', אם כך, היא ''העורכים דין''... | |
|
|
|
|
|
||
|
||||
|
לא, ''העורכי-דין''. ובסוף לא גילית מה אמרו לך על המגן דוד. | |
|
|
|
|
|
||
|
||||
|
אני לא מבין למה אתה מתעקש על טענה שהיא בבירור לא נכונה. ניתן לומר ''עורכי הדין'' או ''העורכים דין''. כמובן ששיטת הריבוי השנייה לא ממש בשימוש, אבל היא תקנית. |
|
|
|
|
|
|
||
|
||||
|
אחד משנינו לא מבין. או שמדובר בצירוף סמיכות, ואז חלים עליו חוקי הסמיכות ("עורכי הדין"), או בצירוף פעלי רגיל, ואז חלים עליו חוקי הצירוף הפעלי הרגיל ("העורכים דין"). אם אתה חושב שיש דרך שלישית, תצטרך לנמק. וכן גיליתי: קרא שוב את שני המשפטים האחרונים בתגובה 317633. |
|
|
|
|
|
|
||
|
||||
|
מגן הדוד? אתה רציני? | |
|
|
|
|
|
||
|
||||
|
היישר מפי מזכירת האקדמיה (אבל בטלפון, ולא הקלטתי אותה, אם אתה רוצה ללכת על זה למשפט). והיא ציטטה פסק הלכה מפורש מאחת הישיבות של המוסד. אבל שוב, המסר היותר חשוב הוא שצריך מאוד להתשדל לעקוף את היידוע. | |
|
|
|
|
|
||
|
||||
|
אם הכותרת מרמזת שדיברתם בטלפון מהדור השלישי והמזכירה שבתה את לבך בהופעתה? | |
|
|
|
|
|
||
|
||||
|
לא, אלא ''העורכות דין'' או ''עורכות הדין'', כמובן. | |
|
|
|
|
|
||
|
||||
|
ועכשיו אפשר להקים כאן מאגר של כאלה. הנה עוד אחד: (אני לא מתאפק מלהציב חידות טריוויה. אבל זו צריכה להיפתר בקלות.) |
|
|
|
|
|
|
||
|
||||
|
אני חייב לציין שאני לא מספיק בקי במעברים ממערכות-טיורינג למכונות פורמאליות, ולהיפך (ובאלכסון). המעבר שדיברתי עליו הוא זה שמצוי במאמר של לוקאס (אולי הגיע הזמן לתת לינק): אתה צודק שמעבר כזה מלמד אותנו מעט מאוד על המערכת האקסיומטית שקשורה לאותה מכונת טיורינג. מכונת טיורינג זו1 בהחלט עשויה להוות מערכת לא עקבית ולא שלמה ועדיין לתאר אדם. בדיון 2312 כבר האיר אלון את עיניי לעובדה הזאת, ובאמת זנחתי את הטיעון הזה. אבל חשבתי על טיעון אחר שנראה לי עומד בפני הביקורת הספציפית הזו ואנחנו דנים בו ברגעים אלה ממש. תגובה 317476. 1 בהתאם להנחיות האקדמיה...תגובה 317633 |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |