שיחה:השערה (מתמטיקה) – הבדלי גרסאות
הוספת נושאתגובה אחרונה: לפני 8 שנים מאת דניאל ב. בנושא משפט אי השלמות של גדל
תוכן שנמחק תוכן שנוסף
הגהה, תיקון קישורים |
|||
| שורה 1: | שורה 1: | ||
== משפט אי השלמות של גדל == |
== משפט אי השלמות של גדל == |
||
להבנתי, [[ |
להבנתי, [[משפטי האי-שלמות של גדל|משפט האי-שלמות של גדל]] טוען כי השערה שלא ניתן להוכיח או להפריך אותה היא בהכרח נכונה. האם זה לא גורם להשערה להיות מוכחת ועל כן להפסיק להיות השערה ולהפוך לתיאורמה? והאם מה שכתוב בגוף הערך הוא שגוי? [[משתמש:Ofir michael|A_Holy_Bartender]] - [[שיחת משתמש:Ofir michael|שיחה]] 08:10, 24 באוגוסט 2015 (IDT) |
||
:ב[[תורה מסדר ראשון]] אם טענה היא בלתי כריעה הרי שקיים [[מודל (לוגיקה מתמטית)|מודל]] של התורה שבה הטענה שגויה (וקיים מודל שבה היא נכונה). למשל בתורת הקבוצות המודרנית עוסקים רבות במודלים שבהם [[השערת הרצף]] אינה מתקיימת. [[משתמש:דניאל ב.|דניאל]] 02:12, 31 באוקטובר 2015 (IST) |
:ב[[תורה מסדר ראשון]] אם טענה היא בלתי כריעה הרי שקיים [[מודל (לוגיקה מתמטית)|מודל]] של התורה שבה הטענה שגויה (וקיים מודל שבה היא נכונה). למשל בתורת הקבוצות המודרנית עוסקים רבות במודלים שבהם [[השערת הרצף]] אינה מתקיימת. [[משתמש:דניאל ב.|דניאל]] 02:12, 31 באוקטובר 2015 (IST) |
||
גרסה אחרונה מ־22:03, 29 בפברואר 2024
משפט אי השלמות של גדל[עריכת קוד מקור]
להבנתי, משפט האי-שלמות של גדל טוען כי השערה שלא ניתן להוכיח או להפריך אותה היא בהכרח נכונה. האם זה לא גורם להשערה להיות מוכחת ועל כן להפסיק להיות השערה ולהפוך לתיאורמה? והאם מה שכתוב בגוף הערך הוא שגוי? A_Holy_Bartender - שיחה 08:10, 24 באוגוסט 2015 (IDT)
- בתורה מסדר ראשון אם טענה היא בלתי כריעה הרי שקיים מודל של התורה שבה הטענה שגויה (וקיים מודל שבה היא נכונה). למשל בתורת הקבוצות המודרנית עוסקים רבות במודלים שבהם השערת הרצף אינה מתקיימת. דניאל 02:12, 31 באוקטובר 2015 (IST)