בתשובה לדורון שדמי, 21/09/05 23:10
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 331509
האייל הצעיר • בתשובה לדורון שדמי יום ד', 21/9/2005, 23:22
א) "אתה טוען..." - איך הסקת שזה מה שהוא טוען מתוך התגובה: "תוצאה של מחקר מתמטי לא יכולה להתחיל ב'לדעתי'. או שיש לך דברים נכונים להגיד או שלא. דעה אינה רלוונטית."?

ב) "בעזרתה ניתן להוכיח את נכונותה של שפה זו" - אף אחד מאתנו לא טוען טענה כזאת. אני גם בטוח שאף אחד מהמתמטיקאים איתם אתה מדבר לא טוען טענה כזאת.

ג) "מושג הנכונות שאתה משתמש בו אינו אלא תוצאת *אמונתך* בשפה הפורמלית" - בוודאי. כל פעולה שאנחנו מבצעים בחיים מבוססת על אמונה כזו או אחרת שאינה בטוחה (למשל, ההנחה שאנחנו לא חיים במטריקס, אלא חווים את העולם האמיתי). החוכמה היא לדעת מה סביר ומה לא. למשל, ההנחה לפיה אקסיומות פאנו מיטיבות לתאר את המספרים הטבעיים (אם יש כאלה) היא הנחה מספיק סבירה כדי שאני אשתמש בהן אם אני רוצה לעסוק בתורת המספרים.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 331516
דורון שדמי • בתשובה להאייל הצעיר יום ה', 22/9/2005, 0:08
" החוכמה היא לדעת מה סביר ומה לא. למשל, ההנחה לפיה אקסיומות פאנו מיטיבות לתאר את המספרים הטבעיים (אם יש כאלה) היא הנחה מספיק סבירה כדי שאני אשתמש בהן אם אני רוצה לעסוק בתורת המספרים."

אייל צעיר אני מסכים איתך בכל לבי, אכן בבסיסה של המתמטיקה מתקיימת האמונה של קהילת אנשים בסבירותה ותו לא.

לכן אשאל אותך מדוע מ. השור פוסל את מושג הביקורת על סבירות השפה הפורמלית כפעולה לא סבירה?

הרי בסופו של דבר סבירות זו נשענת על אמונה כדבריך, האין זאת?
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 331517
דורון שדמי • בתשובה לדורון שדמי יום ה', 22/9/2005, 0:14
אוסיף ואומר שכשאני אומר ''לדעת...'' אני מתכוון ללא פחות מדיעה מפורטת ומנומקת על הנושא הנדון, באופן המנוסח כך שניתן יהיה לבקר אותו.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות