unprovable
4 hours ago
"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...
Multiway Turing Machines (2021 pre-ai)
19 pointsposted 5 hours ago
by marysminefnuf3 Comments
marysminefnuf
5 hours ago
Mathematical Connection between braids and computation
unprovable
4 hours ago
Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.