בתשובה להאייל הצעיר, 02/10/05 0:32
פתרון בעיית 4 הצבעים 334319
אין ספק?
פתרון בעיית 4 הצבעים 334401
תיאורטית, כל הוכחה שמחשב יכול למצוא, גם האדם היה יכול למצוא עם מספיק זמן ומספיק זיכרון. אין יתרון מהותי למחשב - רק יתרון כמותי. לכן אין שום משמעות לטענה של דורון לפיה ''המחשב הוא רק שלוחה של האדם''. אני בהחלט מסכים שההוכחה שהמחשב ימצא היא ''הוכחה אנושית'' שנמצאה בעזרת מכונה.

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

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