Re:Gödel's Incompleteness Theorem in Bash
by lacker on Friday February 25, 2022 @09:40PM
(#30474831)
For him the difficult part of the proof was showing that you can represent text as numbers and manipulate it using arithmetic operations. These days we all do that for our day jobs.
Yes - this is a great way of putting it.