I came across this mathematical programming article on Wikipedia called FRACTRAN.
FRACTRAN is a Turing-complete esoteric programming language invented by the mathematician John Conway.
What an amazing methodology. I decided to buy the referenced book "Nonplussed!: Mathematical Proof of Implausible Ideas". It's easy to read, but the proof is still difficult to follow. I really need to read it again.