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