#lisp #bookstodon
I forgot the author/title of that book where the author's idea is that there are many halting-problem-like unproveable features in computer programming. Do you know it? Lisp book lists?
https://mastodon.sdf.org/@screwtape/113404602401645456
No replies.
────