בתשובה לדורון שדמי, 10/09/05 1:00
מחשבות טרחניות על אקסיומת הקיום של ZF 328727
''הרי זו הנחה סמויה אפלטוניסטית לעילא ולעילא.''

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

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

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

לא שכנעת אותי בזה.
מחשבות טרחניות על אקסיומת הקיום של ZF 328740
"לא שכנעת אותי בזה."

אין לי שום צורך או רצון לכפות עליך את דעתי.

כל מה שאני עושה הוא לשתף אחרים ברעיונותי.

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

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

פשטות שאין פשוט ממנה כמו ריקנות מוחלטת או מלאות מוחלטת, אינה משכנעת אותך?

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

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

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

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

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