בתשובה לד''ר ו., 25/04/04 18:01
היילס, תפוזים והוכחות ממוחשבות 214526
(כמובן שגם אם מספר האקסיומות הוא אינסופי אך בן-מנייה, כמו בניסוח מסדר ראשון של תורת המספרים, אפשר לייצר סדרתית את כל ההוכחות).

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

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