בתשובה לירון רביד, 29/11/04 1:07
הצבעה על ''פסוק גדל'' מעניין 264952
ולסיום להיום:
אני חושב שיש מעמד מיוחד לPA על ZFC. אקסיומות PA מנסות לתאר את התכונות של המספרים הטבעיים, ואילו ZFC עוסקת בעצמים הרבה יותר כלליים ומופשטים. מי אמר שיש קבוצות אינסופיות? די בטוח שיש מספרים סופיים, אך קבוצת כל המספרים הסופיים? תצביעו לי עליה בבקשה.
אני יודע שאני נשמע כמו אינטואיציוניסט, ואין לי ממש בעיה עם זה. אבל אין הכוונה שלי לתת נאום בעד האינטואיציוניזם, אלא להמחיש את ההבדל במעמד שבין אובייקטים מתמטיים מוצקים כמו המספרים הטבעיים, יחד עם המודל הטבעי שלהם, לעומת אובייקטים מתמטים מופשטים כמו סודרים אינסופיים וכדומה. אפילו מספרים ממשיים הם לא ממש טבעיים לנו (כפל לשון) ואנו נזקקים למודל של קו ישר גיאומטרי ולמילוי החורים בו כדי לתפוס על מה מדובר.
המשפט המפורסם: "אלוהים יצר את המספרים הטבעיים, כל השאר הם מעשה ידי האדם" מדבר אלי מאוד. אני חושב שמספרים טבעיים שונים מכל עצם מתמטי אחר בכך שכל מודל מתמטי חילופי לו הוא חילופי לטבעיים ובמעמד אחר ממנו. לעומת זאת, קבוצות אינסופיות שמקיימות או לו מקיימות את השערת הרצף - האם באמת אנו יכולים להעדיף אינטואיטיבית מודל זה או אחר? יש כמובן שיקולים של יעילות ויופי מתמטי וכדומה, אבל אני לא חושב שיש ממש העדפה בסיסית של מודלים המרחיבים את המספרים הטבעיים.
מסיבות אלה, אני מעדיף להרחיב את אקסיומות פיאנו כדי לתפוס עוד ועוד תכונות של הטבסעיים, מאשר להרחיב את ZFC או אפילו מאשר להוכיח תכונות בZFC שלא ניתנות להוכחה ב PA.
הצבעה על ''פסוק גדל'' מעניין 264963
אבל PA ו- ZFC לא מתחרות בכלל על אותה גומחה אקולוגית.
הצבעה על ''פסוק גדל'' מעניין 265136
לגבי המשפט האחרון שלך: מבחינה פילוסופית נטו, למה הוכחות ב ZFC (ללא הרחבות חזקות יותר) "נחשבות" פחות? הרי כמעט כל המתמטיקה המודרנית תלויה בהן, לא? בפרט דברים מאוד "פיזיקליים" ואינטואיטיביים כמו חלקים גדולים מהאנליזה והגאומטריה. אנחנו משתמשים באקסיומות הללו בשביל כל הדברים החשובים, ודי "סומכים" עליהן. למה לא לסמוך עליהן גם בקשר לטבעיים (בהתעלם משיקולי אלגנטיות)?
הצבעה על ''פסוק גדל'' מעניין 265227
גם לעוזי וגם לגיל:
אני כתבתי על העדפתי האישית "לפרמל" את המודל הטבעי של הטבעיים באופן שמרני ששומר על רוח PA, ולא מפליג למחוזות האינסופים הגדולים והמטורפים של ZFC.
הסיבה שכתבתי זאת היא כי היו תגובות שאי תלות של פסוקים בPA זה לא חוכמה ואילו אי תלות ב ZFC זה כבר דברים מענינים יותר.

בתכל'ס - הוכחות בתוך ZFC מאוד נחשבות בעיני וגם נותנות מהוות כלים כדי להרחיב באופן שמרני את PA. במילים אחרות, ZFC (או אולי מערכת חלשה יותר כמו ZF)היא מסגרת למתמטיקה ולחוקי כתיבת הוכחות (במקביל לכך שפרינקיפיה מתמטיקה ותחשיב הפרדיקטים מסדרים גבוהים מהווים מסגרת לדיון מתמטי). חקירה של ZFC היא חיונית כדי לדעת את גבולות החקירה המתמטית של המספרים הטבעיים (כמו גם תחומים אחרים).
אך אני רואה כמטרה עליונה למצוא את ההרחבות ה"צנועות" של PA (או למצוא מערכת אקסיומות צנועה אחרת של הטבעיים) כדי להוסיף ידע על פסוקים במספרים הטבעיים. לדוגמה: ייתכן שגולדבך הוא כזה שלא ניתן היום להוכיח מPA וכן ניתן להוכיח בZFC (זה משהו שניתן להוכיח בZFC). במקרה כזה הייתי רוצה למצוא מערכת הרבה יותר חלשה מZFC שבה ניתן יהיה להוכיח את גולדבך.
אני אומר כל זאת לא מתוך זלזול או הבעת ספק בZFC ובתורת הקבוצות האקסיומטית. להיפך, מתוך העמדה שלי שזו מסגרת לגיטימית להוכחת תלות ואי-תלות במערכות חלשות יותר, אני מנסה למצוא את ההרחבות המתאימות. זוהי לגעתי המשמעות האמיתית של "תוכנית הילברט" לאחר ההתפכחות שהביאו עלינו משפטי גדל.
הצבעה על ''פסוק גדל'' מעניין 265248
מה דעתך על ZF (בלי C)? גם היא גדולה ומטורפת? למה?

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

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