19 ms·

Example?

• klyrs 3y ago
  Without offering anything to anybody trying to characterize "intelligence," I do like silly languages. FRACTRAN is integer×rational multiplication in a double for-loop. Not an exact match, but if you work in a factorized representation, I think you can massage the integer×rational into a matrix multiplication.
• version_five 3y ago
  I'd guess he's misunderstanding some of the finite automata?
• lostmsu 3y ago
  I can not find the better variant that was more theoretical with exhaustiveness theorem, but on the practical side this applies to more or less any symbolic system that performs tree search among statements. E.g. https://en.m.wikipedia.org/wiki/Logic_Theorist https://en.m.wikipedia.org/wiki/Logic_Theorist