3 ms·

Gödel says you do.

• Jweb_Guru 5y ago
  Gödel's incompleteness theorem does not say that you cannot create a programming language (even a Turing-complete one) without undefined behavior. I'd love to hear how you came to that conclusion.