 |
|
 |
||
|
||||
 |
יצא לי פעם לקרוא ניסוח של משפט גדל ללא מתמטיקאים שאומר משהו כזה (אני מקווה שזכרוני אינו בוגד בי): בכל תורה מתמטית שתומכת בפעולת חיבור תהייה לפחות אקסיומה אחת. זה נכון? האם ההגדרה של פעולת חיבור היא לא אקסיומה בעצמה? |  |
 |
 |
|
|
|
||
|
||||
|
אקסיומה יש בכל תורה מתמטית שאני מכיר. ברוב התורות יש אפילו אינסוף אקסיומות ולא נראה שזה מזיז לאף אחד. הניסוח הפופולרי בדרך כלל מדבר על משפט שאי אפשר להוכיח או להפריך. אמנם, זה מזכיר את "אקסיומה" ברמת הדיבור של היום יום, אבל זה לא אותו הדבר. (לפרט, או לחכות לאלון?) |
|
|
|
|
|
|
||
|
||||
|
אני מקווה מאוד שזכרונך בוגד בך, שכן הניסוח שהבאת הוא די לגמרי חסר-פשר. אפשר עוד לנחש מהי תורה מתמטית שתומכת בפעולת-חיבור, אבל ההיגד ''בתורה כלשהי תהייה לפחות אקסיומה אחת'' הוא היגד בעברית שאיני יכול לשער איך אפשר לתרגם אותו ללוגיקה מתמטית. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |