<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Resolution Machinery"^^ . "The value of syntax is controversial:\r\nsome see syntax as defining us as species,\r\nwhile for others it just facilitates communication.\r\nTo assess syntax\r\nwe investigate its relation to problem resolving.\r\nFirst we define a problem theory from first principles,\r\nand then we translate the theory concepts to mathematics,\r\nobtaining the requirements\r\nthat every resolution machine has to implement.\r\nSuch a resolution machine will be able to\r\nexecute any possible resolution, that is,\r\nany possible way of taking a problem expression\r\nand computing the problem solutions.\r\nTwo main requirements are found:\r\n1) syntax is needed to express problems,\r\n that is, separate words are not enough, and\r\n2) the resolution machine has to be as powerful\r\n as lambda calculus is, that is, \r\n it has to be Turing complete.\r\nNoting that every device that can generate\r\nany possible syntax, that is,\r\nany possible syntactically correct sentence\r\nof any possible, natural or artificial, language,\r\nhas to be Turing complete,\r\nwe conclude that syntax and problem resolving\r\ncan use the same components, as, for example,\r\nsentences, functions, and conditionals.\r\nThe implication to human evolution is that\r\nsyntax and problem resolving should have\r\nco-evolved in humans towards Turing completeness.\r\n"^^ . "2014-02-24" . . . . . . . "Ramón"^^ . "Casares"^^ . "Ramón Casares"^^ . . . . . . "Resolution Machinery (PDF)"^^ . . . "Syntax-20140225.pdf"^^ . . . "Resolution Machinery (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Resolution Machinery (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Resolution Machinery (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Resolution Machinery (Other)"^^ . . . . . . "small.jpg"^^ . . . "Resolution Machinery (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #9209 \n\nResolution Machinery\n\n" . "text/html" . . . "Evolution" . . . "Language" . . . "Syntax" . .