9 votes

What Gödel Discovered (in Lisp!)

1 comment

  1. tindall
    Link
    Interesting CS-y breakdown of a very important result in mathematics.

    Interesting CS-y breakdown of a very important result in mathematics.

    2 votes