בתשובה לד''ר טי, 27/08/03 17:32
מטא-מטא-מתמטיקה 166640
ענית ראשון ראשון ואחרון אחרון, אבל פספסת כמה דברים באמצע. אני בטוח שאתה מכיר את משפט אי-השלמות ללוגיקה מסדר שני. גם לו אין חשיבות בעיניך? כבר שאלתי: למה אתה חושב שכל-כך הרבה אנשים טורחים על לוגיקה מסדר ראשון, אם "כלים מתמטיים רגילים" הם חזקים יותר?

"תוצאות אי-השלמות בתורת המספרים אינן רלוונטיות". גם הבעייה העשירית של הילברט?
מטא-מטא-מתמטיקה 168088
פרט, בבקשה (גילית את בורותי, אח יקר).

B.Sc. T

מטא-מטא-מתמטיקה 168091
לפרט... משפט אי-השלמות? הבעייה העשירית של הילברט?
מטא-מטא-מתמטיקה 168094
שניהם. אם אפשר.

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

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