> There are not countably many possible books that could ever exist. A book is a sequence of characters c_1,...,c_n where each c_1 comes from a finite set. Th

> There are not countably many possible books that could ever exist. A book is a sequence of characters c_1,...,c_n where each c_1 comes from a finite set. The set of all books is definitely countable. > Therefore, I can't tell you "I just wrote book 394343" and have that convey any useful information. True. > You can do that with computer programs. But USPTO won't give a shit. Go ahead and compute some Goedelian encoding of your program, file it, and let me know how that goes. You have to convey useful information about how the program behaves. > Computer programs are integers I mean at the end of the day a book is just a shitload of bits you're streaming to some printer.