בתשובה לאלון עמית, 05/07/05 12:38
בקיצור 314349
א. אתה אומר שהאדם שקול למ"ט. מ"ט שקולה למערכת פורמאלית. מכאן שהאדם שקול למערכת פורמאלית.
ב. כשאני מוכיח ש:"1+1=2" או משהו כזה, זה אומר שהאינפורמציה הזאת נמצאת בתוכי בצורה זו או אחרת, בשפה זו או אחרת. זה אומר שבשפה הפורמאלית שבה המערכת השקולה לי מנוסחת, ניתן לבטא ולהוכיח "1+1=2".
ג. אתה אומר שידע "רך", כמו המשפטים "כשחם אז מזיעים", הוא לא אמיתי או שקרי. האם ידע זה כולל את המשפט "האדם הוא מ"ט"?

ד. בהנחה ש-PA עקבית, מוכח לי ש-Gp נכון, כלומר הוכחתי את Gp . אבל אם PA עקבית אז היא לא יכולה להוכיח את Gp. מכאן שאני אינני PA.
ה. אלא אם כן PA (או המערכת שהיא אני) איננה עקבית. מכאן שהמשפט "האדם הוא מ"ט ששקולה למערכת לא-עקבית" הוא בהכרח נכון, לא?
בקיצור 314427
ב. "להוכיח" - מאילו אקסיומות? כשאנחנו מוכיחים משפטים במתמטיקה, אנחנו באמת עושים זאת במערכת אקסיומטית כלשהי. למה דרוש לדבר על "אינפורמציה שנמצאת בתוכי"? לרוב מדברים על מתמטיקה בשפה טבעית, אבל המתמטיקאים אכן מניחים שכל עובדה שהם מוכיחים ניתנת לפירמול (למשל) ב-ZFC. הם לא טוענים שהם "יודעים" באיזשהו מובן אחר שהטענות נכונות, או שיש להם איזושהי "אינפורמציה".

ג. לא, הטענה על היות המוח שקול למערכת חישובית נראית לי די חד-משמעית. למה?

ד. איך הגעת למסקנה שאתה אינך PA? אתה כן יכול להוכיח את Gp? אמרת שאתה יכול לעשות זאת *בהנחה ש-PA עקבית*. יפה. זאת יכולה לעשות גם PA!

שים לב: אם PA עקבית, אז היא לא יכולה להוכיח את Gp. אבל היא כן יכולה להוכיח את "אם PA עקבית, אז Gp".

ההבדל ברור? וברור מדוע זה *בדיוק* מה שגם אתה יכול לעשות?

אני חוזר על מה שאמרתי קודם. אתה יכול להסביר שמערכת א' איננה מערכת ב' אם מערכת א' מוכיחה שמערכת ב' עקבית. למשל, עקביות PA מוכחת ב-ZFC; ואכן, ZFC איננה PA. אתה לא יכול להסביר שמערכת א' איננה מערכת ב' סתם מצירוף ההנחה "אם מערכת ב' עקבית", שזה מה שאתה עושה פה. אם יש לבני-אדם הוכחה *פורמלית* ש-PA עקבית, אז זו הוכחה באיזו מערכת אחרת שאיננה PA. יופי, אבל אז נשארים עם האפשרות שהאדם שקול (במילותיך) לאותה מערכת אחרת. ומה עם הוכחת העקביות של אותה מערכת אחרת? זו לא תימצא במערכת האחרת, וגם לא באדם.

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

כיצד ניתן להוכיח שמערכת כלשהי היא עקבית? איך מוכחת עקביות PA ב-ZFC?
___

בקיצור, שוכנעתי שכשלעצמו משפט גדל לא גורר את אי-היות האדם מ"ט. תודה.
בקיצור 314676
אני משתדל לא להיעלב מכך שאחרי כל המאמצים מצאת את האושר בשדות זרים :-)

"אם נוכיח שלא ייתכן שהאדם הוא מ"ט השקולה למערכת לא-עקבית, אז הוכחנו שהאדם אינו מ"ט, נכון?"

לא הבנתי. למה? ובאיזה מובן של "נוכיח" אתה משתמש כאן?

"כיצד ניתן להוכיח שמערכת כלשהי היא עקבית?" - צריך לבנות לה מודל. מן הסתם בשביל לעשות זאת צריך להניח שמערכת *אחרת* היא עקבית...

"איך מוכחת עקביות PA ב-ZFC?" - ב-ZFC אפשר (בקלות) לבנות מודל ל-PA. הדרך המקובלת לעשות זאת היא להגדיר את "אפס" כקבוצה הריקה, ואת n+1 כאיחוד של הקבוצה n עם הקבוצה {n}. כמובן שיש להיזהר: ההוכחה הזו לא שווה כלום אם ZFC עצמה אינה עקבית, או אם יש לך סיבה לדחות את אחת האקסיומות של ZFC. למשל, אחת האקסיומות קרויה "אקסיומת האינסוף", והיא אומרת שיש קבוצה אינסופית; מי שלא מאמין שזה נכון, אין לו שום סיבה לקבל את ההוכחה הזו של עקביות PA. סתם, דוגמה, שנזכור מה זה "הוכחה".

__

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

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

בנוגע לראטיקיינן (בינתיים קראתי עוד כמה מאמרים שלו), אני חייב לציין שאני נהנה הנאה צרופה מלקרוא אותו. הוא שקול, יסודי ובהיר. הירידות החוזרות שלו על צ'ייטין (איך בעצם מבטאים את זה?) משעשעות לנוכח האהבה הרבה שצ'ייטין רוחש לעצמו.
אבל אני לא חושב שהוא צודק כל כך במה שהוא אומר. שוב, הביקורת שלו על האנטי-מכאניסטים מניחה את המבוקש במובן מסויים, והביקורת שלו על AIT נראית לי לא מוצדקת , אם כי אני צריך לחשוב על למה.

בכל מקרה, אני חושב שזה חשוב מאוד. הוא בהחלט מהווה צד פורה בדיאלקטיקה שהנושא הזה נבנה דרכה.

יש לו מאמרים חיוביים יותר, כלומר לא רק ביקורתיים?
בקיצור 316261
אני לא מומחה לראטיקיינן, אבל יש באתר שלו כמה וכמה מאמרים מעניינים. אני לא יודע אם הם "ביקורתיים"; הוא ודאי לא מתעסק רק בלהוקיע את צ'ייטין (איך מבטאים? "צ'אי" כמו תה, "טין" כמו בוץ).

אני לא חושב שאתה צריך לנסות לבחון אם הביקורת שלו על AIT היא מוצדקת או לא, אלא להיפך: לנסות לראות אם אתה מסוגל לגזור איזו מסקנה מרחיקת-לכת מ-AIT, ואז להעמיד את טיעונך למבחן. אני סבור שזה dead end, אבל בהצלחה.
בקיצור 316278
אני אשמח לנצל את ההזדמנות הזו כדי להגיד גם לך וגם לד.ק. שזה ללא ספק הדיון המהנה, המעשיר והמעניין ביותר שקראתי ב-''האייל הקורא'' עד עכשיו.
הייתי גם מחמיא מאוד על רמת ואופן הדיון אבל אני ארגיש כמו מורה...
בקיצור 316308
תודה על המחמאה, אני קצת המום מכך שעוד מישהו עקב. כל מה שאני יכול לומר הוא שזה ללא ספק הדיון בעל הכותרת הנגררת הכי מגוחכת שקראתי ב''האייל הקורא'' עד עכשיו (וקראתי הרבה).
בקיצור 316313
אתה מתכוון, הכי אוקסימורונית, לא?
בקיצור 316589
מגניב, תודה.

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

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