בתשובה לרודי וגנר, 17/07/05 23:13
עוד זווית 317526
האם התכוונת ל-Goodstein's theorem
?

עוד זווית 317533
אכן.
עוד זווית 317542
כן, גם פה יש סימטריה (אחרת היה אפשר לתת דוגמא נגדית גם ב-PA, ואי-אפשר).
עוד זווית 317543
מבחינה פורמלית יש סימטריה בין הטענה ושלילתה. ההבדל נעוץ בכך שאנו מקבלים את האקסיומות של מערכת חזקה יותר (ZFC) כנכונות. מ-ZFC נובע ‏1 שהסדרות המוגדרות שם מתכנסות לאפס.

1 למעשה, ממערכות חלשות בהרבה.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים