The science of creating software is based on deductive methods, but induction-deduction's ignored sibling-could have a profound effect on the future development of computer science theory and practice. Inductive reasoning can solve problems outside the realm of machine learning. Formal methods to underpin inductive techniques are emerging, but they have yet to be viewed, accepted and developed as a fundamental alternative to deductive computer science.