Patenting logic, mathematics or logarithms? The case of computer-assisted proofs

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)


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. © 2011 Bentham Science Publishers Ltd.
Original languageEnglish
Pages (from-to)66-70
JournalRecent Patents on Computer Science
Publication statusPublished - 1 Jan 2011


  • Algorithm
  • Black box
  • Computer-assisted
  • Epistemology
  • Logic
  • Mathematics
  • Patent
  • Proof


Dive into the research topics of 'Patenting logic, mathematics or logarithms? The case of computer-assisted proofs'. Together they form a unique fingerprint.

Cite this