 |
אני חושב שאלוף העולם בימינו בייצור טענות אריתמטיות שאינן כריעות ב-ZFC הוא הארווי פרידמן. אני אנסה לדוג מאמרים שלו (או עליו) שקראתי פעם, ומכילים תוצאות מסוג זה. לא מזמן קראתי (וגם את זה אנסה לדוג) שהוא, אישית, דווקא מצדד בעמדתי - הטענות הללו הן נכונות-או-לא, ורק האקסיומות האומללות שלנו אינן מספיקות כדי להראות זאת. אם אני זוכר טוב, הדוגמאות שלו הופכות ליכיחות אם מוסיפים איזה קרדינל גדול יחסית צנוע, והוא משתמש בזה כדי לגבש דעה לגבי הנכונות של הטענה "באמת".
עוד דבר שנדמה לי שקראתי פעם הוא שפרידמן הוא גם (או רק?) פרופסור למוזיקה.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש