בתשובה לירדן ניר, 06/03/02 10:57
דואליסט 60240
דו המשמעות היא אצל המתמטיקאי, לא אצלי... מאחר ואני משתדל לדבוק בשפה חח''ע, אני נאלץ להדרדר ל''קיימת מחשבה על הפונקציה במוח המתמטיקאי, ועכשיו גם במוחי'' ולא יכול להגיד על הפונקציה שהיא קיימת.
טענה מסוג ''לא קיימת פונקציה ש...'' בשפה חח''ע מתרגמת ל''לא ניתן להגדיר תחת המערכת עליה חשבנו מראש (והקיימת במוחינו) פונקציה ש... תוך שנשאר עקביים למערכת עליה אנו חושבים'', ואין סתירה לכלום.

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

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

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

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

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