פרדוקסים של זנון
שלום הרב
יש דרך לפתור לוגית את הפרדוקסים של זנון? לוגית הכוונה מעיון לוגי טהור, בלי חדו״א.
1 Answers
לא הבנתי את השאלה. מה בחדו"א אינו לוגי טהור? זה שרושמים את זה בצורה פורמלית? מעבר לזה, לא צריך שום חדו"א בשביל לפתור אותם. על אכילס והצב זה טור אינסופי. לא צריך נגזרות ולא אינטגרלים (כן צריך גבולות, אבל רק בשביל הפורמליזם). ולגבי החץ במעופו ראה מאמרי על כך.
מלא מהחדו"א מלאה במלל כמו הגדרה של קבוצה איבר יחס וכו'.
זה לא רק סימונים טהורים
מה הקשר למלל. לוגיקה טהורה יכולה להיות מתוארת במלל או בנוסחה. מעבר לזה, אפשר גם להציג את האינפי בלי מלל.
השאר תגובה
Please login or Register to submit your answer