נק' מוניטין:
10,290
משפט אי השלמות של גדל
- פותח/ת השרשור StarDust
- פורסם בתאריך
קראת את הכתבה?
שפה = "מערכת מוסכמת של סימנים שבאמצעותם ניתן לכתוב טענות מתמטיות..."
ציטוט מהמאמר.
הסימנים שמרכיבים את השפה במקרה של גיאומטריה אוקלידית הם נקודה,ישר,מישור. את שאר המושגים ניתן לבנות ע"י שימוש בשפה. את ההוכחות בונים ע"י מערכת אקסיומות.
4 הוא לא בשפה.
נק' מוניטין:
11,406
- Satan-Shor`s Lair
יו, איזה זכרונות הכתבה הזאת העלתה בי ... ( (ציון בוחן =10, ציון מועד א' = 13, ב'= 31 ) => קורס חוזר ) :120ag:
נק' מוניטין:
10,290
- פותח/ת השרשור
- #7
מה למדת? לי זה דווקא הזכיר משהו אחר - קורס תורת הקבוצות עם מוטי גיטיק באונ' ת"א.
בהקשר זה חשוב לציין גם את שלושת המשפטים העיקריים של תורת הקבוצות ושעליהן מתבססת רוב המתמטיקה:
הלמה של צורן: http://he.wikipedia.org/wiki/הלמה_של_צורן.
משפט הסדר הטוב: http://he.wikipedia.org/wiki/עקרון_הסדר_הטוב
אקסיומת הבחירה:
http://he.wikipedia.org/wiki/אקסיומת_הבחירה
---------- התגובה התווספה ב 13:06 ---------- התגובה הקודמת הייתה ב 13:01 ----------
וגם כמובן את אקסיומות צרמלו פרנקל:
http://he.wikipedia.org/wiki/תורת_הקבוצות_האקסיומטית
נערך לאחרונה:
נק' מוניטין:
10,290
- פותח/ת השרשור
- #13
