בתשובה לשייח ספיר, 24/10/07 16:04
 |
|
 |
||
|
||||
 |
אני חשבתי שעד שלא מעבירים הוכחה משפה טבעית לשפה פורמלית אי אפשר בעצם להוכיח כלום. |  |
 |
 |
|
|
|
||
|
||||
|
למעשה יש מעט מאוד הוכחות מתמטיות שמנוסחות בשפה פורמלית. הסימנים המשונים של המתמטיקאים הם קצרנות, לא פורמליזציה. שפה פורמלית זה משהו מאוד ספציפי שמבוסס על הגדרת מחרוזות תווים מסויימות כאקסיומות ושורת פעולות מותרות עליהן ליצירת משפטים. הופשטטר תיאר את העניין מצויין בגא"ב. בכל אופן, גם אם צריך ואפשר להעביר כל הוכחה מתמטית תקפה לשפה פורמלית, מה שאי אפשר לעשות זה להעביר את כל ההוכחות האפשריות ל_א_ו_ת_ה שפה פורמלית. |
|
|
|
|
|
|
||
|
||||
|
אם אי אפשר, אז מחשב, שיכולת העיבוד המתמטית מוגדרת על ידי שפה פורמלית ספציפית (התלויה באלגוריתם שלו) לא יוכל להבין את ההוכחות המתמטיות שאינן ניתנות לקידוד באותה שפה. אבל לבני אדם אין מגבלה כזו. | |
|
|
|
|
|
||
|
||||
|
איך אנחנו יודעים אילו מגבלות יש לבני אדם? | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |