Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> Software is no more "mathematics" than are circuit diagrams, chemistry nor books.

Really? http://en.wikipedia.org/wiki/Curry-Howard_isomorphism



Sure Some software corresponds to Some math in a contrived example. That is well-known.

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?




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: