You are viewing a single comment's thread from:
RE: Tauchain (TML) - Partial Fixed Point Logic and it's unique benefits
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.