שיחת קטגוריה:הוכחות

כרגע הקטגוריה בעייתית, כי היא מערבת ערכים שמדברים על הוכחה עצמה (כמו האלכסון של קנטור) עם ערכים על משפטים (או דברים אחרים) וכוללים בתוכם גם הוכחה (גם אם היא תופסת את רוב המקום, עדיין נושא הערך הוא המשפט ולא ההוכחה) לדעתי כדאי לשקול את פיצול הקטגוריה, רק צריך לחשוב איך תיקרא הקטגוריה האחרת. שדדשכ • שיחה • כ"ה בכסלו ה'תשע"ב • 12:16, 21 בדצמבר 2011 (IST)

אני לא חושב שיש לנו ערכים על הוכחות. גם האלכסון של קנטור הוא ערך על משפט (שנקרא על שם הוכחתו). דניאל • תרמו ערך 12:38, 21 בדצמבר 2011 (IST)

זאת הנקודה: הערך "האלכסון של קנטור" מתמקד בהוכחה, ולא במשפט. זה איננו ערך על המשפט "הממשים לא שקולים לטבעיים" אלא על ההוכחה "ההוכחה הולכת ככה וככה.." כנ"ל גם עם טרנסצנדנטיות של e ועוד. שדדשכ • שיחה • כ"ה בכסלו ה'תשע"ב • 13:26, 21 בדצמבר 2011 (IST)

אלו ערכים על משפטים, שפשוט מתמקדים בעיקר בהוכחה. במשפט "e מספר טרנסצנדנטי" אין שום עניין מעבר לאתגר שבהוכחה שלו. הערך האלכסון של קנטור אינו שלם וחסר בו פירוט על המסקנות מן המשפט (ואני יכול לחשוב על לא מעט. למשל שרוב המספרים אינם גדירים). אמנם קיים ערך הוכחת האי-מנייה הראשונה של קנטור העוסק באותו משפט בדיוק, אך הוא מתעניין בעיקר במסקנה מן המשפט (וניתן לחשוב על המסקנה כמשפט בו עוסק הערך) שרוב הממשיים טרנסצנדנטיים. אפשר לפצל לקטגוריה:הוכחות וקטגוריה:ערכים עם הוכחות, אבל כאמור, לדעתי זה מיותר. דניאל • תרמו ערך 13:35, 21 בדצמבר 2011 (IST)