Gödel’s Incompleteness Theorem, in Bash

February 25, 2022

Thought this helped me understand a difficult theorem, in terms that I’m used to.

http://lacker.io/math/2022/02/24/godels-incompleteness-in-bash.html