Requirements in mathematical language are no use unless they are easier to read than the code.
David ParnasI have found that the reason a lot of people are interested in artificial intelligence is the same reason a lot of people are interested in artificial limbs: they are missing one.
David Parnas