Really? http://en.wikipedia.org/wiki/Curry-Howard_isomorphism
How about a disk driver? a network protocol? A game where you shoot a bunny with a flamethrower?
Some Computer Scientists occasionally gain benefit from applying math to certain algorithmic software. Is that the only kind that is being patented?
Really? http://en.wikipedia.org/wiki/Curry-Howard_isomorphism