Joscha Bach@Plinz• over 7 years ago

I suspect that is the core of all understanding: discover a mapping of a problem to something that you already know how to compute. This mapping is a computation itself. You need to start out with at least one universal automaton and a suitable search function for new mappings. https://t.co/nxxwQRj90o