בתשובה לירדן ניר-בוכבינדר, 25/04/04 14:21
היילס, תפוזים והוכחות ממוחשבות 214502
אף אחד לא אמר (בטח לא אני :-) ) שלא ניתן לשכנע מחשב לבצע מניפולציות של סמלים שיהיו, או ייראו כמו, ספרות או מוזיקה. עם זאת, קצת יותר קל להניע מחשב לייצר מתמטיקה "טובה" מספרות טובה או מוזיקה טובה. לא *הרבה* יותר קל, אגב. הזכרתי קודם את תחושתי שמחשב שיוכל לגלות לבד את המספרים המרוכבים, נניח, ולהוכיח את משפט קושי, יכול כנראה גם לכתוב שיר קצר.

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

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