בתשובה להאייל הצעיר, 08/09/05 23:50
מחשבות טרחניות על אקסיומת הקיום של ZF 328508
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 0:06
''היא קיימת לפני שהגדרנו אותה. האקסיומה פשוט ''מספרת'' לנו על זה.''

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

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

העניין הוא שהאקסיומה לא יוצרת שום דבר. היא טוענת טענה.
מחשבות טרחניות על אקסיומת הקיום של ZF 328518
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 0:35
"העניין הוא שהאקסיומה לא יוצרת שום דבר. היא טוענת טענה"

כן , והטענה היא טענת קיום של קבוצה שאין בה כל איברים.

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

אם אתה מקבל את קיומה של הקבוצה-הריקה במנותק מאקסיומת הקיום שלה, אתה אפלטוניסט.
מחשבות טרחניות על אקסיומת הקיום של ZF 328519
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 0:39
"איננה יכולה להניח שקיימת קבוצה כזו טרם הטענה" - והיא לא עושה זאת.

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

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