**Links to**: [[000 Question]], [[000 Postulate]], [[What is philosophy]], [[What is a question]], [[000 Problems]], etc. *Human problems*: hunt/gather/love/kill/etc. All of this, in our contemporary paradigm, involves getting Turing machines (computers) to follow the right rules. See also: [[Rule]]. *Computer problems* are just the way in which we can transform one series of strings into another. A [[Turing machine]] can do any and all the problems that relate to this, so long as it houses the rules for getting to the strings-things we are interested in. >“If you take care of the syntax, the semantics take care of itself!” (Haugeland 1981: 23) What is the _problem_ with this? If you have the right rules it will look like it is _doing_ semantics, it will pass the Turing test. What are we “_testing_”? How to (better) predict whether something will hunt or gather us? See also: [[Prediction]]. See also: [[Homotopy]], [[Homotopy Type Theory]].