|
|
|
|
|
|
by jstimpfle
2633 days ago
|
|
|
I think the name "abstraction" is unfortunate in Dijkstra's sense. The notion of abstraction he's talking about is not about the process of going from less to more abstract. The abstraction is the more abstract. In fact, ignoring the path by which we arrived at the abstraction, it has absolutely no intrinsic relation to the original, more real, less abstract model. Maybe we're just trying to say the same thing here. |
|
|