שיחת קטגוריה:משפטי אי היתכנות

הצדקת הקטגוריה

קיימות 3 קטגוריות קשורות לנושא:

קטגוריה:בעיות שאינן ניתנות לחישוב

קטגוריה:בעיות_לא_כריעות_במתמטיקה

קטגוריה:בעיות לא פתירות במתמטיקה

חלק מהערכים בקטגוריות הנ"ל ניתן להכניס גם לכאן, אך יש בקטגוריה זו ערכים שלא ניתן להכניס ל3 הקטגוריות הנ"ל, כגון משפט ארו, ומשפטי אי השלמות של גדל, משפט האי-שלמות של צ'ייטין, משפט האי-גדירות של טרסקי . לכן אני ממליץ על השארתה. ינון גלעדי - שיחה 23:42, 31 במרץ 2021 (IDT)

זו קטגוריה ראויה, גם אם פה ושם יהיה קשה לקבוע האם משפט מסויים הוא טענה חיובית או שלילית. משפטים פיזיקליים בעלי אופי דומה גם הם שייכים לכאן. עוזי ו. - שיחה 01:54, 1 באפריל 2021 (IDT)

ערך חסר? דומה אך שונה. מתחום הפיזיקה ולא מתחום המתמטיקה

אולי כדאי להכניס את הערך תנועה נצחית? אך זה חוסר היתכנות פיזיקלי ולא מתמטי, ולכן לא וודאי באותה מידה. אולי ניתן להכניס ערך זה ודומיו (מתחומי הפיזיקה, כימיה, ביולוגיה) לקטגוריה נפרדת ומקושר לזו, או גם לאחד את שתיהם לקטגוריה ראשית. ינון גלעדי - שיחה 23:51, 31 במרץ 2021 (IDT)

ערכים דומים בפיזיקה: עקרון האיסור של פאולי, עקרון האי-ודאות, משפט האי-שכפול. מתייג את נדב ס, Tshuva, hagay1000, רמי (ידע בסיסי), eman, Eyalweyalw, משה פרידמן, בנצי, E L Yekutiel, saroad, שלום אורי‏בעלי הידע בפיזיקה ינון גלעדי - שיחה 23:59, 31 במרץ 2021 (IDT)

מה צריך להכלל בקטגוריה ומה לא

ציטוט מתוך דיון עם משתמש:עוזי ו. בדף השיחה שלו:

נניח ש'א' היא תכונה או טענה מתמטית בעלת אמירה שלילית (זאת אומרת: כוללת את המילה לא), והוכחנו אותה על דרך השלילה (למשל את הטענה ש: לא ניתן לבטא את שורש 2 כשבר רציונאלי, הוכחנו על ידי הוכחה על דרך השלילה על ידי הנחה זמנית שכן ניתן לבטא כשבר והגעה לסתירה) - האם זה יקרא 'משפט אי-היתכנות' וצריך להכלל בקטגוריה הנ"ל לדעתך? ינון גלעדי - שיחה 02:32, 1 באפריל 2021 (IDT)

עוד שאלה: האם 'הוכחתו של גאורג קנטור משנת 1891 שהמספרים הממשיים אינם בני מנייה' היא גם הוכחת אי-היתכנות לדעתך? מה הגבול? ינון גלעדי - שיחה 02:36, 1 באפריל 2021 (IDT)

בשני המקרים התשובה שלילית. הקטגוריה צריכה לכלול משפטים על כך שדברים מסויימים הם בלתי אפשריים, ולא על כך שדברים מסויימים אינם שייכים לקבוצות מסויימות. גם טענות על אי-קיום של אובייקטים אינן שייכות לקטגוריה (למרות שאפשר לטעון שזה פוסל גם את משפט ארו). עוזי ו. - שיחה 03:10, 1 באפריל 2021 (IDT)