You are viewing a single comment's thread from:

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

in #tauchain8 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.

Coin Marketplace

STEEM 0.06
TRX 0.28
JST 0.049
BTC 68597.47
ETH 1986.53
USDT 1.00
SBD 0.51