Non-Obfuscated Unprovable Programs & Many Resultant Subtleties

John Case, Michael Ralston

The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in pr…