Lady Lovelace’s Objection: The Turing–Hartree Disputes Over the Meaning of Digital Computers, 1946–1951 | IEEE Journals & Magazine | IEEE Xplore