בתשובה לצפריר כהן, 21/08/14 1:21
באיחור של עשור... מאמר יפה אבל התעלמת מטארסקי 639346
לא הבנתי מה זו "שפה כזו". הפואנטה היא שלא ניתן לנסח שפה כזו. אבל הנסיונות (הנואלים לדעתי) הם משהו כזה (אכתוב באנגלית כדי לא להתחרפן משמאל-ימין)
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))

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

זה היה מספיק מהר :-) ?
באיחור של עשור... מאמר יפה אבל התעלמת מטארסקי 639347
סתם כדי שלא תתחרפן (או אולי דווקא כדי שתתחרפן), אולי כדאי שתדע שיש תו נסתר שמסדר את הכיווניות (תו ברוחב אפס: ייצוג מופשט שמתאים לדיון פילוסופי).

הקלדה על AltGr-9 (כלומר: מקש Alt ימני ו־9 ביחד) במחשב שבו מותקנת מקלדת עברית לפי התקן החדש מפיקה תו Left-to-right mark [Wikipedia] (או LRM בקיצור), מה שמאפשר לי לכתוב f(x)‎ בלי שום בעיות ממש כאילו כתבתי f(x)0.
באיחור של עשור... מאמר יפה אבל התעלמת מטארסקי 639453
תודה. (מה שהצעת לא הלך אבל ראיתי בקישור שנתת אפשרות אחרת שהצליחה).
עכשיו f(x)‎ עובד כמו שצריך :-)

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

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