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

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

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