9 votes What Gödel Discovered (in Lisp!) Posted November 18 by tindall Tags: programming languages.lisp, mathematics.set theory, mathematics.unification, kurt godel https://stopa.io/post/269 Link information This data is scraped automatically and may be incorrect. Word count 4026 words 1 comment Collapse replies Expand all Comments sorted by most votes newest first order posted relevance OK tindall (OP) November 18 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

tindall (OP) November 18 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

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