4 ms·
Very nice, not what I expected and worth a read!
by jmclnx 11mo ago
Very nice, not what I expected and worth a read!
- jbaber 11mo agoYour comment hinted I'd actually want to read it. Thanks!
- echelon 11mo ago> Cryptids are Turing Machines whose behavior (when started on a blank tape) can be described completely by a relatively simple mathematical rule, but where that rule falls into a class of unsolved (and presumed hard) mathematical problems. This definition is somewhat subjective (What counts as a simple rule? What counts as a hard problem?). In practice, most currently known small Cryptids have Collatz-like behavior. In other words, the halting problem from blank tape of Cryptids is mathematically-hard.