בתשובה לדורון שדמי, 15/09/05 12:07
מחשבות טרחניות על אקסיומת הקיום של ZF 330007
האייל הצעיר • בתשובה לדורון שדמי יום ה', 15/9/2005, 20:59
"מיהו זה שטוען שהוא לא-יודע?"

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

"ומה המשמעות של אי-הענקת משמעות למילים, המאפשרת ליצור זהות בין 'קיים' ל-'רוקד'?"

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

"עכשיו אתה סותר את עצמך"

אם אתה אומר.

"אז מדוע ש- 'A קיים' לא יהיה שקול ל'אני יודע ש-A קיים'?"

מדוע כן?

"אתה תומך בעמדתי נגד רצונך"

אם אתה אומר.

"כי אתה יודע שאתה לא-יודע..."

אם אני יודע שאני לא-יודע, אני מן הסתם לא יודע שאני יודע. היענה לא משקרת.

"אתה בוחר לשחק את משחק בת-היענה..."

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

"בקיצור אייל צעיר, אתה טוען..."

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

"קרא נא בעיון..."

קראתי.
א. זו אחת התגובות הפחות מעניינות, עקביות והיגיוניות שלך בדיון.
ב. לא דיברת בה על אי-כריעות.
ג. לידיעתך, מעתה ואילך אני לא נכנס יותר לקישורים שאתה נותן. יש גבול.
ד. עדיין לא ענית על השאלה (שעסקה באהבת המשפטים, לא בתובנות על אי-כריעות): האם אתה, כמו משה, אוהב את משפטי אי-השלמות של גדל?
מחשבות טרחניות על אקסיומת הקיום של ZF 330103
דורון שדמי • בתשובה להאייל הצעיר יום ו', 16/9/2005, 9:13
''ג. לידיעתך, מעתה ואילך אני לא נכנס יותר לקישורים שאתה נותן. יש גבול.''

לידיעתך, אייל צעיר, החלטתי לסיים את הדו-שיח איתך.

עלה והצלח.
מחשבות טרחניות על אקסיומת הקיום של ZF 330111
האייל הצעיר • בתשובה לדורון שדמי יום ו', 16/9/2005, 10:27
וואו! הוא נכנע לפני!

לא מגיע לי על זה פרס או משהו?
מחשבות טרחניות על אקסיומת הקיום של ZF 330131
אורי גוראל גורביץ' • בתשובה להאייל הצעיר יום ו', 16/9/2005, 12:10
אכן, הישג מרשים.
מחשבות טרחניות על אקסיומת הקיום של ZF 330166
דורון שדמי • בתשובה לאורי גוראל גורביץ' יום ו', 16/9/2005, 14:43
אורי,

כדי לך להחליף את החול בארגז החול שלך.
מר סופרנו מתבקש להתקשר לאלון 330136
שוטה הכפר הגלובלי • בתשובה להאייל הצעיר יום ו', 16/9/2005, 12:24
פרס? אתה תהיה בר מזל אם אלון יבטל את החוזה.

אגב, ברור לגמרי מה עצבן את דורון: אמרת "יש גבול" אחרי שהוא הסביר שוב ושוב שמושג הגבול הוא שטות והבל. למי יש כוח לטרחנים כמוך?
מחשבות טרחניות על אקסיומת הקיום של ZF 330165
דורון שדמי • בתשובה להאייל הצעיר יום ו', 16/9/2005, 14:40
"לא מגיע לי על זה פרס או משהו?"

כן, פרס ההלקאה העצמית, כי אתה היחיד מבין שנינו המפרש דיאלוג כקרב.
מחשבות טרחניות על אקסיומת הקיום של ZF 330174
האייל הצעיר • בתשובה לדורון שדמי יום ו', 16/9/2005, 15:22
זה עדיף מלפרש דיאלוג כמונולוג.

אני באמת חושב שכמה מהשאלות שהעלית מעניינות מאוד. עם רוב התשובות שלך אני לא מסכים. בגלל זה המשכתי להתכתב איתך.
מחשבות טרחניות על אקסיומת הקיום של ZF 330177
דורון שדמי • בתשובה להאייל הצעיר יום ו', 16/9/2005, 15:41
"עם רוב התשובות שלך אני לא מסכים."

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

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

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

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

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

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

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