בתשובה לחוכמולוג בעל מספר אישי פריק, 12/07/05 14:11
על כתפי ענקים 316153
אבל בכך אתה מוסיף אינספור הנחות יסוד שנכנסות גם הן אל תוך ה''משמעות הלוגית'' של המשפט. למשל ''קיים אדם ששמו אביב גפן'' וגם ''קיים מושג של מספר אישי'', ואפילו ''מספר יכול להיות פריק''. כל משפט ''פשוט'' שתמציא מכיל עוד הנחות יסוד (למשל, משמעות המילה ''קיים''). אי אפשר לייצר כך משפט ''פשוט'' על פי ההגדרה שלך.
על כתפי ענקים 316171
נכון (ולא נכון). קיימות עוד הנחות, אבל לא אינספור.
חלק מהנחות היסוד - כשמן כן הן - הנחות יסוד, ולכן מוסכמות ומובנות. בפרט - משמעותן של מילים. חלקן הן הנחות סמויות, אבל לא הנחות יסוד, לדוגמא "קיים אדם ששמו אביב גפן" . תרצה - תקבלן כנתון, אבל גם לא, הרי המשפט "המספר האישי של פרדיננד פדהצור בקיצור‏1 הוא ראשוני" מחזיר ערך false. חלקן אינן מונחות: "מספר יכול להיות פריק" היא אחת כזאת, שכן אם מספר אינו יכול להיות פריק אז ודאי שהמשפט "המספר האישי של אביב גפן הוא פריק" מחזיר ערך false
ככלל, בהחלט ניתן ליצר משפט פשוט, אבל גם משפטים מורכבים, ואפילו מורכבים מאוד, ניתן לשקול בצורה בוליאנית (האם הם מחזירים ערך true או false) בהתאם לכללים פשוטים למדי.

____
1 בהנחה שאין אדם כזה

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

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