|
|
|
|
|
by shalabhc
660 days ago
|
|
The question is whether the concept of data is essential to how we structure computation. Computation is a physical process and any model we use to build or describe this process is imposed by us. Whether this model should include the concept of data (and their counterparts "functions") is really the question here. While I don't think the data/function concept is essential to modeling computation, I also have a hard time diverging too far from these ideas because that is all I have seen for decades. I believe Kay is challenging us to explore the space of other concepts that can model computation. |
|
In logic, you have definitions that are extensional (list of objects of the defined type) or intensional (conditions on the object of the type). Perhaps you can think of first representation as data, and the other representation as model or program.
But it's not trivial to convert between the two representations. From extensional to intensional is machine learning, and the other way you face a constraint satisfaction problem.
If we could somehow do both efficiently enough, then perhaps we could represent everything intensionally, as generative programs, and get rid of "data". But we don't know how to do this or whether it is possible.