Anonyymi lukija kirjoittaa: "US Patent # 5893120 on vähentynyt matemaattisten kaavojen osoituksena Usein huomiotta se, että on ekvivalenssirelaatio ohjelmien välillä ja matematiikan. Voit tunnistaa Patent # 5893210 kuin joka Googlen velvoitettiin maksamaan $ 5M loukkaamisen vuoksi koodia Linuxissa. Olisi mielenkiintoista nähdä, miten oikeudellisen fiktion käsittelee tätä. Voiko Lambda calculus enää "matematiikkaa"? Tai he vain päättää vahvistaa epäjohdonmukaisuus ja tehdä matematiikan patentoida? "
Lue lisää tämän tarinan on Slashdot.
Ingen kommentarer:
Send en kommentar