Computing in Terms of Takeuti's Quantum Set Theory

Abstract

In this letter we discuss computing in terms of Gaisi Takeuti's quantum set theory using an explicit example of a rigid body of cuboid form. The universe
V(L)  of Takeuti will be determined. A set of real numbers in this Universe are also explicitly described including a set of binary numbers. Thus we arrive at
the foundations of von Neumann' theory of computing in terms of ordinary binary numbers. Then we see that this extension of computing to the Universe V(L)  provides a sound, mathematically well defined theory of quantum computing.