Follow

Great explanation of Gödel's incompleteness theorem written like Lisp code stopa.io/post/269

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

Private server of the Taborsky family