שיחה:תחשיב למדא

בחלק של כלל אטה צריך להוסיף בנוסחא האחרונה את "לכל a". הייתי עושה את זה בעצמי, אבל לא הצלחתי להבין את התחביר הנדרש עבור forall.

זה אכן נשמט בטעות. תיקנתי את זה. התחביר אגב, טריוויאלי: \forall וזה נראה כך $\ {\mbox{forall}}\ =\ \forall$. _MathKnight_ (שיחה) 01:01, 19 יולי 2005 (UTC)

למדא או למבדא?

באנגלית זה נקרא en:Lambda Calculus, וגם הערך על האות בעברית נקרא למבדא. בינתיים שיניתי רק את הקישור על המילים "למדא" מיוונית ללמבדא, אבל אולי כדאי לשנות בכל הטקסט ללמבדא ולהעביר(נשמעת כמו משימה לבוט ההחלפות), לא? conio.h • שיחה 10:54, 13 פברואר 2006 (UTC)

מכיוון ש"למבדא" הוא שם האות, אפשר להעביר ולתקן בלי לערוך דיונים מסובכים. טופל. עוזי ו. 00:38, 2 מרץ 2006 (UTC)

לאחר שהוחלט לקרוא לאות למדא, אני מציע להעביר גם את הערך הזה לתחשיב למדא. ‏odedee • שיחה 12:21, 14 ביוני 2010 (IDT)

מסכים, גם פה וגם בבקטריופאג' למבדא ♠ גיל כ. (שיחה) ♠ 12:27, 14 ביוני 2010 (IDT)

מסכים. אקסינו - שיחה 17:03, 14 ביולי 2022 (IDT)

נראה לי שחסר כאן משהו

כל הקשר של הנושא לחישוביות בכלל ומדעי המחשב בפרט פשוט לא קיים. גדי אלכסנדרוביץ' 10:36, 20 בספטמבר 2007 (IST)

הגדרת פונקציה

בהגדרה של מושג הפונקציה, לא צריך לדרוש שלכל אבר בתחום יותאם אבר יחיד בטווח?

השאלה איך מוגדר הטוח. אם הטוח הוא זוגות סדורים, שבו (1,2) ו (2,1) אינם זהים, אז העתקה f שבה f(1) מועתק ל (1,2), וגם ל (2,1), אינה פונקציה. אך אם הטוח הוא קבוצה של זוגות (שאינם סדורים), אז העתקה f שבה f(1) מועתק ל {1,2}, שזהה ל {2,1}, היא כן פונקציה. הדרישה לחד ערכיות כבר מובנית בהגדרת הפונקציה. ―אנונימי לא חתםמש:אנונימי ‌ 00:00, 10 בינואר 2000 (IST)

נכון, כך צריך לדרוש. עוזי ו. - שיחה 20:33, 28 באפריל 2018 (IDT)

ערך שגוי לגמרי

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

דיווח שאורכב ב-11 במאי 2022

דיווח מהדף ויקיפדיה:דיווח על טעויות

בפיסקה הראשונה: "תחשיב למדא הוא מודל חישובי, שעל פי תזת צ'רץ'-טיורינג הוא שלם טיורינג" - נראה שהוא שלם טיורינג בלי קשר לתזה.

MathKnight, תוכל לבדוק את הדיווח? (הבדלים בגרסאות). פוליתיאורי - שיחה 05:01, 9 במאי 2022 (IDT)