Lucifer LightBringer
Well-known member
שגם אם המחשב יכול לייתר הרבה מהעבודה הסיזיפית בכתיבת הוכחה מתמטית, מישהו אשכרה צריך לקרוא את ההוכחה שלו ולהבין אותה.
אני רוצה לדעת מתי יהיה לי זמן לקרוא הוכחות כמו של פרלמן וכו', מקווה שיהיה לי מספיק זמן לקרוא אינסוף מאמרים וספרים...
אני רוצה לדעת מתי יהיה לי זמן לקרוא הוכחות כמו של פרלמן וכו', מקווה שיהיה לי מספיק זמן לקרוא אינסוף מאמרים וספרים...
