בתשובה לדורון יערי, 31/12/01 11:00
לוגיקונים חדשים 50779
אבל מה שגזרת מ-X בהוכחה בשלילה הכללית שלך, תקפותו תלויה ב-X. ואם X אינו נכון, הרי שלא הוכחת כלום.
אז למה כן הוכחת? כי כאשר השתמשת ב-X, היה מותר לך לעשות זאת - כי הנחת אותו.
כך אני עושה, לטענתי: אכן בהוכחה שלי אני משתמש בחוק הסתירה - אבל כשאני עושה זאת, מותר לי - כי הנחתי אותו.

כנראה אני טועה. לא יכול להיות שגם גוד וגם אתה וגם גלעד ברזילי טועים ואני צודק. לא יכול להיות. פשוט לא כוחות. אבל איפה, <גרון ניחר> איפה?

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

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