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

...וצרת על כל קלט ומקבלת בדיוק את השפה <math>L</math>. במילים אחרות, אם מכונת טיורינג <math>M</math> תקבל כקלט מילה בשפה, היא תעצור ב"מצב מקבל", ואם הקלט הוא מיל ...חנו יכולים ליצור רק <math>\aleph_0</math> ([[אלף אפס|אָלֶף אֶפֶס]]) מכונות טיורינג ואילו יש <math>\aleph</math> (אלף – [[עוצמת הרצף]]) שפות. ...

...יות רקורסיביות]] או [[תחשיב למדא]]. מספרים אלו הוגדרו לראשונה על ידי [[אלן טיורינג]] כחלק ממחקרו בנושא בעיית ה[[כריעות]] (Entscheidungsproblem){{הערה|Turing, מספר <math>\ a</math> יקרא '''חשיב''', אם קיימת מכונת טיורינג <math>\ M_a</math> שמקבלת כ[[קלט]] מספר <math>\ n</math> ו[[פלט|פולטת]] את ...

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

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

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

...ג'ון אדנזור ליטלווד]]. סקיוז היה חבר בנבחרת החתירה ביחד עם המתמטיקאי [[אלן טיורינג]]. את תואר ה[[דוקטורט]] שלו הוא קיבל בשנת [[1938]] על ה[[תזה]]: "(On the di ...

...כרת ביותר לבעיית הכרעה שאין תוכנית הפותרת אותה היא [[בעיית העצירה]]. [[אלן טיורינג]] הוכיח זאת בשנת [[1936]] בשיטת הלכסון. דוגמאות רבות נוספות מגיעות מ[[משפט ...

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

[[קובץ:Maquina.png|ממוזער|הדמיה של [[מכונת טיורינג]]]] * אלן ראו (Alan Rowe) חוקר את [[תל גזר]], מטעם ה־[[הקרן לחקר ארץ ישראל|P.E.F]], ב ...

...השנייה]]. מכונת הבומב התבססה על התקן פולני משנת 1938 ותוכננה על ידי [[אלן טיורינג]]. [[גורדון ולצ'מן]] שיפר מאוחר יותר את המכונה. טיורינג גרס שאף על פי שערכי ''P(''<tt>A</tt>'')'' or ''P(''<tt>W</tt>'')'', היו בלת ...

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

...- מקום משכנו של הקולוסוס. באותה תקופה לא הייתה הכרה במהותה של תכונת שלמות טיורינג. ...

[[אלן טיורינג]] הראה ש'''[[בעיית העצירה]]''' היא לא-כריעה באמצעות לכסון. ההוכחה משתמשת בה ...

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

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

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

* 1936: [[אלן טיורינג]] הוכיח שאלגוריתם כללי לפתרון [[בעיית העצירה]] עבור כל צמדי הקלט האפשריים ש *1936–1937: [[אלונזו צ'רץ']] ו[[אלן טיורינג]] פרסמו מאמרים עצמאיים המראים שפתרון כללי לבעיית ה-Entscheidungs {{אנ|Entsc ...

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

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

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