PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So you are stuck with the argument that computers are formal systems-humans are computers-humans are therefore formal systems.Computers are formal systems: no argument.I still think it is a stretch to compare the brain with a Turing machine.
http://www.w3.org/ns/prov#wasQuotedFrom
  • fool.com