Mudcat Café message #2955922 The Mudcat Café TM
Thread #73340   Message #2955922
Posted By: Joe_F
31-Jul-10 - 06:48 PM
Thread Name: BS: Today Is A Good Day Because......
Subject: RE: BS: Today Is A Good Day Because......
I made a little progress on a very silly project: To rewrite the definitions in Quine's _Mathematical Logic_ as Elisp programs, and thereby, eventually, to write out "1+1=2" in his canonical language (nothing but "is a member of", "nor", and parentheses), which he says "would run to a length of many pages".