בתשובה לאלון עמית, 12/04/04 12:50
 |
|
 |
||
|
||||
 |
מצטער על שאני מעלה באוב פתילים ישנים. אני מוכרח לציין שהעובדה שזה לא יכיח ב- PA היא אחד הדברים לראש קשה מאד לקלוט ולהאמין בהם. שאלה שאולי תשובה אליה תחזיר לי את האמון באינטואיציה המתמטית שלי (אני כנראה צפוי להתאכזב). איך אני מגדיר "בעיטה" בשפה של אקסיומות פיאנו ? |
 |
 |
 |
|
|
|
||
|
||||
|
מה כל כך מיוחד ב-PA שכל המתמטיקה צריכה לנבוע ממנה? PA זו בסה"כ אסופת הדברים הפשוטים שנראים נכונים שאפשר להגיד על המספרים הטבעיים. לא יכיח ב-ZFC, לעומת זאת, זה כבר משהו אחר... |
|
|
|
|
|
|
||
|
||||
|
אתה ממש רוצה שנרשום את פעולת ה"בעיטה" כנוסחה ב-PA? זה נראה לי תענוג מצומצם מאוד, אבל אפשר לנסות. עם זאת, איני רואה איך נוסחה כזו יכולה לעזור לאינטואיציה שלך. אולי אתה שואל *האם* ניתן לעשות זאת? האם נדמה לך שלא? | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |