Il computer Johnniac costruito su progetto di John von Neumann che lo utilizzò per elaborare il Logic Theorist, 1954