Today I learned that the idea I’ve held for years I’m not alone in. I’ve believed in the sort of ‘every possible mathematical object’ approach—or alternatively, every possible input being run through every possible turing machine—for a long time. I don’t know if it has a name.
Today I learned that the idea I’ve held for years I’m not alone in. I’ve believed in the sort of ‘every possible mathematical object’ approach—or alternatively, every possible input being run through every possible turing machine—for a long time. I don’t know if it has a name.