Very cool! Thanks for the link! Got a lot of reading to do.

However I do wonder if it’ll turn out that these higher dimensional geometric problems turn out to have the same structure as Godel’s proof. That the higher dimensional geometric structure is complex enough to represent their own foundation.

Although now I’m committing the same fallacy I was arguing against i.e. an equivalence between unknowns