... não fique triste, segundo Karel Van Oudheusden você está muito bem acompanhado.
https://eprints.illc.uva.nl/id/eprint/819/1/MoL-2009-12.text.pdf
Do resumo:
(...) it will be shown that several ideas from logic that did influence some computer pioneers, were primarily received indirectly and without full comprehension.
Similarly, the logicians, themselves, did not initially grasp the connection between Turing’s 1936 paper and the programmable computing machine either.
abraços
P