בתשובה לגלעד ברזילי, 22/03/03 10:11
שלושה היגדים על העולם: 136920
לגבי א': נניח ששני אנשים עובדים על אותה בעיה במתמטיקה ומנסים להוכיח אותו משפט מתמטי באותן שיטות, כאשר המוטיבציה של אחד מהם היא שהבעיה לדעתו היא מודל של משהו בעולם, והמוטיבציה של השני היא שהבעיה פשוט מעניינת אותו. האם הראשון מדען והשני לא?
שלושה היגדים על העולם: 137004
שניהם לא עושים עבודה מדעית. המוטיבציה לא משנה.
שלושה היגדים על העולם: 137080
זאת נראית לי עמדה משונה.
למשל, אם מישהו מוכיח ש P=NP אז הוא לא עשה עבודה מדעית?
שלושה היגדים על העולם: 137174
אני לא יודע מספיק מדעי המחשב כדי לקבוע אם P=NP זו טענה במתמטיקה או לא. אם לא (זה קשור קשר הדוק למכונת טיורינג, נדמה לי, לא?), אז כן, ואם כן, אז לא. שוב, אין קשר למוטיבציה.
שלושה היגדים על העולם: 137179
בקיצור, מתמטיקה היא לא מדע מעצם היותה מתמטיקה.
פשוט תגיד שזאת הנחת יסוד וככה לא יהיה לך על מה להתווכח.
שלושה היגדים על העולם: 137185
תתערב, תתערב, אבל למה לא בשמך? אני לא נושך כשלא מבקשים.

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

הבעיה היום שהמילה מדע מזוהה עם *טוב* בעוד לא מדעי מזוהה עם *רע*. יש איזו הילה של יוקרה סביב המילה ולכן יש עניין לבעלי עניין להכניס את עניינם תחת המטריה המדעית וזה ממש לא לעניין.
שלושה היגדים על העולם: 137283
בעצם מהנחת היסוד הזאת ברור שמתמטיקה אינה מדע.
אין שום מקום לוויכוח על השלכות ההנחה הזאת
אלא מדוע דווקא הנחה זו היא המקובלת (או הלא מקובלת, על עוזי).
ברוך שלא עשני אמפיריקן 137355
את ההגדרה של מדע בתור מה שעוסק באמפיריקה אני מוכן לקבל. הטענה המקורית היתה שמתמטיקה ''אינה אומרת שום דבר על העולם'' וזה נראה לי תלוש מהמציאות.
שלושה היגדים על העולם: 137199
כן, טענה מתמטית, הנוגעת למודל מכונת הטורינג, אם כי לפי צ'רץ' והרחבותיו, היא נוגעת לכל מודל חישובי ''טוב'' שאנחנו מכירים.

אגב, אמרת ''אם לא, אז כן, אם כן, אז לא.'' סתירה. מש''ל.
שלושה היגדים על העולם: 137287
זו טענה במתמטיקה שלשאלה האם היא נכונה או לא נכונה יש השפעה גדולה מאוד על העולם.

דרך אחרת להסתכל על אותה טענה היא שזו טענה על העולם שהדרך היחידה שאנחנו יודעים לברר אם היא נכונה או לא היא ע''י חקירתה בשיטות מתמטיות.

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

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