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

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

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

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

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

{{}} not--> {}

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

{{}} not~ {}

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

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