בתשובה להאייל האלמוני, 28/12/13 13:53
כאילו, דה? 626309
צפריר כהן  (אתר) • בתשובה להאייל האלמוני שבת, 28/12/2013, 15:09
נראה לי שחוסר ההסכמה בינינו מובן. למיטב הבנתי הפירוש שלך למילה ''אקסיומה'' אינו הפירוש המקובל. גם המובן של ''לא רציונלי'' לא נראה לי ברור. נתתי דוגמה לשיקולים שנראים לי רציונליים ואתה דוחה אותם בטענה שאינם רציונליים. יכול להיות שאתה מבלבל בין ''בניה פורמלי'' לבין ''שיקולים רציונליים''. נראה לי שזה הזמן להסכים שלא מסכימים.
כאילו, דה? 626314
האייל האלמוני • בתשובה לצפריר כהן שבת, 28/12/2013, 16:42
ויקיפדיה אומרת ש"במתמטיקה ובלוגיקה, אקסיומה היא הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. טעות נפוצה היא שאקסיומות הינן "אמת אינטואיטיבית ובסיסית הברורה מאליה", אולם אקסיומות אינן מחייבות ניסוח שכזה, אלא רק סיפוק הנחת יסוד אשר עליה אין מנסים לערער (שכן מדובר בקביעה). " אתה מכיר הגדרה אחרת?! ואתה טוען שהיא מקובלת?!
כאילו, דה? 626319
צפריר כהן  (אתר) • בתשובה להאייל האלמוני שבת, 28/12/2013, 18:13
בתגובה 626306 כתבת שאם אקסיומות הגאומטריה האוקלידית ניתנות להסקה מאקסיומות אחרות הן אינן אקסיומות. כאן אתה כותב שאקסיומה היא הנחה בסיסית במערכת לוגית מסוימת. כלומר: במערכת הלוגית של הגאומטריה האוקלידית, חמש האקסיומות הן אקסיומות. אני עדיין לא מבין מהי אקסיומה לדעתך.
כאילו, דה? 626347
האייל האלמוני • בתשובה לצפריר כהן יום א', 29/12/2013, 11:59
אקסיומה "לדעתי" היא: הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. מכאן יוצא שאם היא ניתנת להוכחה הרי שהיא לא הנחה בסיסית אלא משפט באותה מערכת לוגית. כאילו, דה?
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות