לוגו Historydraft
null
4 אירועים על ציר זמן זה
  1. אלן טיורינג

    טיורינג פרסם את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה"

    יום שני נוב׳ ד, ילונדון, אנגליה

    בשנת 1936 פרסם טיורינג את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה" (On Computable Numbers, with an Application to the Entscheidungsproblem). המאמר פורסם בכתב העת של החברה המתמטית של לונדון בשני חלקים, הראשון ב-30 בנובמבר והשני ב-23 בדצמבר.

  2. על מספרים חישובים

    יום שני נוב׳ ד, יאנגליה

    טיורינג פרסם את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה". הוא פורסם בכתב העת של החברה המתמטית של לונדון בשני חלקים, הראשון ב-30 בנובמבר והשני ב-23 בדצמבר. במאמר זה, ניסח טיורינג מחדש את תוצאותיו של קורט גדל מ-1931 על גבולות ההוכחה והחישוב, והחליף את השפה הפורמלית מבוססת האריתמטיקה האוניברסלית של גדל בהתקנים היפותטיים פשוטים ופורמליים שנודעו כמכונות טיורינג. בעיית ההכרעה (Entscheidungsproblem) פורסמה במקור על ידי המתמטיקאי הגרמני דויד הילברט ב-1928. טיורינג הוכיח ש"מכונת החישוב האוניברסלית" שלו תהיה מסוגלת לבצע כל חישוב מתמטי שניתן להעלות על הדעת אם הוא ניתן לייצוג כאלגוריתם. הוא המשיך והוכיח שאין פתרון לבעיית ההכרעה על ידי כך שהראה תחילה שבעיית העצירה עבור מכונות טיורינג אינה כריעה: לא ניתן להחליט באופן אלגוריתמי האם מכונת טיורינג תעצור אי פעם.

  3. אלן טיורינג

    טיורינג פרסם את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה"

    יום שני נוב׳ ד, ילונדון, אנגליה

    בשנת 1936 פרסם טיורינג את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה" (On Computable Numbers, with an Application to the Entscheidungsproblem). המאמר פורסם בכתב העת של החברה המתמטית של לונדון בשני חלקים, הראשון ב-30 בנובמבר והשני ב-23 בדצמבר.

  4. על מספרים חישובים

    יום שני נוב׳ ד, יאנגליה

    טיורינג פרסם את מאמרו "על מספרים חישובים, עם יישום לבעיית ההכרעה". הוא פורסם בכתב העת של החברה המתמטית של לונדון בשני חלקים, הראשון ב-30 בנובמבר והשני ב-23 בדצמבר. במאמר זה, ניסח טיורינג מחדש את תוצאותיו של קורט גדל מ-1931 על גבולות ההוכחה והחישוב, והחליף את השפה הפורמלית מבוססת האריתמטיקה האוניברסלית של גדל בהתקנים היפותטיים פשוטים ופורמליים שנודעו כמכונות טיורינג. בעיית ההכרעה (Entscheidungsproblem) פורסמה במקור על ידי המתמטיקאי הגרמני דויד הילברט ב-1928. טיורינג הוכיח ש"מכונת החישוב האוניברסלית" שלו תהיה מסוגלת לבצע כל חישוב מתמטי שניתן להעלות על הדעת אם הוא ניתן לייצוג כאלגוריתם. הוא המשיך והוכיח שאין פתרון לבעיית ההכרעה על ידי כך שהראה תחילה שבעיית העצירה עבור מכונות טיורינג אינה כריעה: לא ניתן להחליט באופן אלגוריתמי האם מכונת טיורינג תעצור אי פעם.