בתשובה לאלון עמית, 23/08/14 2:00
 |
|
 |
||
|
||||
 |
הבה נניח שניתן לנסח שפה מוגדרת היטב שאפשר לדבר בה על פילוסופיה, ואשר היא עקבית ואפקטיבית. בין השאר השפה תכלול פסוקים כמו "בלה-בלה-בלה הוא אמת". אפשר לתרגם את השפה לאריתמטיקה, למשל לכל משפט נכתוב את קוד ascii שלו וכך כל משפט ייוצג ע"י מספר. בתרגום, כללי המעבר בין משפטים בשפה יהפכו לכללים אריתמטיים. לפיכך קבוצת המשפטים המנוסחים היטב בשפה יתורגמו לקבוצת מספרים, וקבוצת המשפטים האמיתיים לקבוצת מספרים חלקית לזו הראשונה. קל להראות שאם השפה המקורית היא אפקטיבית כך גם התורה האריתמטית שיצרנו. המשפט "בלה-בלה-בלה הוא אמת" יהפוך לנוסחה אריתמטית א-לה-טארסקי. כלומר, אם המספר המתאים ל"בלה-בלה-בלה" הוא n, אז המשפט הטוען שמשפט זה הוא אמת יהיה מספר המתקבל מנוסחה אריתמטית על n. תאאא"ט, זהו True(n) של טארסקי. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |