The Idea of the self-reproducing Pc system is often traced back again to First theories about the Procedure of complicated automata.[eleven] John von Neumann showed that in theory a software could reproduce alone. This constituted a plausibility end in computability theory. Fred Cohen experimented with Pc viruses and confirmed Neumann's postulate a