הגדרה רקורסיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
מ בוט החלפות: על ידי; |
||
שורה 4:
כדי לקבל תשובה סופית, עלינו לעצור בשלב כלשהו - כי אחרת נבצע הפניה אינסופית ולעולם לא נקבל תשובה. לכן, הגדרה מתוקנת תהיה "יהודי הוא מי שאביו יהודי או מי שהתגייר כהלכה". כאן, התנאי "התגייר כהלכה" הוא תנאי עצירה ואם פלוני אכן התגייר כהלכה הוא יהודי ואין צורך לבדוק את יהדותו של אביו.
יש להבחין בין רקורסיביות של [[הגדרה]], לבין [[רקורסיה]] שהיא בדרך-כלל ''פעולה'' המבוצעת על
ב[[מתמטיקה]] הגדרה רקורסיבית של מושג מתקבלת כהגדרה תקפה, אם אפשר להוכיח שהיא מספקת תשובה חד-משמעית בכל מקרה; ההוכחה היא בדרך כלל ב[[אינדוקציה מתמטית|אינדוקציה]] או ב[[אינדוקציה טרנספיניטית]]. הגדרה כזו נקראת ''הגדרה אינדוקטיבית''. דוגמאות:
| |||