Generic placeholder image

Recent Patents on Computer Science


ISSN (Print): 2213-2759
ISSN (Online): 1874-4796

Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs

Author(s): Jordi Vallverdu

Volume 4, Issue 1, 2011

Page: [66 - 70] Pages: 5

DOI: 10.2174/2213275911104010066

Price: $65


One of the most important debates about symbolic entities is about its ontological status. In other words, their true nature. There are three knowledge domains, logic, mathematics and computer languages (algorithms), that share a common nature. From a conceptual analysis, we can justify that all three fields are logically equivalent and that the statements about one of them should be automatically extrapolated to other two. There is also a very important question regarding software-mathematical-logical objects: the object contains in itself the process by which it is possible, that is the diverse verification, justification or demonstration processes. Patents on these fields should be severely restricted by very special circumstances, but should be not so easy to obtain. Beyond the academic, industrial and social claims on authorship, abstract knowledge belongs to the human species, in the same way as DNA is the essence of our physical structure.

Keywords: Patent, mathematics, proof, computer-assisted, epistemology, black box, algorithm, logic, programming entities, computational techniques, mathematical proof, internal computer chips, ontological identity

Rights & Permissions Print Cite
© 2024 Bentham Science Publishers | Privacy Policy