בתשובה לעוזי ו., 09/09/02 18:50
ואף על פי כן 90527
עוזי ו. • בתשובה לעוזי ו. יום ב', 9/9/2002, 19:11
(דילגתי על המשפט הראשון שלך!)

עכשיו אני מבין ש"אקסיומות לוגיות (לחלוטין)" הן *האקסיומות של הלוגיקה הפסוקית*. שהן, כמובן, חלשות מכדי לעשות בהן משהו מעניין (דהיינו, לבנות את תורת הקבוצות). אז אני לא לוגיציסט; וגם לא אף מתמטיקאי שאני מכיר.
למה שמישהו ירצה להיות לוגיציסט?
ואף על פי כן 90636
שוטה הכפר הגלובלי • בתשובה לעוזי ו. יום ג', 10/9/2002, 10:24
לא רק הלוגיקה הפסוקית. אתה (בניגוד לי) יכול ודאי לקרוא את פרינציפיה מתמטיקה של וויטהד וראסל וללמוד על כל האמור לא מפי השמועה.

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

(ורק בשביל לטהר את שמי ברצוני להדגיש שאת עניין ה"אקסיומות הלוגיות" לא אני הכנסתי לדיון, רק ניסיתי להסביר את הכוונה).
ואף על פי כן 90707
עוזי ו. • בתשובה לשוטה הכפר הגלובלי יום ג', 10/9/2002, 16:45
רשמתי לפני (כבר מזמן) לברר מה זה בדיוק לוגיציסם.
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות