בתשובה להאייל האלמוני, 28/12/13 13:53
כאילו, דה? 626309
נראה לי שחוסר ההסכמה בינינו מובן. למיטב הבנתי הפירוש שלך למילה ''אקסיומה'' אינו הפירוש המקובל. גם המובן של ''לא רציונלי'' לא נראה לי ברור. נתתי דוגמה לשיקולים שנראים לי רציונליים ואתה דוחה אותם בטענה שאינם רציונליים. יכול להיות שאתה מבלבל בין ''בניה פורמלי'' לבין ''שיקולים רציונליים''. נראה לי שזה הזמן להסכים שלא מסכימים.
כאילו, דה? 626314
ויקיפדיה אומרת ש"במתמטיקה ובלוגיקה, אקסיומה היא הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. טעות נפוצה היא שאקסיומות הינן "אמת אינטואיטיבית ובסיסית הברורה מאליה", אולם אקסיומות אינן מחייבות ניסוח שכזה, אלא רק סיפוק הנחת יסוד אשר עליה אין מנסים לערער (שכן מדובר בקביעה). " אתה מכיר הגדרה אחרת?! ואתה טוען שהיא מקובלת?!
כאילו, דה? 626319
בתגובה 626306 כתבת שאם אקסיומות הגאומטריה האוקלידית ניתנות להסקה מאקסיומות אחרות הן אינן אקסיומות. כאן אתה כותב שאקסיומה היא הנחה בסיסית במערכת לוגית מסוימת. כלומר: במערכת הלוגית של הגאומטריה האוקלידית, חמש האקסיומות הן אקסיומות. אני עדיין לא מבין מהי אקסיומה לדעתך.
כאילו, דה? 626347
אקסיומה "לדעתי" היא: הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. מכאן יוצא שאם היא ניתנת להוכחה הרי שהיא לא הנחה בסיסית אלא משפט באותה מערכת לוגית. כאילו, דה?

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

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