2022/02/25 17:59Gödel's Incompleteness Theorem in Bash https://lacker.io/math/2022/02/24/godels-incompleteness-in-bash.html