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