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

...\times 6</math>, או של שתי מטריצות <math>15 \times 15</math> היא בעיה לא [[כריעות|כריעה]]{{הערה|Cassaigne, Julien; Halava, Vesa; Harju, Tero; Nicolas, Franco [[קטגוריה:בעיות לא כריעות במתמטיקה]] ...

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

מ[[הלמה של קניג]] נובע כי לא קיים <math>\aleph_0</math>־עץ אהרונשיין. קיומו של <math>\aleph_1</math>־עץ ...ath>n</math> הגדול מ־<math>1</math>. אם <math>k</math> הוא קומפקטי חלש אזי לא קיים <math>\kappa</math>־עץ אהרונשיין. בכיוון השני, אם <math>\kappa</math> ...

...עבורה, התשובה לשאלה "האם היא עוצרת?" מוגדרת היטב וחד משמעית ( - או כן, או לא). ...וקלט <math>X</math> כך שתוכנית המחשב עוצרת על קלט זה, ולא מקבלת אך אולי גם לא דוחה אם התוכנית אינה עוצרת על קלט זה, ולכן בעיית העצירה [[קבוצה ניתנת למניי ...

...קה, המסומנת בדרך-כלל באות <math>\ \varepsilon</math>, יכולה להיות שייכת או לא שייכת לשפה. דרך דומה לאפיון שפה פורמלית, המקובלת מאוד במתמטיקה, היא באמצעות [[מבנה יצירה|מבני-יצירה]]. בדרך זו נעזרים בתת-קבוצה של מילות ה ...

...פכי משמאל" של <math>a</math>). ייתכנו במונואיד איברים שהם הפיכים מימין אבל לא משמאל, או להפך. ההפכי מימין אינו בהכרח יחיד, וכן להפכי משמאל. לעומת זאת, אי ...הנתון לפי [[חבורה מוצגת סופית|הצגה סופית]] שלו ניתן לשיכון בחבורה, אינה [[כריעות|כריעה]]. עבור מונואידים סופיים התשובה תמיד חיובית (די להניח צמצום משמאל. '' ...

...ביות]] של תורת הקבוצות לא תינזק אם נוסיף אקסיומה הקובעת שההשערה נכונה, וגם לא אם נוסיף אקסיומה הקובעת שהיא אינה נכונה). ...0}</math>, ולכן העלה את '''השערת הרצף''' שלפיה קבוצה כזו אינה קיימת. קנטור לא הצליח להוכיח [[השערה (מתמטיקה)|השערה]] זו. אות לחשיבות שהייתה לבעיה זו בקרב ...

...יתם S שהקלט שלו הוא מספר טבעי, והוא מחזיר - בזמן סופי - את התשובה "כן" או "לא" לגבי ההשתייכות לקבוצה. ...אבל אינן חישוביות (כלומר, קיים עבורן אלגוריתם המזהה איברים של הקבוצה, אבל לא קיים אלגוריתם שגם מזהה איברים של הקבוצה, וגם מזהה אל-נכון איברים שאינם בקבו ...

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

...תמטיקה]], שהכריז על פרס בסך מיליון דולר שיוענק למי שיפתור את הבעיה{{הערה|7 בעיות המילניום, [http://www.claymath.org/millennium-problems/ אתר מכון קליי למתמט == מבוא לא רשמי == ...

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

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