Anonimowy czytelnik pisze "US Patent # 5893120 została obniżona do wzorów matematycznych jako demonstracja często ignorowany fakt, że jest relacją równoważności między programami i matematyki. Można uznać Patent # 5893210 jak to, które Google została zobowiązana do zapłaty $ 5M za naruszenie ze względu na jakiś kod w systemie Linux. Należy interesujące zobaczyć, jak fikcja prawna zajmie się tym. Czy Lambda rachunku nie jest już "math", czy też będą tylko podjąć decyzję o ustaleniu niezgodności i uczynić matematyki zdolność patentową?
Czytaj więcej tej historii w Slashdot.
Brak komentarzy:
Prześlij komentarz