בתשובה לשוטה הכפר הגלובלי, 09/09/02 16:27
ואף על פי כן 90522
זה לא יהיה סימפטי לעבוד עם מספר אינסופי של אקסיומות (גם המתמטיקה הסופית שלנו מספיק מסובכת), ובפועל יספיק מספר קטן (וסופי עד מאד). אני מבין שבמקרה כזה יש משפטים נכונים שלא ניתן להוכיח אותם; אז מה? הטענות שהמשפטים האלה מייצגים הן, לרוב, לא מעניינות; אפשר להמשיך לעבוד בשאר התחום.

אין לי גם שום בעיה עם משפטים שהם ככל הנראה נכונים ולא יודעים להוכיח אותם; משלמים לי בשביל להקטין את מספרם של היצורים האלו.
עם סתירות בלוגיקה אני באמת לא מוכן לחיות.

ובהצלחה עם ברקת ועדי.
ואף על פי כן 90527
(דילגתי על המשפט הראשון שלך!)

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

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

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

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

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