Ademés és considerat un dels pares de la [[Ciències de la computació|ciència de la computació]] i precursor de la [[informàtica]] moderna. Va proporcionar una influent formalisació dels conceptes de [[algoritme]] i computació: la [[màquina de Turing]]. Va formular la seua pròpia versió que hui és àmpliament acceptada com la [[tesis de Church-Turing]] (1936). | Ademés és considerat un dels pares de la [[Ciències de la computació|ciència de la computació]] i precursor de la [[informàtica]] moderna. Va proporcionar una influent formalisació dels conceptes de [[algoritme]] i computació: la [[màquina de Turing]]. Va formular la seua pròpia versió que hui és àmpliament acceptada com la [[tesis de Church-Turing]] (1936). |