Very nice explanation! I think it's worth mentioning that this is called universal search (you mention this in passing) or Levin Search or Levin's universal sea

Very nice explanation! I think it's worth mentioning that this is called universal search (you mention this in passing) or Levin Search or Levin's universal search algorithm. It was invented by Leonid Levin in 1972. https://steemit.com/steemstem/@markgritter/leonid-levin-s-universal-algorithm https://steemit.com/steemstem/@markgritter/leonid-levin-s-un...