בתשובה לעוזי ו., 29/09/05 17:59
אלפיים שנות אי-הוכחה 333974
השאלה היא אם זה הוגן להציג כך את הפילוסופים. האם באמת הם באמת יוצאים להוכיח דברים (ואולי אני סתם מושפע מהספר שאני קורא עכשיו בגניבה)?
אלפיים שנות אי-הוכחה 333979
יש לי תירוץ טוב (רציתי לחדד לדורון שדמי את הסיבה לקשיחות הלוגית של יסודות המתמטיקה), אבל האמת היא שהמשפט ההוא כבר עומד לי על קצות האצבעות כבר הרבה זמן.

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

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

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

לכן מבחינת תלות-קיום
{} --> {{}}

{{}} not--> {}

ולכן מבחינה קיומית

{{}} not~ {}
אלפיים שנות אי-הוכחה 333988
א. איזה ספר אתה קורא?
ב. למה "בגניבה"?
ג. נראה לי שבעיקר פילוסופים יוצאים לשאול שאלות. חוץ מזה, קורה בהחלט שהם מוכיחים את טענותיהם.

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

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