תוצאות החיפוש

...ן בלתי תלוי על ידי [[קורט גדל]], במסגרת עבודתו על [[משפטי האי-שלמות של גדל|משפטי האי-שלמות]] ועל ידי טרסקי בשנת [[1936]]. ה[[הוכחה בדרך השלילה]], ומכילה רעיונות דומים לרעיונות של הוכחת משפטי האי-שלמות. ...

...אי אפשר להוכיחן, אז בהכרח התורה אינה [[שלמות|שלמה]]. לכן, למרבית התורות, [[משפטי האי-שלמות של גדל|משפט האי-שלמות הראשון של גדל]] מתקבל כמסקנה של משפט האי-של ...גדל. למקרים האלו קליני כבר הציג הוכחה קצרה במיוחד למשפט של גדל, בהסתמך על אי-כריעות [[בעיית העצירה]]. ...

באופן כמותי, עבור המיקום והתנע, ניתן לנסח את עקרון אי-הוודאות כך: הניסוח הכללי ביותר של עקרון אי-הוודאות הוא: ...

== הוכחת אי-כריעות == ...יס]]. למעשה, האפשרות להוכיח ישירות את המשפט על בעיית העצירה גרם לכך שמשפטי אי-כריעות רבים אחרים יתבססו על [[רדוקציה חישובית|רדוקציות חישוביות]] ממנה. ...

[[קטגוריה:משפטים פיזיקליים|אי-שכפול]] [[קטגוריה:משפטי אי היתכנות]] ...

'''משפט אי-האפשרות של ארו''' (או '''[[פרדוקס]] ארו''') הוא [[משפט (מתמטיקה)|משפט מתמטי * [[אי-תלות באפשרויות לא רלוונטיות]]: מקומן היחסי של האפשרויות A ו-B בדירוג הקיבוצ ...

[[קטגוריה:משפטי אי היתכנות]] ...

...תורת המשחקים]] ו[[תכנון מכניזמים (תורת המשחקים)|תכנון מכניזמים]]. משפטי אי-היתכנות כמו [[משפט ארו]] מציגים שכאשר לבוחר יש שלוש או יותר אפשרויות, לא ניתן לעצב ...

...מות ׳חלקיק 1׳ ו׳חלקיק 2׳. מאחר שכל מדידה של מיקום החלקיק משפיעה על המערכת, אי אפשר לעקוב אחרי מסלול החלקיקים באופן רציף. חלקיקים קוונטיים הם '''[[חלקיקים ...יימר|אופנהיימר]] את העיקרון והחילו אותו גם על חלקיקים מורכבים שמכילים מספר אי זוגי של אלקטרונים ופרוטונים. עם גילוי הנייטרון ב-1932 הייזנברג הראה שאפשר ל ...

...ל [[מספר אי-רציונלי]] להתייחסות למספר שאינו המנה של שני מספרים שלמים, שכן "אי-רציונלי" פירושו במקור "לא סביר" או "לא נגיש עם היגיון". ...וס]] (408–355 לפנה"ס), תלמידו של [[אפלטון]], שצמצם את ההשוואה של שני יחסים אי-רציונליים להשוואות של כפולות שלמים של הגדלים המעורבים. השיטה שלו רומזת לשיט ...