|
נכון, ובאמת לא ברור למה הוא מתעקש לערב את הרעיונות המתמטיים הלא ברורים שלו כמעט בכל תגובה, במקום להשאר עם הפילוסופיה.
הפילוסופיה שהוא מציג, אגב, דווקא די מעניינת, למרות שקשה לאתר אותה בין מאות התגובות:
"ואפילו אם ניתן להוכיח משפטים בעזרת מחשב, זה לא אומר דבר וחצי דבר על טיבם של מערכות אקסיומטיות, כי הן המערכת הנבחנת, והן המחשב, הן תוצר פרי תודעתנו, והמחשב אינו אלא סוכן או שלוחה שלנו עצמנו, כך שאין פה שום דבר עמוק, אלא עוד שיטה להתעלמות מקיומה של תודעת המתמטיקאי כגורם משמעותי המשפיע על התוצאות."
וכן כדאי לקרוא את תגובה 327384 (רק את התגובה עצמה).
|
|