Stephen Wolfram - Abstraction in Computational Knowledge (via searchlore.ai)