3 ms·
Doesn't this sort of thing put lie to the idea of patenting algorithms, as mathematics is unpatentable, types are theorems and programs are proofs?
by bediger 17y ago
Doesn't this sort of thing put lie to the idea of patenting algorithms, as mathematics is unpatentable, types are theorems and programs are proofs?
- eru 17y agoI don't know. You could equally argue (at least to a judge) that everything that can be coded in binary is actually an integer.