ספקות במתמטיקה: על משפטי אי-השלמות של גֵּדֵל

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

קראו עוד