Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr.1, 1938, S.544–546, doi:10.1112/plms/s2-42.1.230 (PDF).
doi.org
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr.1, 1937, S.230–265, doi:10.1112/plms/s2-42.1.230 (PDF).
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr.1, 1938, S.544–546, doi:10.1112/plms/s2-42.1.230 (PDF).
J. Fuegi, J. Francis: Lovelace & Babbage and the creation of the 1843 “notes”. In: Annals of the History of Computing. Band25, Nr.4. IEEE, Oktober 2003, ISSN1058-6180, S.16–26, doi:10.1109/MAHC.2003.1253887.
Raúl Rojas: Konrad Zuse’s Legacy: The Architecture of the Z1 and Z3. In: IEEE Annals of the History of Computing. Band19, Nr.2, 1997, ISSN1058-6180, S.5–16 (PDF).
Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr.1, 1937, S.230–265, doi:10.1112/plms/s2-42.1.230 (PDF).
J. Fuegi, J. Francis: Lovelace & Babbage and the creation of the 1843 “notes”. In: Annals of the History of Computing. Band25, Nr.4. IEEE, Oktober 2003, ISSN1058-6180, S.16–26, doi:10.1109/MAHC.2003.1253887.
Raúl Rojas: Konrad Zuse’s Legacy: The Architecture of the Z1 and Z3. In: IEEE Annals of the History of Computing. Band19, Nr.2, 1997, ISSN1058-6180, S.5–16 (PDF).