You are viewing a single comment's thread from:

RE: Tauchain (TML) - Partial Fixed Point Logic and it's unique benefits

in #tauchain7 years ago

The universe is finite, all apps running on computers are finite, but some algorithms you want to construct in a way which assumes the infinite because you have no way of predicting the future or when it should halt.

This is a basic principle of FMT, and even quantum computers use a Boolean circuit model (Quantum circuit), making them Quantum Turing machines.