فرضیه محققان انگلیسی تمرکز بر روی این پرسش بود که آیا "چارلز بابیج"، ریاضیدان قرن نوزدهم ایده نخستین کامپیوتر قابل برنامهنویسی را در دهه ۱۸۳۰، یک صد سال پیش از ایده آلن تورینگ، داده است یا خیر؟
چارلز بابیج (۱۷۹۱ -۱۸۷۱) فیلسوف تحلیلگر و ریاضیدان انگلیسی و نخستین۱۸۲۰ طراحی ماشین محاسبهگر خود را آغاز کرد؛ ماشینی که بعدها به نام ماشین تفاضلی معروف شد.
بابیج ایده و وقت بسیار زیادی را صرف کرد تا بتواند ماشین محاسبهگر مکانیکی را طراحی کند که اولا: بتواند به صحت نتایج اعلام شده به وسیله او اطمینان داشت و دوم: اینکه زمان طولانی را که صرف محاسبات پیچیده و طولانی میشد را کاهش دهد.