I hate how many things turn out to be turing complete, like why tf is solving diophantine equations undecideable!? https://en.wikipedia.org/wiki/Diophantine_set#Matiyasevich's_theorem and then people are constructing turing machines out of product notation!?! (well only within re...