מה לא יכול המחשב לעשות

בתשובה לגדי אלכסנדרוביץ', 15/12/06 18:05

ההוכחה הזאת פשוט דבילית

424689

תוהה • בתשובה לגדי אלכסנדרוביץ'

יום ו', 15/12/2006, 18:28

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

ודרך אגב, אם זכור לי נכון מתמטיקאים עשו אותו דבר עם תורת הקבוצות אחרי הפרדוקס של ראסל (אף אחד לא יגרש אותם מגן עדן, אבל כשמדובר בענין מעשי אין להם כנראה בעיה להתיימר שפתחו את שערי הגהנום)

בקיצר, כל אחד ומה שעושה לו טוב..

ההוכחה הזאת פשוט דבילית

424710

גדי אלכסנדרוביץ' • בתשובה לתוהה

יום ו', 15/12/2006, 23:02

נתת לי כרגע מוטיבציה לכתוב מאמר גם על הנושא הזה (אבל כאן כבר באמת עדיף שמישהו מהמתמטיקאים של האייל יקדים אותי).

אגב, יש לי הרגשה שאני כבר מכיר אותך מאיפה שהוא...

ההוכחה הזאת פשוט דבילית

424711

תוהה • בתשובה לגדי אלכסנדרוביץ'

יום ו', 15/12/2006, 23:04

אתה צודק, אבל זה יותר שאני מכיר אותך משאתה אותי

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות