הגדרה רקורסיבית – הבדלי גרסאות

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