S2E9 - re:Clojure Interviews 9 - Stephen Wolfram
JUXT Cast
00:00
What's the Generalization of Symbolic Expressions?
Mathematics is a good first use case because it actually has quite a lot of structure. But what i did was to say, what's the generalization of that? Then i looked back at things like lambi calculus and and post production systems and combinators and so on. I said, wa, what is really going on in those fundamental models of computation? You have a structure, and you have transformations on that structure. Now, the thing that is not obvious is that that's a good human way to represent things. It could be that it grinds everything down, just like combinators, and you end up with something which is very pure and very perfect, but useless to
Transcript
Play full episode
