Blueprint for a Hypercomputer
F. A. Doria is a full member of the Brazilian Academy of Philosophy, R. do Riachuelo 303, 20230–011 Rio RJ Brazil.
We sketch the developments that led to the construction of the da Costa and Doria expression for the halting function in languages more powerful than arithmetic, and use it to describe a plausible real hypercomputer.