5 ms·

Undecidability is not tied to only self referential definitions, though.

• BreakfastB0b 5y ago
  The only ones I’m aware of are. Can you link me some examples? I’d like to read up on it.
  • jychang 5y ago
    https://xorshammer.com/2008/09/04/a-geometrically-natural-uncomputable-function/ https://xorshammer.com/2008/09/04/a-geometrically-natural-un...
    • BreakfastB0b 5y ago
      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
• mensetmanusman 5y ago
  Excellent insight.