$\newcommand{\defeq}{\mathrel{\mathop:}=}$

## 2008/07/03

### 完美

Much work remains to be done. In places this scheme of things is still very messy, sometimes because of the unwieldiness of existing languages, and sometimes because we have not yet found the ideal way of expressing some of our concepts. But perhaps this system of denotational semantics may provide the basis of a coherent and unified theory of "how to compute the computable", and thus help in the task of increasing the usefulness of computers and their programmers.

--

Labels: