חדש באתר: NotebookLM עם כל תכני הרב מיכאל אברהם. דומה למיכי בוט.

משפט אי-השלמות של גדל

שו"תקטגוריה: פילוסופיהמשפט אי-השלמות של גדל
ישי שאל לפני 2 חודשים

האם משפט אי-השלמות של גדל מוכיח שמחשב לא יכול לפעול כמו אדם, כי אדם מסוגל להשלים מערכת אקסיומות לא מוכחת?
האם זה מוכיח את עליונותו של האדם על המחשב?


לגלות עוד מהאתר הרב מיכאל אברהם

Subscribe to get the latest posts sent to your email.

השאר תגובה

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

לגלות עוד מהאתר הרב מיכאל אברהם

Subscribe to get the latest posts sent to your email.

Ishay sofer הגיב לפני חודש 1

כוונתי היתה לשאול אם האינטואיציה מראה על עליונות האדם מבינה המלאכותית, ואם משפט אי-השלמות מוכיח את זה.

מדוע אין להסיק מסקנות כלליות, הרי אם יש פער במקום אחד, אפשר ללמוד ממנו על הכלל.

מיכי צוות הגיב לפני חודש 1

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

השאר תגובה

Back to top button