|
||||
|
||||
יש לך דוגמה להיגד פילוסופי מעניין שנאמר בשפה כזו? אתה יכול לנסח בשפה כזו היגד מקביל ל"ענו לי מהר באייל הקורא" או כל היגד לא טריוויאלי אחר? |
|
||||
|
||||
לא הבנתי מה זו "שפה כזו". הפואנטה היא שלא ניתן לנסח שפה כזו. אבל הנסיונות (הנואלים לדעתי) הם משהו כזה (אכתוב באנגלית כדי לא להתחרפן משמאל-ימין) Quantifiers will be denoted: זה לא בדיוק מה רצית - רצית משפט ציווי. יש וויכוחים ארוכים על איך נכון לפרמל משפטי ציווי.A(x) = "For every x" E(x) = "there exists an x" I will also use the following predicates: W(x,P) = "x wants statement P" Q(x) = "x answers quickly in the Ayal Hakore" We will also have a constant: R = myself. Then "I want someone to answer me quickly in the Ayal Hakore" will be: W(R,Ex:Q(x)) כמו כן יש וויכוחים ארוכים על איך לפרמל "אני".התחמקתי מהם ויש גם וויכוחים ארוכים על מה פירוש הפרדיקטים, למשל "לענות מהר באייל הקורא". למשל אחד הפירושים הוא שטענה זו שקולה לקבוצה של נתוני חושים, שהם נתוני החושים שבשפה רגילה נגיד שמהם אתה למד שמישהו ענה לך מהר באייל הקורא (למשל המראה של התשובה על פני מסך המחשב). זה היה מספיק מהר :-) ? |
|
||||
|
||||
סתם כדי שלא תתחרפן (או אולי דווקא כדי שתתחרפן), אולי כדאי שתדע שיש תו נסתר שמסדר את הכיווניות (תו ברוחב אפס: ייצוג מופשט שמתאים לדיון פילוסופי). הקלדה על AltGr-9 (כלומר: מקש Alt ימני ו־9 ביחד) במחשב שבו מותקנת מקלדת עברית לפי התקן החדש מפיקה תו Left-to-right mark [Wikipedia] (או LRM בקיצור), מה שמאפשר לי לכתוב f(x) בלי שום בעיות ממש כאילו כתבתי f(x)0. |
|
||||
|
||||
תודה. (מה שהצעת לא הלך אבל ראיתי בקישור שנתת אפשרות אחרת שהצליחה). עכשיו f(x) עובד כמו שצריך :-) |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |