בתשובה לירדן ניר-בוכבינדר, 14/09/15 0:55
יציבות ואי-יציבות בלולאה 663456
למיטב הבנתי טוען הופשטטר כי יציבות האני הינה אשליה והוא משתמש בדוגמת הלולאה המוזרה של רכיבים אשר *מציאותם* אינה יציבה, אך בגלל תכונת ההיזון החוזר אשר אינו גולש לנסיגה (רגרסיה) אינסופית (כדוגמת לולאת האנשים הרכובים זה על ברכי זה) נוצרת *אשלית* היציבות בקרב הרכיבים.

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

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

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

"לולאת פידבק של מעבר פרדוקסלי בין מישורים".

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

על-פי הבנתי פרדוקס זה מאפשר (לפחות) את הדברים הבאים:

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

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

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

ד) עפ"י (א), (ב) ו-(ג) הסיבתיות במתמטיקה הינה דו-כיוונית (מ-א' ל-ב' או מ-ב' ל-א') במערכות החזקות דיין לעסוק באריתמטיקה.

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

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

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

בעניין טענתו של הופשטטר כי ה"אני" הוא אשליה, דעתי כדעתך.

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

על פי האמור בקישור הנ"ל, רמת המקרו משפיעה על רמת המיקרו לא פחות ממה שמשפיעה רמת המיקרו על רמת המקרו, כך שאשליה או מציאות אינה מוגבלת לרמה מסוימת.

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

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

אודה לתגובתך.
יציבות ואי-יציבות בלולאה 663579
מצטער, אני לא מצליח להבין מימיני ומשמאלי בתגובה 663528 (ואת התגובה של גיל שאליה הגבת, אני מבין עוד פחות).
יציבות ואי-יציבות בלולאה 663583
ב-תגובה 462269 אתה מצהיר כי אתה מטריאליסט.

אנא הסבר מהי משמעות המשפט "אני מטריאליסט"?
יציבות ואי-יציבות בלולאה 663593
אני מטריאליסט של הנפש (לא מטריאליסט של כל דבר) - חושב שהנפש היא לא יותר מסך הפעולות הפיזיקליות שקורות במוח.
יציבות ואי-יציבות בלולאה 663630
נדמה לי כי אפשר להכליל את "...הנפש היא לא יותר מסך הפעולות הפיזיקליות..." ל-"X הינו לא יותר מאשר סכום של מרכיבי Y".

זוהי בדיוק הגישה של סיבתיות עולה בלבד, התופסת את השלם כאוסף סופי או אינסופי של אבני-יסוד, ובדוגמא שנתתי, אורך>0 מוגדר במלואו ע"י אוסף של אורכי 0, עפ"י גישה זו.

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

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

תגובה 663528 הינה פירוט של מציאות אשר יכולה לנבוע משילוב של סיבתיות עולה וסיבתיות יורדת, כאשר שילוב זה מאפשר את הדברים הבאים, הנוגעים לנושאים הנדונים בפורום זה:

א) "האני" אינו סכום של אוסף מרכיבי מיקרו (ובאנלוגיה המשמשת אותי כאן: אורך>0 הינו אלמנט לא-מורכב, ולכן אינו ניתן להגדרה מלאה ע"י אוסף של אורכי 0) אלא הוא *אובייקט* מקרו לא-מורכב (הוא אינו אשליה בדיוק כמו שכל *אובייקט* ברמת המיקרו אינו אשליה).

ב) המציאות הינה *לא פחות* משילוב של סיבתיות עולה וסיבתיות יורדת.

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

ד) עפ"י (א),(ב)ו-(ג) המציאות הינה לולאה מוזרה מכיוון שסיבתיות עולה וסיבתיות יורדת מגדירות זו את זו (מלשון גדר, הגבלה או ריסון) אך שורשיהן אינם מרכיבים זה את זה (ובאנלוגיה המשמשת אותי כאן: אורך>0 אינו מורכב מאורכי 0 הנמצאים בתחומו, בדיוק כמו שכל אורך=0 אינו מורכב מאורך>0 בנמצא בתחומו).

--------------

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

השילוב של אורך>0 לא-מורכב עם אורכי 0 (שאף אחד מהם אינו מורכב) למעשה יוצר מציאות מורכבת, ובמציאות זו ניתן לשייך ערכים שונים לאורך>0 ולאורכי 0 עפ"י השילוב ביניהם, לדוגמא: ב- __._______.____. ניתן לשייך ערכים מספריים לכל אורך>0 או אורך=0 בשילוב הנ"ל.

-------------

אבקש להוסיף הערה לגבי מכניקת הקוואנטים.

לעניות דעתי, יסודה של מכניקת הקוואנטים נעוץ באי-הרציפות של המעבר בין אורך>0 לאורך 0, ולא מאורך>0 בעל ערך נתון (לדוגמא: ערכו של אורך פלאנק).

יותר מכך, הטענה כי אורך=0 אינו מעורב במכמיקת הקוואנטים, אינה נכונה, מן הטעם הפשוט שייחוס ערך נתון לאורך>0 (____) אינו אפשרי ללא שילובו עם אורכי 0 (.), לדוגמא:

ערך אורך פלאנק=.______.=ערך 0
יציבות ואי-יציבות בלולאה 663633
בלי להבין דבר וחצי דבר, משהו כאן מתחיל להזכיר לי את תורת הרצף המודרנית של המתמטיקה ה(???‏1) מבית היוצר של דורון שדמי.
____________
1- שכחתי איך היא נקראת והרופא אסר עלי להציץ בתגובות לדיון המפורסם ההוא. אולי מונאדית? מר קשר: חפש דיון שמתחיל במילה "טרחנים" וייתכן שבין אלפי התגובות תמצא משהו שידבר אל ליבך.
יציבות ואי-יציבות בלולאה 663640
אינו מוצא יתרון כלשהו בזכרון שאינו כרוך בהבנה כלשהי.
יציבות ואי-יציבות בלולאה 663748
גם הזכרון לא משהו, כך שזה בסדר.
יציבות ואי-יציבות בלולאה 663816
גם הזכרון שלי לא משהו, אבל אני מנסה להבין את מה שאני זוכר.
יציבות ואי-יציבות בלולאה 663817
בהצלחה.
יציבות ואי-יציבות בלולאה 663821
תודה, גם לך.
יציבות ואי-יציבות בלולאה 663762
אבל אף אחד לא מבין. אתה גאון יותר גדול מאיינשטיין, שאותו עוד הבינו איזה שישה-שישה וחצי אנשים.
יציבות ואי-יציבות בלולאה 663768
למה אתה תוקף את "קשר" ? לפי מה שהבנתי "קשר" ניסה להסביר כמיטב יכולתו טענות של הופשטטר שלא הובנו היטב. במסגרת הפורום - ההסבר של "קשר" לא יכול להיות שלם (כי יש גבול ליכולת לתת הסבר אינטואיטיבי לטענות מסובכות).

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

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

אולי יש יותר משישה וחצי שמבינים את "קשר", אבל אם שכ"ג אמר שהוא לא מבין, יהיה די קשה לאתר את חבר המבינים.
יציבות ואי-יציבות בלולאה 663818
שלום אמ

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

האם הטענה כי אין מצב ביניים בין אורך>0 (= ____) לאורך=0 (= .), כאשר ___ ו-. מגדירים זה את זה אך אינם מורכבים זה מזה, אינה מתקבלת על דעתך?

ואם היא אינה מתקבלת על דעתך, מדוע, בדיוק, היא אינה מתקבלת על דעתך?

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

אני הולך בעקבותיו של הופשטטר ומוסיף למשחק את הסיבתיות היורדת, על מנת להבין את המציאות.

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

בסוף צריך להיות: "(שזוהי, כאמור, ההשקפה הרווחת בין רוב המתמטיקאים ומדענים מזה כ-‏2500 שנים)."
יציבות ואי-יציבות בלולאה 663735
אכן, מזכיר את הנ''ל.
יציבות ואי-יציבות בלולאה 663820
נאמר שאגוז-מלך מקולף מזכיר בצורתו את המוח האנושי.

אילו תובנות עולות בך בשל כך?
יציבות ואי-יציבות בלולאה 663838
תגובה 327043, תגובה 327080
יציבות ואי-יציבות בלולאה 663858
תודה אייל אלמוני.

אבקש להתמקד ב-תגובה 327107 בה כותב האייל הצעיר:

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

להבנתי, הראה גדל כי כאשר "משחקים" עם אקסיומות (רמת .) אשר יש בכוחן להתמודד עם אריתמטיקה, ניתן להסיק משפט אמת (רמת ___) אשר יכיחותו אינה כריעה ע"י אוסף אקסיומות, ובכך ניתן (לדעתי) להוסיף ל"משחק" המתמטי גם סיבתיות יורדת, אשר על-פיה משפט (____) הינו אמת שאינה יכיחה ע"י אוסף אקסיומות . (____ הינו הסיבה של אוסף .)

המשותף ל-___ ו-. הינו מושג האורך, כאשר ___ הינו אורך>0 ו-. הינו אורך=0.

לדעתי, הוא מאפשר לנו להבין את יחסי . ו-___ הן ע"י סיבתיות יורדת (____ הינו בתחום וגם לא בתחום . הנמצאת בתחומו (לדוגמא: __._)) והן ע"י סיבתיות עולה (אוסף . מגדיר את תחום ___ (לדוגמא: .___.), ובמקרה זה מקובל להבין את ___ כאוסף לא בר-מנייה של .).

דעתי המפורטת בנידון, המשתמשת במושג "לולאה מוזרה", כתובה ב-תגובה 663630

אודה לך על תגובתך לנ"ל (כולל לתוכן הקישור).
יציבות ואי-יציבות בלולאה 663861
אם מותר לי התערב ולהעיר, הבנתי את הכל עד המשפט:
"להבנתי, הראה גדל כי כאשר "משחקים" עם אקסיומות (רמת .) אשר יש בכוחן להתמודד עם אריתמטיקה, ניתן להסיק משפט אמת (רמת ___) אשר יכיחותו אינה כריעה ע"י אוסף אקסיומות, ובכך ניתן (לדעתי) להוסיף ל"משחק" המתמטי גם סיבתיות יורדת, אשר על-פיה משפט (____) הינו אמת שאינה יכיחה ע"י אוסף אקסיומות . (____ הינו הסיבה של אוסף .)" ומאז לא הבנתי כלום. אני מכיר את המילים בעברית, אני חושב שאני מבין את משמעותן, אבל לא ברור לי איך הן מתחברות למשפט קוהרנטי, ופחות מזה, לא ברור לי:
* כשאתה כותב סוגריים למה אתה מתכוון?
* כשאתה משתמש במילה "רמת" למה אתה מתכוון?
* כשאתה משתמש בנקודה, למה אתה מתכוון?
* כשאתה משתמש בקו תחתי למה אתה מתכוון?

אני חושב שתקל על כולם אם תשתמש בעברית.
יציבות ואי-יציבות בלולאה 663868
שלום אלמוני אחר,

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

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

מתוך עירות לנ"ל, להלן תשובתי:

* הסוגריים הינם השימוש הסימבולי למאמר מוסגר אשר תוכנו יכול להיות אוסף סיבולים או דיאגרמה כגון ___ או . (כאשר התרגום לעברית של ___ הינו "קו", והתרגום לעברית של . הינו "נקודה").

* אני משתמש במושג "רמה" כאמצעי להבחנה בין אורך>0 (רמה גבוהה) לאורך=0 (רמה נמוכה).

* לשיטתי (המשלבת בין ייצוג וורבלי לייצוג ויזואלי של אותה תובנה) משמשת הנקודה כיסוד לסיבתיות עולה.

* לשיטתי (המשלבת בין ייצוג וורבלי לייצוג ויזואלי של אותה תובנה) משמש הקו כיסוד לסיבתיות יורדת.

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

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

בהסתמך על ממצאיו של גדל ותובנותיו של הופשטטר, אני מוסיף ל"משחק" גם את הסיבתיות היורדת, מה שמאפשר, לדעתי, להבין את המציאות במונחים של לולאה-מוזרה, המבוססת על מקור אחד (במקרה זה, משמש מושג האורך כמקור האחד, אשר היבטיו ברמות שונות (אורך>0, אורך=0) מגדירים זה את זה, אך אינם מרכיבים זה את זה, לדוגמא: . ו- ___ מגדירים זה לזה ערכים בהרכב כגון __.___._.______ , אך . (אורך=0) ו-___ (אורך>0 הינם אובייקטים לא-מורכבים, עפ"י הבנתי).
יציבות ואי-יציבות בלולאה 663870
תיקון קטן לסוף תגובה קודמת:

במקום:

"בהסתמך על ממצאיו של גדל ותובנותיו של הופשטטר, אני מוסיף ל"משחק" גם את הסיבתיות היורדת, מה שמאפשר, לדעתי, להבין את המציאות במונחים של לולאה-מוזרה, המבוססת על מקור אחד (במקרה זה, משמש מושג האורך כמקור האחד, אשר היבטיו ברמות שונות (אורך>0, אורך=0) מגדירים זה את זה, אך אינם מרכיבים זה את זה, לדוגמא: . ו- ___ מגדירים זה לזה ערכים בהרכב כגון __.___._.______ , אך . (אורך=0) ו-___ (אורך>0 הינם אובייקטים לא-מורכבים, עפ"י הבנתי)."

צריך להיות:

בהסתמך על ממצאיו של גדל ותובנותיו של הופשטטר, אני מוסיף ל"משחק" גם את הסיבתיות היורדת, מה שמאפשר, לדעתי, להבין את המציאות במונחים של לולאה-מוזרה, המבוססת על מקור אחד (במקרה זה, משמש מושג האורך כמקור האחד, אשר היבטיו ברמות שונות (אורך>0, אורך=0) מגדירים זה את זה, אך אינם מרכיבים זה את זה, לדוגמא: . ו- ___ מגדירים זה לזה ערכים בהרכב כגון __.___._.______ , אך . (אורך=0) ו-___ (אורך>0) הינם אובייקטים לא-מורכבים, עפ"י הבנתי."
יציבות ואי-יציבות בלולאה 663871
הבעיה היא שאתה משתמש ביצוג ויזואלי שלא מקובל ולא מובן (לי, ולא נראה לי שאני היחיד).

* "אני משתמש במושג "רמה" כאמצעי להבחנה בין אורך>0 (רמה גבוהה) לאורך=0 (רמה נמוכה)." אוקי, למה אתה קורה "אורך"?

* "לשיטתי משמשת הנקודה כיסוד לסיבתיות עולה." או. קיי. - הייתי מציע לך למצוע סימון אחר, לנקודה יש כבר מספיק שימושים בעברית (סיום משפט, נקודה עשרונית...) היא קטנה, לא בולטת מספיק, מבלבלת, ולא עוזרת לך לקדם את הנקודה שלך. הקו, לעומתה, בולט יותר מידי _מה גם שאתה לא כותב קו אחד) ומפריע בקריאה רציפה של הטקסט. למה לא ⍾ במקום הנקודה ו-⍢ במקום הקו (למשל)? למה אתה מתכוון כשאתה אומר: "יסוד לסיבתיות עולה" (בפרט: עולה - מאיפה לאן? סיבתיות - של מה? יסוד - למה?).

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

להבנתי, אתה למעשה מציע להמיר שילוב של ייצוג וויזואלי ווורבלי בייצוג וורבלי-סימבולי בלבד (לדוגמא: ⍾ במקום .(אורך=0) ו-⍢ במקום __(אורך>0)).

בכך אתה מגביל את תובנותיך בנושא לייצוג וורבלי-סימבולי בלבד, ולעניות דעתי, הגבלה זו הינה הגורם לשאלותיך הבאות:

"למה אתה מתכוון כשאתה אומר: "יסוד לסיבתיות עולה" (בפרט: עולה - מאיפה לאן? סיבתיות - של מה? יסוד - למה?)."

נסה נא לבחון את שאלותיך תוך שילוב של הייצוגים הוויזואליים והוורבליים .(אורך=0) ו- __(אורך>0).

לדעתי, ניתן בקלות להבין את .(אורך=0) כיסוד לסיבתיות עולה מ-.(אורך=0) ל-__(אורך>0), כאשר .(אורך=0) מייצג את רמת האקסיומות ו-__(אורך>0) מייצג את רמת המשפטים במערכת מתמטית נתונה.

עבודתו של גדל על אי-יכיחות משפטי אמת במערכת מתמטית החזקה דיה להתמודד עם אריתמטיקה, מדגימה כי קיימים משפטי אמת (מיוצגים על-ידי וויזואלית ווורבלית כ- __(אורך>0)) אשר יכיחותם אינה כריעה ע"י אקסיומות המערכת (מיוצגות על-ידי וויזואלית וורבלית ע"י אוסף של .(אורך=0)).

במקרה זה משפט אמת נתון (מיוצג וויזואלית ווורבלית כ-__(אורך>0)) הינו הסיבה של האקסיומות (מיוצגות וויזואלית ווורבלית כאוסף של .(אורך=0)), היות והוא אינו כריע במסגרתן (אי-כריעותו שרירה וקיימת לא משנה כמה אקסיומות נוסיף למערכת), ומצב זה מכונה בפי הופשטטר "סיבתיות יורדת".

האם קראת את ספרו של דאגלס הופשטטר "אני לולאה מוזרה"?
יציבות ואי-יציבות בלולאה 663880
באשר לאורך, אני מגדיר אותו כ: "גורם משותף לביטויים שונים", ובמקרה הנדון, אורך הינו הגורם המשותף לביטויים הוויזואליים-וורבליים .(אורך=0) ו-__(אורך>0).
יציבות ואי-יציבות בלולאה 663883
(תגובה גם לתגובה 663877)

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

"לדעתי, ניתן בקלות להבין את .(אורך=0) כיסוד לסיבתיות עולה מ-.(אורך=0) ל-__(אורך>0), כאשר .(אורך=0) מייצג את רמת האקסיומות ו-__(אורך>0) מייצג את רמת המשפטים במערכת מתמטית נתונה." קראתי את המשפט הזה שלוש פעמים, אני לא יודע, הוא פשוט לא בעברית. לא רק שלא בקלות, גם בקושי רב, הוא פשוט לא מובן. אני פשוט לא מבין את . (אורך=0) כיסוד לשום דבר. אני לא רואה כאן סיבתיות. והשימוש שלך במושג אורך הוא חידה בשבילי.אני לא הולך לשאול מה זה: "רמת המשפטים במערכת מתמטית נתונה" בגלל שאני עדיין מנסה להבין את שאר השאלות ששאלתי.

לא קראתי את ספרו של הופשטטר.

למה אתה קורא ל"גורם משותף לביטויים שונים" אורך? מה זה בכלל "גורם משותף לביטויים שונים"? ובפרט, מה זה: "גורם משותף", ומה זה "ביטוי" ומה הם "ביטויים שונים"? אתה יכול לתת דוגמאטת קונקרטיות, לאיזה ביטויים יש גורם משותף אפס? לאיזה ביטויים יש גורם משותף 0.14? לאיזה ביטויים יש גורם משותף 32?
יציבות ואי-יציבות בלולאה 663886
לדעתי, הייצוגים הוויזואליים . ו-__ אינם שפה פרטית אלא משותפים לכל השפות הוורבליות (ובעברית הם מכונים "נקודה" ו-"קו" בהתאמה).

הגדרתי את "נקודה" ו-"קו" כביטויים שונים של אורך, באופן הבא: .(אורך=0), __(אורך>0), ובזה משמש האורך כגורם (או מושג) משותף בין הביטויים השונים, שהם "נקודה" ו-"קו".

אתה כותב: "אתה יכול לתת דוגמאטת קונקרטיות, לאיזה ביטויים יש גורם משותף אפס? לאיזה ביטויים יש גורם משותף 0.14? לאיזה ביטויים יש גורם משותף 32?"

הדוגמא הקונקרטית הינה לא ערך מספרי מסויים המשוייך לנקודה או קו בהרכב כגון __.___._.______ , אלא שימושו של אורך כמושג משותף לנקודה(אורך=0) ו-קו(אורך>0).

אתה כותב: "אני לא הולך לשאול מה זה: "רמת המשפטים במערכת מתמטית נתונה" בגלל שאני עדיין מנסה להבין את שאר השאלות ששאלתי."

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

במובן זה "אמיתות" האקסיומות הינה הסיבה ל-"אמיתות" המשפט, ומצב זה מכונה סיבתיות-עולה.

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

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

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

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

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

משפטי אמת שנכונותם נובעת מהאקסיומות של המערכת נקראים משפטים בעלי "סיבתיות-עולה", משפטי אמת שנכונותם לא נובעת מהאקסיומות של המערכת נקראים בעלי "סיבתיות יורדת".

הרבה פחות מילים, יותר נכון, בעברית, ולדעתי הרבה הרבה יותר מובן. האם פספסתי משהו?

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

מתוך תובנה זו, אוסף של אורכי 0 אינו מהווה אורך>0, ואורך>0 אינו ניתן לרדוקציה לאורך=0 (ועדיין להחשב כאורך>0).

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

אתה כותב: "משפטי אמת שנכונותם נובעת מהאקסיומות של המערכת נקראים משפטים בעלי "סיבתיות-עולה", משפטי אמת שנכונותם לא נובעת מהאקסיומות של המערכת נקראים בעלי "סיבתיות יורדת"."

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

מכיוון שהשתמשת במושגים "עולה" ו-"יורדת" כהנחה סמויה, אין זה מפתיע שאתה שואל את השאלות הבאות:

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

נסה נא לנסח מחדש את הגדרתך ללא הנחות סמויות, ולדעתי, יוביל הדבר למענה לשתי השאלות הנ"ל.
יציבות ואי-יציבות בלולאה 663892
כמו-כן, הרשה לי תיקון להגדרה שלך:

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

גם בהגדרה מתוקנת זו קיימת ההנחה הסמויה, שהוזכרה לעיל.
יציבות ואי-יציבות בלולאה 663894
ולתיקון הקודם אוסיף תיקון נוסף:

מערכת שבה אמיתותם של כל המשפטים מוכחת ע"י אקסיומות המערכת, נקראת מערכת בעלת סיבתיות-עולה.

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

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

"מתוך תובנה זו, אוסף של אורכי 0 אינו מהווה אורך>0, ואורך>0 אינו ניתן לרדוקציה לאורך=0 (ועדיין להחשב כאורך>0)." לא. סליחה, זה פשוט לא נובע מה"תובנה" הזאת.

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

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

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

מה, לדעתך, "פשוט לא נובע מה"תובנה" הזאת"? כי הרי בפירוש אתה מצהיר לפני כן "לא הבנתי." ולהלן דבריך:

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

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

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

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

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

"הרי בפירוש אתה מצהיר לפני כן "לא הבנתי."" נכון, לא הבנתי מה מיוחד בנקודה, קו ואורך שהדליק אותך כל כך.

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

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

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

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

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

לפני שתתחיל, אנא כך בחשבון כי כדי שאי-הסכמתך תהיה בעלת תוקף מתמטי, עליך להוכיח, לדוגמא, כי 1=0.

בהצלחה.
יציבות ואי-יציבות בלולאה 663911
יש שתי בעיות שמקשות עלי לנהל איתך דיון. אתה משתמש במושגים פרטיים שלא הגדרת, ואתה קופץ הרבה יותר מידי שלבים קדימה בלי להסביר.

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

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

"אם אינך מסכים למושג הסיבתיות-היורדת ולהכללתה למושג המימד (כפי שתיארתי לעיל) אנא, הדגם באופן מתמטי כי, לדוגמא, אורך>0 ניתן לרדוקציה לאורך=0 וגם להחשב לאורך>0."
לגמרי לא תיארת את מושג הממד, סתם הפלת אותו עלי. בכל מקרה, זה די פשוט, בו נגדיר מערכת אקסיומתית פסאודו-גיאומטרית עם שתי "נקודות" בלבד (נקרא להם דוד ושלמה), לכל אחד אורך אפס, וקו אחד (נקרא לו קו דוד-שלמה) שמכיל את שתי הנקודות ביקום שלנו, ובעל אורך 2.8. הנה, יש לנו אורך>0 שניתן לרדוקציה לאורך=0 וגם להחשב אורך>0.

למה אני צריך להוכיח ש:0=1 (לא שיש לי בעיה מיוחדת להוכיח את זה‏1, רק שאני לא רואה מה הטעם).

1 אלא אם כן אני חייב להשתמש ב-‏0 ו-‏1 המוכרים, ואז יש לי בעיה קטנה.
יציבות ואי-יציבות בלולאה 663917
ועוד כתבת:

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

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

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

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

ראה ידידי, לפחות נסה להבין את המושג "סיבתיות-יורדת" כפי שהציג אותה הופשטטר בספרו "אני לולאה מוזרה" (שזהו, דרך אגב, הנושא של דיון זה).

באשר לי, איני מוצא כל בעיה להכליל "סיבתיות-יורדת" ע"י שימוש בקו לא-מורכב ביחס לנקודה (שמיותר לציין את אי-מורכבותה), או להכליל "סיבתיות-עולה" ע"י שימוש בנקודה (שמיותר לציין את אי-מורכבותה) ביחס לקו לא-מורכב.

כמו-כן הבה נתבונן שוב במשפט הבא שכתבת:

"לא הבנתי. זאת סתם הגדרה של "מאפיין"."

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

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

נדמה שכבר הבהרתי לך כי אין שום דבר מיוחד באורך וביטויו כקו ונקודה, אך משום מה אתה מתעקש למצוא בהם משהו מיוחד במקום להשתמש בהם בהכללה (מה שנקרא במתמטיקה, שימוש במקרה פרטי "ללא איבוד הכלליות" Without_loss_of_generality [Wikipedia]).
יציבות ואי-יציבות בלולאה 663913
אתה כותב:

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

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

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

ואחרי כל הדו-שיח ביננו אתה עדיין מפרש את . ו-__ כאילו היו ביטויים וורבליים-סימבוליים ולא ביטויים וויזואליים, בקיצור, לאיזה הישג אתה טוען?
יציבות ואי-יציבות בלולאה 663914
אני מרים ידיים. בהצלחה.
יציבות ואי-יציבות בלולאה 663918
לפני שאתה מרים ידיים, כדי שתציץ ב-תגובה 663917
יציבות ואי-יציבות בלולאה 663919
ועוד כתבת:

"זה די פשוט, בו נגדיר מערכת אקסיומתית פסאודו-גיאומטרית עם שתי "נקודות" בלבד (נקרא להם דוד ושלמה), לכל אחד אורך אפס, וקו אחד (נקרא לו קו דוד-שלמה) שמכיל את שתי הנקודות ביקום שלנו, ובעל אורך 2.8. הנה, יש לנו אורך>0 שניתן לרדוקציה לאורך=0 וגם להחשב אורך>0."

בוא ונבחן את ה-"די פשוט" שלך:

אם המערכת שלך הינה בעלת שתי נקודות וקו, אין זה אומר כלל כי הקו ניתן לרדוקציה לאחת מהנקודות, או במילים אחרות, לא הראית כי הקו (אורך>0) ניתן לרדוקציה לנקודה (אורך=0) ועדיין נחשב לקו (אורך>0) במערכת שלך.

אם זוהי דוגמא לתובנותיך בנושא, אין פלא שאינך מבין את תובנותי בנושא.
יציבות ואי-יציבות בלולאה 663920
כדאי שגם אתה תקרה את דיון 2396 ואשמח אם תראה לי במאמר זה איזו שהיא התיחסות לסיבתיות-יורדת.
יציבות ואי-יציבות בלולאה 663921
הינה הקטע הרלוונטי מהמאמר של אלון עמית על משפטי אי-השלמות של גדל:

"נדגיש שוב את הנקודה העיקרית: את מה שאנחנו, בני־האדם, יכולים לראות, יכולה גם התורה הפורמלית (למשל, שאם T עקבית אז G אינה ניתנת להוכחה); את מה שהתורה הפורמלית לא יכולה להוכיח (את G עצמה), גם אנחנו לא יכולים. ככל הידוע למשפט גדל, בני־אדם אינם יודעים יותר מתורות פורמליות."

אלון שכח לציין כי T אינה יכולה להיות גם שלמה וגם עקבית, כדי להוכיח את אמיתות G במסגרתה.

במילים אחרות, G הינה אמת בלתי יכיחה ב-T בתנאי ש-T הינה עיקבית אך לא שלמה (אי-יכיחות אמיתות G ב-T נותרת בעינה גם אם נוסיף לה אינסוף אקסיומות, ומצב זה מכונה סיבתיות-יורדת).

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

"השיטה האקסיומטית

איך אפשר להוכיח דבר־מה, לדעת בוודאות גמורה שמשהו נכון? ילדים מומחים בלנהל עם מבוגרים דיאלוגים מייאשים מהסוג הבא: "אם תעזוב את הבובה, היא תיפול למים." – "למה?" – "זה נקרא כוח המשיכה. דברים נופלים." – "למה?" – "המממ... כי לכדור הארץ יש מסה...?" – "למה?" – "כי ככה אמא אומרת! די!" לוגיקה היא דרך מסודרת להוכיח דבר מתוך דבר. כיוון שכך, צריך להתחיל ממשהו, ואותו משהו נקרא הנחות־יסוד, או אקסיומות. את אלה אין אנו מוכיחים; אנו מקבלים אותן כי הן נראות סבירות, או שימושיות למטרה מסויימת. אחרי שהחלטנו על האקסיומות עלינו להסכים גם על כללי־היסק לוגיים, ואז אפשר לגזור מסקנות בצורה פשוטה: כל מסקנה היא או בעצמה אקסיומה, או שהיא נובעת ישירות ממסקנות קודמות על־ידי אחד מכללי־ההיסק.

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

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

שלישית, התחום המתמטי העוסק בנושאים הללו משתמש במונחים המוכרים לנו משפת היום־יום – "שפה", "תורה", "הוכחה", "אמת" ו"עקביות". אבל, כדרכה של מתמטיקה, המשמעות של המונחים הללו היא כאן מדוייקת, פורמלית, וכתוצאה מכך שונה למדי ממשמעותם הרגילה. "תורה", למשל (המכונה לעתים גם "מערכת"), היא אוסף של אקסיומות וכללי־היסק; "הוכחה" בתורה היא סדרה של "נוסחאות", שכל אחת מהן היא שרשרת של סימנים ב"שפה", והנוסחה האחרונה בסדרה היא הטענה אותה רצינו להוכיח (והיא, אם כך, "יכיחה"). הכללים הקובעים האם הוכחה כזו היא תקפה הם לגמרי מכניים, או "תחביריים": הם מתייחסים אך ורק לשרשראות הסימנים, ולא למשמעויות השונות שאנחנו יכולים לייחס לסימנים הללו. מושג ה"אמת", לעומת זאת, הוא מושג סמנטי, וגם לו יש הגדרה פורמלית התלויה ב"מודל" של השפה.

בשל מחלוקות מתמטיות שונות (וכמה שגיאות) שהתגלעו בסוף המאה ה-‏19, התחזק הרצון להבהיר בדיוק אילו אקסיומות דרושות במתמטיקה, ובפרט, לברר האם אפשר להיפטר מכמה הנחות שנויות במחלוקת. נסיון מסוג זה הופיע בספרם המונומנטלי של ראסל ו־ווייטהד "פרינקיפיה מתמטיקה" (PM), ונמשך כתכנית מעט מעורפלת המכונה היום "תכנית הילברט". על רקע זה נולד משפט גדל."

---------------------------------

אחלץ מקטע זה את התכנים העיקריים (לדעתי):

1. הנחות-יסוד הינן מסקנות שאינן מוכחות ואנו מקבלים אותן (מבלי להוכיחן) מפני שהן נראות סבירות, או שימושיות למטרה מסויימת.

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

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

4. תורה מתמטית (נסמנה כ-T) היא אוסף של אקסיומות וכללי־היסק.

5. מושג ה"אמת" במתמטיקה הינו הגדרה פורמלית התלויה ב"מודל" (פירוש אפשרי להגדרה הפורמלית) המשמש במסגרת תורה מתמטית נתונה.

---------------------------------

...

"מה גדל כן

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

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

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

המשפט הראשון: אם T תורה אריתמטית, אפקטיבית ועקבית, אז יש נוסחה G כך ש-T אינה מוכיחה את G וגם אינה מוכיחה את שלילתה של G. מכאן ש-T איננה שלמה.

המשפט השני: אם T תורה אריתמטית ואפקטיבית, אז יש נוסחה C האומרת "T היא עקבית". אם, בנוסף, T עקבית, הנוסחה C אינה ניתנת להוכחה ב-T."

---------------------------------

אחלץ מקטע זה את התכנים העיקריים (לדעתי):

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

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

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

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

4. תורה "אריתמטית" הינה אוסף של אקסיומות וכללי היסק המאפשרים לנסח ולהוכיח בה מספר משפטים בסיסיים הקשורים במספרים.

"המשפט הראשון: אם T תורה אריתמטית, אפקטיבית ועקבית, אז יש נוסחה G כך ש-T אינה מוכיחה את G וגם אינה מוכיחה את שלילתה של G. מכאן ש-T איננה שלמה."

(בקיצור T אינה (אריתמטית, אפקטיבית ועקבית) וגם (שלמה)).

"המשפט השני: אם T תורה אריתמטית ואפקטיבית, אז יש נוסחה C האומרת "T היא עקבית". אם, בנוסף, T עקבית, הנוסחה C אינה ניתנת להוכחה ב-T."

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

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

---------------------------------

...

קטע מתוך "מה גדל לא

"שתי שגיאות נפוצות נוספות הן הטענות "יש משפטים שבני־אדם רואים שהם אמיתיים, אבל תורות פורמליות לא יכולות להוכיח" ו"יש משפטים שבני־אדם רואים שהם אמיתיים, ומחשבים לא יוכלו לראות זאת לעולם". הצהרות מסוג זה נאמרו על־ידי הפילוסוף ג'ון סרל (Searle), הפיזיקאי רוג'ר פנרוז (Penrose) ואחרים. האם יש באמת משפטים שאנחנו רואים שהם אמיתיים, אבל אי־אפשר להוכיח אותם פורמלית? כותב שורות אלה, אישית, משוכנע שאין; בכל אופן, משפט גדל בהחלט לא מספק לנו כאלה, וכמוהו גם לא משפטים קרובים לו (כגון משפט טיורינג על בעיית העצירה).

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

לא. הטעות היא שההוכחה לא מראה ש-G נכונה; היא רק מראה שאם T עקבית, אז G נכונה, ובדיוק את הרישא של המשפט הזה אנחנו לא יודעים (ו-T לא יכולה להוכיח). גדל היה מודע היטב לדקות הזו, והקדיש את סעיף 4 במאמרו המקורי לניתוח ההשלכות שלה. תוצאות הניתוח הן בדיוק המשפט השני שלו: את הטענה "אם T עקבית, אז G נכונה" בהחלט אפשר להוכיח ב-T, וקל להראות ש-G שקולה ב-T לנוסחת העקביות, אותה כינינו C.

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

---------------------------------

אחלץ מקטע זה את התכנים העיקריים (לדעתי):

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

לא. הטעות היא שההוכחה לא מראה ש-G נכונה; היא רק מראה שאם T עקבית, אז G נכונה, ובדיוק את הרישא של המשפט הזה אנחנו לא יודעים (ו-T לא יכולה להוכיח). גדל היה מודע היטב לדקות הזו, והקדיש את סעיף 4 במאמרו המקורי לניתוח ההשלכות שלה. תוצאות הניתוח הן בדיוק המשפט השני שלו: את הטענה "אם T עקבית, אז G נכונה" בהחלט אפשר להוכיח ב-T, וקל להראות ש-G שקולה ב-T לנוסחת העקביות, אותה כינינו C."

-------

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

טענה 1: אם T עקבית, אז "G אינה יכיחה בתורה T" הינה טענת "אמת" במסגרת תורה T.

טענה 2: אם T עקבית, אז "T היא עקבית" הינה טענת "אמת" במסגרת תורה T.

איני חושב שטענות 1 ו-‏2 שקולות זו לזו במסגרת תורה T, היות וטענה 2 הינה טענה טריוואלית מעגלית שאינה קשורה כלל למסקנות משפטי אי-השלמות של גדל, בעוד שטענה 1 קשורה אף קשורה למשפטים אלה, שעל פיהם T אינה "אריתמטית, אפקטיבית ועקבית" וגם "שלמה".
יציבות ואי-יציבות בלולאה 663981
כפי שכותב אלון עמית: "את הטענה "אם T עקבית, אז G נכונה" בהחלט אפשר להוכיח ב-T"

אך אם T עיקבית, אז הנוסחה "G אינה יכיחה בתורה T" הינה "אמת" ב-T שאינה יכיחה ב-T, ולכן T אינה תורה שלמה גם אם נוסיף לה אינסוף אקסיומות וכללי היסק.

השתמשתי במושג האורך ובביטויו אורך=0 ו-אורך>0, כך שאוסף אורכי 0 אינו מהווה אורך>0, ואורך>0 אינו ניתן לרדוקציה לאורך=0 וגם מהווה אורך>0.

הגדרתי שקילות בין אוסף אורכי 0 לאקסיומות של תורה T, ושקילות בין אורך>0 לנוסחה G בתורה T, שהינה "אמת" ב-T אך אינה יכיחה ב-T.

יש לשים לב כי G הינה נוסחת "אמת" בתורה T בתנאי ש-T עיקבית, אך לא-שלמה.

השקילות לעיקביות T עפ"י מושג האורך היא שכל אורכי 0 ממוקמים בתחום אורך>0.

השקילות לאי-שלמות T עפ"י מושג האורך היא ששום כמות (סופית או אינסופית) של אורכי 0 הממוקמים בתחום אורך>0, אינו מהווה את אורך>0.

ובהכללה למושג המימד, אוסף כל המימדים הקטנים ממימד נתון והממוקמים בתחומו, אינו מהווים את המימד הנדון.

עפ"י הנ"ל מתקבלת סיבתיות-יורדת, שבה המימד הגבוה הינו "אמת" המשמשת כסיבה לאוסף "אמיתות" (מימדים הקטנים ממנו והממוקמים בתחומו), אשר אין בכוחן להוות את "אמיתותו".
יציבות ואי-יציבות בלולאה 663860
כמו-כן אודה על תגובה ל-תגובה 663818

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

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