בתשובה לגלעד ברזילי, 22/03/03 10:11
 |
|
 |
||
|
||||
 |
לגבי א': נניח ששני אנשים עובדים על אותה בעיה במתמטיקה ומנסים להוכיח אותו משפט מתמטי באותן שיטות, כאשר המוטיבציה של אחד מהם היא שהבעיה לדעתו היא מודל של משהו בעולם, והמוטיבציה של השני היא שהבעיה פשוט מעניינת אותו. האם הראשון מדען והשני לא? |  |
 |
 |
|
|
|
||
|
||||
|
שניהם לא עושים עבודה מדעית. המוטיבציה לא משנה. | |
|
|
|
|
|
||
|
||||
|
זאת נראית לי עמדה משונה. למשל, אם מישהו מוכיח ש P=NP אז הוא לא עשה עבודה מדעית? |
|
|
|
|
|
|
||
|
||||
|
אני לא יודע מספיק מדעי המחשב כדי לקבוע אם P=NP זו טענה במתמטיקה או לא. אם לא (זה קשור קשר הדוק למכונת טיורינג, נדמה לי, לא?), אז כן, ואם כן, אז לא. שוב, אין קשר למוטיבציה. | |
|
|
|
|
|
||
|
||||
|
בקיצור, מתמטיקה היא לא מדע מעצם היותה מתמטיקה. פשוט תגיד שזאת הנחת יסוד וככה לא יהיה לך על מה להתווכח. |
|
|
|
|
|
|
||
|
||||
|
תתערב, תתערב, אבל למה לא בשמך? אני לא נושך כשלא מבקשים. זו הנחת יסוד בתת דיון הזה, בו בועז אומר "אוקיי, אז נגיד שזה ככה, אבל מה עם המוטיבציה?", ואני עונה שהיא לא משנה. |
|
|
|
|
|
|
||
|
||||
|
לא זאת הנחת היסוד. הנחת היסוד היא שדבר מה שאינו עוסק באמפיריקה איננו מדע ולכן המתמטיקה (שאין לה שום קשר לאמפיריות) איננה מדע. הבעיה היום שהמילה מדע מזוהה עם *טוב* בעוד לא מדעי מזוהה עם *רע*. יש איזו הילה של יוקרה סביב המילה ולכן יש עניין לבעלי עניין להכניס את עניינם תחת המטריה המדעית וזה ממש לא לעניין. |
|
|
|
|
|
|
||
|
||||
|
בעצם מהנחת היסוד הזאת ברור שמתמטיקה אינה מדע. אין שום מקום לוויכוח על השלכות ההנחה הזאת אלא מדוע דווקא הנחה זו היא המקובלת (או הלא מקובלת, על עוזי). |
|
|
|
|
|
|
||
|
||||
|
את ההגדרה של מדע בתור מה שעוסק באמפיריקה אני מוכן לקבל. הטענה המקורית היתה שמתמטיקה ''אינה אומרת שום דבר על העולם'' וזה נראה לי תלוש מהמציאות. | |
|
|
|
|
|
||
|
||||
|
כן, טענה מתמטית, הנוגעת למודל מכונת הטורינג, אם כי לפי צ'רץ' והרחבותיו, היא נוגעת לכל מודל חישובי ''טוב'' שאנחנו מכירים. אגב, אמרת ''אם לא, אז כן, אם כן, אז לא.'' סתירה. מש''ל. |
|
|
|
|
|
|
||
|
||||
|
זו טענה במתמטיקה שלשאלה האם היא נכונה או לא נכונה יש השפעה גדולה מאוד על העולם. דרך אחרת להסתכל על אותה טענה היא שזו טענה על העולם שהדרך היחידה שאנחנו יודעים לברר אם היא נכונה או לא היא ע''י חקירתה בשיטות מתמטיות. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |