Formal (math) notation has been around forever and it will probably stay that way. Using it to specify software is a recent application, but the meanings of symbols and their relationships are well established. Programming language syntax rules change, math does not. Also, math is more concise, more precise, and easier to analyze (prove that something is possible/impossible) than a programming language.
P.S. Check out Using Z (usingz.com). It is fantastic.
take the button of my boxers and flip it as a coin to produce a random binary string. break it down into even chunks of the appropriate length and convert to decimal.
OR
inspect the threads of the undergarment cloth like they did in "Wanted", except encode each type of thread as a number instead of a character