אילו ניסיונות נעשו כאשר אנשים ניסו להוכיח את השערת קולץ?

אילו ניסיונות נעשו כאשר אנשים ניסו להוכיח את השערת קולץ?
Anonim

תשובה:

כמה מחשבות …

הסבר:

הגדול פולני מתמטיקאי פול Erdős אמר של Collatz ההשערה כי "המתמטיקה לא יכול להיות מוכן עבור בעיות כאלה.". הוא הציע פרס בסך 500 דולר לפתרון.

זה נראה היום בלתי נסבל כמו כאשר הוא אמר את זה.

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

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

השערה של Collatz נבדקה על ידי המחשב עבור מספרים בערך #10^20#, אבל זה באמת רק מראה שזה סביר - זה לא להוכיח שזה נכון עבור כל המספרים.

כדי להבין מדוע תהליכים איטרטיביים כמו זה בשער Collatz הם כל כך קשה לפתרון בכלל, זה עשוי לעזור לראות כמה עשיר שילוב של תוספת וכפל על מספרים טבעיים בפועל.

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

זה בערך את המהות של הוכחה של Gödel השני של חוסר השלמות משפט.