בתשובה לדורון שדמי, 27/10/05 0:59
The axiom of extensionality והנחת המבוקש 341191
נו, אז אם השפה שלך לחלוטין שונה מהשפה שלי, אז אין לנו על מה לדבר בכלל.
אני לא מאמין בכך. אני חושב שכשאתה אומר ''מגדירה'' אתה מתכוון למילה ''מגדירה'' כמו שאני מבין אותה. אבל זו טעות.
The axiom of extensionality והנחת המבוקש 341295
"נו, אז אם השפה שלך לחלוטין שונה מהשפה שלי, אז אין לנו על מה לדבר בכלל."

תגובה מוזרה, כי הריי גישרתי בין ניסוחיך לניסוחיי בכך שאמרתי כי:

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

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

בכל אופן, הסבר נא לי בפירוט מהי הגדרה באינך ומהו ההבדל בין "הגדרה" ל-"רק אומרת משהו" ?

תודה.
The axiom of extensionality והנחת המבוקש 341329
תיקון להודעה קודמת:

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

תודה.
The axiom of extensionality והנחת המבוקש 341345
אני חושב שהסבירו לך כמה פעמים.
ובכל זאת: הגדרה = נוסחה שיש רק איבר אחד שמקיים אותה.

הכוונה ב "רק אומרת משהו" היא שהנוסחה הזו, אם מתקיימת, אומרת משהו על המודל. כמו למשל אקסיומת ההקפיות אומרת שהמודל מקיים איזה שהוא קשר בין שוויון לשיכות. שני הדברים - שוויון ושייכות הם יחסים כלשהם במודל, כששוויון הוא יחס הזהות, ושייכות הוא יחס אחר.
The axiom of extensionality והנחת המבוקש 341381
אומר זאת שוב:

שייכות מתקיימת אם ורק אם אנו משתמשים ביכולת מובנית שלנו להבחין בין זהה לשונה, ואז ורק אז אנו יכולים לשייך את תוצרי הבחנה זו לקבוצות, כאשר זהות ואי-זהות משמשות במשולב כאמצעי לשיוך, ללא שום תלות בקיומה או אי-קיומה של אקסיומת ההיקפיות.
The axiom of extensionality והנחת המבוקש 341387
"כמו למשל אקסיומת ההקפיות אומרת שהמודל מקיים איזה שהוא קשר בין שוויון לשיכות. שני הדברים - שוויון ושייכות הם יחסים כלשהם במודל, כששוויון הוא יחס הזהות, ושייכות הוא יחס אחר."

מה המשממעות של "איזה שהוא קשר" ?

מה המשמעות של "ושייכות הוא יחס אחר" ?

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

מזה "מקיים איזה שהוא קשר" ?

מזה "מודל" ?
The axiom of extensionality והנחת המבוקש 341393
ראשית, בעברית כותבים "מה זה", ולא "מזה".

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

2. מה המשמעות של "ושייכות הוא יחס אחר" ?
שייכות היא איזה שהוא יחס דו מקומי. אם מדובר על מודל כלשהו של ZFC, אזי הוא מקיים את כל האקסיומת שכתובות שם.

3. מה ניתן להבין מתוך הנוסח המעורפל: "אקסיומת ההקפיות אומרת שהמודל מקיים איזה שהוא קשר בין שוויון לשיכות."
חזור ל1.

4. מזה "מקיים איזה שהוא קשר" ?
כנ"ל.

5. מזה "מודל" ?
מודל הוא קבוצה בה האקסיומות של תורה כלשהי מתקיימות. למשל, כל קבוצה היא מודל של התורה הריקה (שלא אומרת דבר).
The axiom of extensionality והנחת המבוקש 341510
אקסיומת ההיקפיות:

1) יש זהות בין קבוצות אםם כל איבר ששייך לאחת שייך גם לאחרת.

2) יש שוני בין קבוצות A ו-B, אם קיימת קבוצה C ב-A אך לא ב-B או ב-B אך לא ב-A.

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

(1) ו- (2) מתקיימות אםם ניתן להבחין בין זהות לשונות, לדוגמא:

אם אנו מבחינים *רק* בשונות הריי ש-{a,a,a,a} מובחן כ-{}.

אם אנו מבחינים *רק* בזהות הריי ש-{a,b} מובחן כ-{}.

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

אקסיומת ההיקפיות "לא תמיד עובדת" ב-(2) לדוגמא:

אם אנו בוחנים את יכולתה של אקסיומת ההיקפיות לקבוע את היחודיות בין {1} ל- {2}, אז היות ו-C אינו משתנה חופשי הריי שהוא חייב להיות שונה מ |{{}}|(=1) או שונה מ- |{{{}},{}}|(=2), אך היות וב-{1} ו-{2} אין יותר מאיבר אחד בכל קבוצה, הריי ש-C אינו יכול להתקיים כלל (אפילו לא כקבוצה ריקה), ולכן אקסיומת ההיקפיות תקיפה רק אם A או B הן קבוצות זהות, או שיש הפרש של לפחות איבר אחד בין A ל-B המקיים את C.

איזה טעם יש לשמר אקסיומה זו, עם בכל מקרה היא מבוססת על יכולת זיהוי-השונות הטמונה בנו, ואנו משתמשים בכל מקרה ביכולתנו כדי "לסתום חורים" שבהם אקסיומת-ההיקפיות לא-עובדת?
The axiom of extensionality והנחת המבוקש 341527
1 ו2 הם אותו דבר.

דורון, אפילו כשאתה כותב {a,b} אתה משתמש באקסיומת ההקפיות. בלעדיה, אולי יש עוד קבוצה שאיבריה הם רק a ו b ? ואם יש כזו למה אתה מתכוון כשאתה כותב {a,b}?
The axiom of extensionality והנחת המבוקש 341822
אח של סמיילי:
"אפילו כשאתה כותב {a,b} אתה משתמש באקסיומת ההקפיות"

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

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

{a,b} הינה צורה כללית המייצגת בין השאר גם את {{1},{2}}, אז הסבר נא איך {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות (כדבריך) *וגם* מבוססת (כדבריך) על *הגדרה* המשתמשת באקסיומת ההקפיות ?
The axiom of extensionality והנחת המבוקש 341842
כבר שאלת אותי את זה ועניתי לך. לא זוכר איפה, אז אני עונה שוב: מותר להשתמש באקסיומה כדי למצוא מודל שבו היא אינה מתקיימת. אין כאן כל סתירה. במקרה שלנו מגדירים את המודל (= העולם) בעזרת אקסיומת ההקפיות, ובעולם זה אקסיומה זו אינה מתקיימת.
The axiom of extensionality והנחת המבוקש 341847
הפעם הבנתי אותך, תודה.

אנא עיין בתגובה 341846
The axiom of extensionality והנחת המבוקש 341389
אומר זאת שוב:
אתה צריך לנסח את המשפטים שלך בצורה קצת יותר ברורה. אני לא מסוגל להבין את מה שכתבת למעלה.

מה זה "זהות ואי-זהות משמשות במשולב כאמצעי לשיוך"?

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

אני מקווה שיש כאן מישהו שקורא את זה ויכול להסביר לדורון את הדברים האלו יותר טוב, או לחילופין מישהו שמבין מה דורון אומר ויכול להסביר לי. אז אם אתה אי שם, בבקשה תענה!
The axiom of extensionality והנחת המבוקש 341394
הייתי עושה את זה ברצון, אבל יותר מזה אני רוצה לראות את הדיון שובר את רף 10000 התגובות.
The axiom of extensionality והנחת המבוקש 341396
אנא ענה ל:

תגובה 341266

תגובה 341278

תודה.

בהמשך לתגובות הנ"ל, אחזור על דברי בשנית:

אקסיומת ההיקפיות קובעת שייחודה של קבוצה נקבעת עפ"י איבריה, אבל איבריה של קבוצה (לפי ZF) תמיד מובחנים זה מזה ללא תלות בקיומה של האקסיומה, ולכן יכולת ההבחנה המוגדרת ע"י האקסיומה, נובעת מיחודיות איבריה של קבוצה ולא מקיומה של האקסיומה, ולכן אקסיומה זו מגדירה ייחודיות על ידי שימוש בייחודיות.
The axiom of extensionality והנחת המבוקש 341418
"איבריה של קבוצה (לפי ZF) תמיד מובחנים זה מזה ללא תלות בקיומה של האקסיומה" - נכון, אבל אין כאן סתירה. העובדה ש-a ו-b יכולים להיות *שונים*, לא אומרת בהכרח ש-{a,b} ו-{a,a,b} הן קבוצות זהות. יותר חשוב, היא לא אומרת שלא יכולות להיות שתי קבוצות שיהיו בהן *בדיוק* אותם איברים, אבל הן יהיו שתי קבוצות שונות. בשביל זה צריך את האקסיומה.
The axiom of extensionality והנחת המבוקש 341441
אומר זאת שוב:

אקסיומת ההיקפיות אינה קובעת את היחס שביו זהות ושייכות.

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

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

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

The axiom of extensionality:

Given any set A and any set B, A is equal to B if and only if, given any set C, C is a member of A if and only if C is a member of B.

what the axiom is really saying is that two sets are equal iff they have precisely the same members. The essence of this is:

A set is determined uniquely by its members.

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

A ו- B הן קבוצות שונות אם ורק אם קיימת קבוצה C ב-A ולא ב-B , או ב-B ולא ב-A .

אם אנו בוחנים את יכולתה של אקסיומת ההיקפיות לקבוע את היחודיות בין {1} ל- {2}, אז (אם הבנתי את דבריך) אתה טוען כי היות ו-C אינו משתנה חופשי הריי שהוא חייב להיות שונה מ |{{}}|(=1) או שונה מ- |{{{}},{}}|(=2), אך היות וב-{1} ו-{2} אין יותר מאיבר אחד בכל קבוצה, הריי ש-C אינה יכול הלהתקיים כלל (אפילו לא כקבוצה ריקה), ולכן אקסיומת ההיקפיות תקיפה רק אם A או B הן קבוצות זהות או שיש הפרש של לפחות איבר אחד בין A ל-B המקיים את C.

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

אם אנחנו אכן לא נזקקים לאקסיומה, כדבריך, הרי שהכלל "ייחוד הקבוצה ע"פ זהות האיברים" חייב לחול בכל מערכת. האם הוא פועל עבור קבצי זיפ? לא. יכולים להיות שני קבצי זיפ *שונים* שיש בהם בדיוק את אותם איברים.
The axiom of extensionality והנחת המבוקש 341501
פשששש. יפה.
The axiom of extensionality והנחת המבוקש 341518
"יכולים להיות שני קבצי זיפ *שונים* שיש בהם בדיוק את אותם איברים."

אם האיברים של הקבצים הנ"ל נמצאים במקומות שונים על ה-HARDDISK שלך, אז אין הם בדיוק אותם איברים.

אם האיברים של הקבצים הנ"ל קיימים פעם אחת בלבד על ה-HARDDISK שלך אז שניי הקבצים הם אותו קובץ.
The axiom of extensionality והנחת המבוקש 341820
האייל האלמוני בתגובה קודמת הוא אני.
The axiom of extensionality והנחת המבוקש 341872
על מה אתה מדבר? השאלה "איפה הקבצים נמצאים על ההארד-דיסק" היא חסרת משמעות. אין שום סיבה שעותק של האיברים בכלל יהיה על ההארד-דיסק. יש אפשרות שקובץ יתקיים בקובץ זיפ בלבד.
The axiom of extensionality והנחת המבוקש 341894
אני חושב שהכוונה היא שהביטים של קובץ הזיפ עצמו (שהם הקבצים המכווצים) צריכים להיות באותו מקום על ההארד דיסק.

כמובן שכל סיפור הזיפים מיותר. פשוט תחשוב על שני מצביעים לאותו מערך בשפת התכנות האהובה עלייך.
The axiom of extensionality והנחת המבוקש 341916
זה יפתיע אותי אם לכך הוא התכוון.
The axiom of extensionality והנחת המבוקש 341935
"זה יפתיע אותי אם לכך הוא התכוון."

מדוע זה מפתיע אותך שלכך אני מתכוון?
The axiom of extensionality והנחת המבוקש 341942
פתאום נזכרתי בתוכנת ELIZA :-)
I: My friend is an idiot.
Eliza: Why do you say your friend is an idiot?

http://www-ai.ijs.si/eliza/eliza.html

דורון, אני אשמח אם נחזור לנושא הדיון: תגובה 341872.
The axiom of extensionality והנחת המבוקש 341951
לא יקירי, אם אתה מתייחס אלי מתוך עמדה של התנשאות, אינך פנוי להבין את דבריי כי אתה עסוק יותר מדיי באגו שלך.

ולכן אשאל אותך בשנית, מדוע אתה חושב שאיני מסוגל להבין את ההבדל שבין קיומם של שניי העתקים בלתי-תלויים (היכולים לעבור שינויים בנפרד) של תוכן זהה, לבין קובץ אחד ויחיד ששני פויינטרים נפרדים מצביעים אליו ( וכל שינוי בקובץ יתבטא בצפייה דרך הפויינטרים, מכיוון שאנו עוסקים בקובץ אחד ויחיד)?
The axiom of extensionality והנחת המבוקש 341469
" העובדה ש-a ו-b יכולים להיות *שונים*, לא אומרת בהכרח ש-{a,b} ו-{a,a,b} הן קבוצות זהות. יותר חשוב, היא לא אומרת שלא יכולות להיות שתי קבוצות שיהיו בהן *בדיוק* אותם איברים, אבל הן יהיו שתי קבוצות שונות. בשביל זה צריך את האקסיומה."

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

אם אתה משתמש בו אתה יכול לחסוך את הסיבוכיות במה שכתבת לעיל, לדוגמא:

1) a הוא לא b .

2) אם קיים {a,a,b} אז נשאיר רק את המינימום ההכרחי ונקבל {a,b} .

3) אם a הוא b , אז נשתמש או ב-{a} או ב-{b} בהתאת לצורך.

4) בשביל הנ"ל לא צריך שום אקסיומה, כי אנו משתמשים ביכולת *זיהוי-השונות* הטמונה בנו.
The axiom of extensionality והנחת המבוקש 341405
" הגדרה = נוסחה שיש רק איבר אחד שמקיים אותה."

הפנה אותי בבקשה למקור מהימן המגדיר "הגדרה" באופן הנ"ל.

הפנה אותי בבקשה למקור מהימן המשתמש ב-"רק אומרת משהו" כביטוי מתמטי.
The axiom of extensionality והנחת המבוקש 341422
ב''מתמטית'', במקום ''רק אומרת משהו'' אומרים ''טענה'' או ''פסוק''.
The axiom of extensionality והנחת המבוקש 341429
האם קיימת הגדרה למושג "הגדרה" בשפת המתמטיקה?

אם כן, אז הפנה נא אותי למקור מהימן המגדיר "הגדרה".
The axiom of extensionality והנחת המבוקש 341430
כבר ציינתי שעכש''י אין הגדרה ל''הגדרה'' בלוגיקה מתמטית, ואני גם לא רואה סיבה שתהיה. הרי, בהינתן מושגי יסוד, אפשר להסתדר גם בלי הגדרות (טוב, בני אדם לא יכולים שלא להשתמש בהגדרות ובכל זאת להישאר שפויים, אבל לוגיקה מתמטית לא עוסקת בבני אדם).
The axiom of extensionality והנחת המבוקש 341435
אם כך, האם לדעתך תוכן תגובה 341345 הינו המצאתו האישית של האח של סמיילי, ואיננה מקובלת על קהילת המתמטיקאים?
The axiom of extensionality והנחת המבוקש 341440
זה לא מדויק. יש הגדרה ל "הגדרה". וזה מה שכתבתי (בערך - אפשר להרחיב את זה גם לסימני יחס ופונקציה ולאו דווקא קבועים). ואפילו יש משפטים שמתעסקים עם זה, למרות שרובים אומרים דברים שנראים אולי מובנים מאליהם, הם בכל זאת מעניינים (כמו למשל משפט בת' Beth).
The axiom of extensionality והנחת המבוקש 341452
מושג ההגדרה לפי וויקיפדיה: http://he.wikipedia.org/wiki/%D7%94%D7%92%D7%93%D7%A...
The axiom of extensionality והנחת המבוקש 341496
שם זה מוסבר מבחינה פילוסופית. חשבתי שאנחנו מדברים על מתמטיקה. לפעמים מילים שונות יכולות לקבל משמעות שונה בהקשרים שונים. בהקשר של מתמטיקה פורמלית, הגדרה זה מה שאני אמרתי.
The axiom of extensionality והנחת המבוקש 341504
תוכל לפרט קצת על משפט בת'? לא מצאתי עליו מקורות מספיקים ברשת.
The axiom of extensionality והנחת המבוקש 341519
כן: נניח שיש לנו שפה מסדר ראשון L, ונניח ש 'L מכילה אותה ויש בה עוד יחסים.
כמו כן יש לנו תורה שלמה בשפה L שנקרא לה T.
נאמר ש 'T היא הרחבה גדירה של T אם לכל יחס ב 'L , נניח R, יש נוסחה בשפה L כך ש 'T חושבת ש R שקול לנוסחה הזו. (שקול - שלכל n יה בעולם, R והנוסחה הזו מסכימים).
משפט בת': תנאי הכרחי ומספיק לכך ש 'T הרחבה גדירה של T הוא שלכל מודל של T יש הרחבה יחידה למודל של 'T.
בניסוח אחר, קצת פחות פורמלי - הגדרה סתומה היא בעצם הגדרה מפורשת.
The axiom of extensionality והנחת המבוקש 341873
וואלה, מעניין. תודה!
The axiom of extensionality והנחת המבוקש 341979
"שלכל מודל של T יש הרחבה יחידה למודל של 'T."

האם הכתוב לעיל אומר שלכל מודל T יש מקבילה חד-משמעית ב-'T ?
The axiom of extensionality והנחת המבוקש 341983
אני לא יודע אם זה טעות או בכוונה, אבל T הוא לא מודל, וחסרה בתגובה שלך המילה "של".
כמו כן, אני לא בטוח שאני מבין למה אתה מתכוון כשאתה אומר "מקבילה חד משמעית".
אני חושב שהניסוח שלי היה מאוד מובן, ואין צורך למצוא ניסוח אחר. אם אתה לא מבין אותו, תשאל.
The axiom of extensionality והנחת המבוקש 341438
אני לא מכיר מקור מקוון. מצטער. אבל אם בא לך לקרוא קצת בספרים (והרי ביננו קשה מאוד - ונראה לי שאתה ההוכחה - ללמוד מתמתטיקה מהאינטרנט, צריך ספרים, ועדיף גם בני אדם בשר ודם ולוח וגיר), אז תלך לספר ''לוגיקה מתמטית א'' של עזריאל לוי, פרק יג - ''מושג ההגדרה''. הוא כותב שם אפילו יותר.
The axiom of extensionality והנחת המבוקש 341445
"אז תלך לספר "לוגיקה מתמטית א" של עזריאל לוי, פרק יג - "מושג ההגדרה""

על איזה מקורות מסתמך עזריאל לוי בפרק יג ?
The axiom of extensionality והנחת המבוקש 341498
תהיה בטוח שהוא לא מסתמך על וויקיפדיה.
הבן אדם המציא (אני קצת מגזים, אל תתפוס אותי במילה) את הלוגיקה המתמטית, הוא יכול להסתמך על עצמו.
The axiom of extensionality והנחת המבוקש 341513
'' הוא יכול להסתמך על עצמו.''

לא מדוייק.

הוא יכול להסתמך על עצמו אםם קהילתו מקבל את סמכותו.

בקיצור, הכל תלוי בהסכם בין קהילת אנשים, ואין כאן שום ''תורה מסיני''.

אם תבין את זה, אח של אייל, יהיה לך קל יותר להבין אותי.
The axiom of extensionality והנחת המבוקש 341524
אני לא אח של אייל.

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

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

אנא הוכח את טענתך.
ניבוי עתידות 101 341529
טוב, בסדר. קודם אני אחזק את הטענה:

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

הוכחה:
אם הוא צודק, והוא ידע מה זה אקסיומות, טענות, נוסחאות מסדר ראשון, מודלים, תורת הקבוצות, וכו', אז הוא יוכל לנסח את התאוריה שלו על כך שקנטור טעה וכו' ככה שאנחנו נבין. מי יודע? אולי הוא ימצא ש ZFC אינה עקבית?
ניבוי עתידות 101 341531
למקרה שזה לא היה ברור לא באמת ביקשתי ממך להוכיח את טענתך, רק ניסיתי לחזות את העתיד (ראה הכותרת).

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

רבותיי, דבריי *פשוטים בתכלית* ואינם זקוקים ללימוד מושגיה של מתמטיקה גבוהה.

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

הנקודה היא יסוד הלוקליות, המאפשרת שיוך לקבוצה רק עפ"י התנאי XOR (נקודה יכולה להיות מחוץ .{} XOR בתוך {.} קבוצה בלבד).

הקטע הינו יסוד האי-לוקליות, המסוגל להתקיים סימולטנית בתוך ומחוץ לקבוצה _{_} ובכך הוא משנה מן היסוד את הבנתנו את מושג השייכות ואת הלוגיקה העומדת בבסיסה.

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

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

עדכה הסברתם מהם הגורמים *הטמונים בי* לחוסר התקשורת ביננו.

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

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

תודה.
הלוקלי והלא-לוקלי 341729
לא תודה. (שאלת, עניתי)
הלוקלי והלא-לוקלי 341734
לא אביב, בפירוש לא ענית.

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

אני רואה רק סימטריה נפלאה.

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

יאמר דבר אחד לזכות המתמטיקה המונדית - זה נורא משחרר.
הלוקלי והלא-לוקלי 341761
"ודממה רעיונית"

אומר זאת שוב:

הנקודה היא יסוד הלוקליות, המאפשרת שיוך לקבוצה רק עפ"י התנאי XOR (נקודה יכולה להיות מחוץ .{} XOR בתוך {.} קבוצה בלבד).

הקטע הינו יסוד האי-לוקליות, המסוגל להתקיים סימולטנית בתוך ומחוץ לקבוצה _{_} ובכך הוא משנה מן היסוד את הבנתנו את מושג השייכות ואת הלוגיקה העומדת בבסיסה.

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

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

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

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

האדם הלא סביר היה עושה אחד או יותר מן הדברים הבאים:
1) מניח שאף אחד לא מבין אותו משום שכולם מפחדים מן האמת.
2) מניח שקיימת קונספירציה שמונעת מאנשים לקבל את רעיונותיו.
3) מטיל ספק ביכולות המנטליות של כל תושבי ארץ (מלבד הוא עצמו) ומייחס חשיבה קולקטיביסטית לכל מי שלא מסכים איתו (שזה בעצם כל מי שהוא לא הוא עצמו).
4) מבצע את תהליך ה- copy/paste של אותו הטקסט. שוב. ושוב. ושוב. ושוב. ושוב...ושוב...ושוב...ושוב...
הלוקלי והלא-לוקלי 341773
"1) מטיל ספק בצדקתו ובוחן מחדש את רעיונותיו."

אמור נא לי אביב, מדוע כל כך קשה לך להבין שמושג השייכות משתנה, אם אלנמט אי-לוקלי (במובן הלוגי) הקיים סימולטנית בתוך ומחוץ לקבוצה (_{_}) נכלל במחקר המתמטי?

מה יש, לדעתך, ברעיון זה שמונע את הקלטותו ?
הלוקלי והלא-לוקלי 341838
"מה יש, לדעתך, ברעיון זה שמונע את הקלטותו?"
השאלה הנכונה היא מה חסר בו.
הלוקלי והלא-לוקלי 341848
אייל אלמוני ענה נא על השאלה, תודה.
הלוקלי והלא-לוקלי 341860
היגיון.
הלוקלי והלא-לוקלי 341876
מדוע הוא אינו הגיוני?
הלוקלי והלא-לוקלי 341845
אביב לא לקחת בחשבון את הדבר העיקרי והוא:

מפגש בין תודעות יכול להוליד תובנות חדשות.

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

בשלב זה אני מקבל הרבה יותר ממה שאני נותן, אך אני עדיין מקווה שיגיע היום בו אוכל לתת לאחרים.
הלוקלי והלא-לוקלי 341905
''בשלב זה אני מקבל הרבה יותר ממה שאני נותן''

הייתי אומר שזה לא יפה לנצל ככה מתמטיקאים תמימים, אלמלא הייתי חושב שאתה בכל זאת נותן יותר משאתה מקבל (רק שבמקום תובנות, מדובר בעצם בבידור).
הלוקלי והלא-לוקלי 341908
אני שמח שאני מבדר אותך, דה לא קל להצחיק בימינו אלה.
הלוקלי והלא-לוקלי 341922
לא אותי בעיקר ונכון.
הלוקלי והלא-לוקלי 341937
מסכן שלי, אפילו לבידור אתה לא זוכה ממני.
הלוקלי והלא-לוקלי 341954
גילויי סימפטיה ורחמים. הידד. מעודד לראות שעולם הרגש לא זר לך.
הלוקלי והלא-לוקלי 341961
הגזמת. דורון מגלה חום וחמלה לאורך כל הדיון, גם לתלמידיו הסוררים באייל וגם למתמטיקאים קטני ההבנה באופן כללי. הייתי אומר תאתה פשוט כפוי טובה.
הלוקלי והלא-לוקלי 341968
צודק לחלוטין. או עפ''י המתמטיקה המונדית - צודק וטועה לחלוטין בו זמנית.
הלוקלי והלא-לוקלי 341977
" צודק וטועה לחלוטין בו זמנית."

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

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

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

כן, ובצורה שיטתית-רציונלית ולא ריגשית.
הלא קל לי והלא-לוקלי 341844
אם ככה אז לא צריך <מוחה דמעה ועוזב את החדר בסערת רגשות>.
הלא קל לי והלא-לוקלי 341879
בקיצור אין בידך שום טיעון שיטתי מדוע אין להכיל את האי-לוקלי (המייוצג ע"י אלמנט המתקיים סימולטנית בתוך ומחוץ לקבוצה _{_}) כחלק מהמחקר המתמטי, ומדוע יש להגביל את המחקר המתמטי רק לאלמנטים לוקליים (מיוצגים ע"י נקודה .{} XOR {.}) .

האייל האלמוני טוען לחוסר הגיון בהכלת _{_} במחקר המתמטי.

אם אתה שותף לדעתו, אנא פרט.

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

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

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

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

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

במתמטיקה המונדית הנקודה והקטע הם עצמאיים-הדדית ולכן הם אינם נגזרים זה מזה.

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

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

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

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

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

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

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

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

הנקודה היא יסוד הלוקליות, המאפשרת שיוך לקבוצה רק עפ"י התנאי XOR (נקודה יכולה להיות מחוץ .{} XOR בתוך {.} קבוצה בלבד).

הקטע הינו יסוד האי-לוקליות, המסוגל להתקיים סימולטנית בתוך ומחוץ לקבוצה _{_} ובכך הוא משנה מן היסוד את הבנתנו את מושג השייכות ואת הלוגיקה העומדת בבסיסה.

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

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

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

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

תודה.
הלא קל לי והלא-לוקלי 341909
הירגע. גבר צריך לדעת לשלוט בעצמו. באמת, איך הדור הצעיר מתדרדר!
הלא קל לי והלא-לוקלי 341924
שליטה עצמית יצאה מזמן מן האופנה. גבר אמיתי צריך לדעת איך לשלוט באחרים!
הלא קל לי והלא-לוקלי 341928
שליטה על אחרים שייכת עכשיו לאופנת נשים. אתה צריך להתעדכן.
הלא קל לי והלא-לוקלי 341955
הלכתי לקרוא שוב את מאמרו של גיל רונן. תודה.

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

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