Anonymní čtenář píše: "US Patent # 5893120 byla snížena na matematické vzorce jako demonstraci oft-ignoroval skutečnost, že existuje vztah rovnocennosti mezi programy a matematiky. Můžete poznat Patent # 5893210 jako ten, který Google byla uložena náhrada $ 5M pro porušení kvůli nějaké kódu v Linuxu. Mělo by být zajímavé sledovat, jak se bude zabývat právní fikci s tím. Bude Lambda kalkul již 'matematický'? Nebo se jen rozhodnout o stanovení nedůslednost a dělat matematika patentovatelný? "
Přečtěte si více o tomto příběhu na Slashdot.
Žádné komentáře:
Okomentovat