 |
ומה תעשה כשהמתמטיקאי לא סתם יגיד "קיימת פונקציה כך ש...", אלא "לכל פונקציה F קיימת פונקציה G כך ש..."? האם תוכל להחליף את "קיימת" ב"קיימת מחשבה במוח המתמטיקאי"?
נדמה לי שכל טענת קיום במתמטיקה לא ניתנת באמת לרדוקציה שאתה עושה, מבלי לבטל את המתמטיקה: כי ההוכחה שהמתמטיקאי נותן לטענת הקיום שלו לא עוסקת בכלל בקיום מחשבותיו, נדמה לי. אין, לא באקסיומות ולא בהיסקים שלו, שום דבר שקשור לקיום מחשבותיו. ושוב, יכולה להיות לו מחשבה קיימת שתוכנה הוא שמשהו לא קיים.
ושוב, אני מציע לך שפה חח"ע אחרת: החלף את הפועל "קיים" ב"קייף" כשמדובר בקיום פיזיקלי, וב"קיימם" כשמדובר בקיום מתמטי. וכעת, במוחו של המתמטיקאי קייפת המחשבה על כך שלא קייממת פונצקיה G כך ש...
איך אני בשבילך?
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש