tag:blogger.com,1999:blog-27705661.post115133069382063367..comments2023-10-28T10:58:57.140+00:00Comments on Process Algebra Diary: An Eight Page Paper of KleeneLuca Acetohttp://www.blogger.com/profile/01092671728833265127noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-27705661.post-66618368727880711842010-02-05T13:26:14.774+00:002010-02-05T13:26:14.774+00:00Someday mathematicians will use computers to overc...Someday mathematicians will use computers to overcome proofs complexity in the same way as chess players of nowadays do to analyze chess openings.L.Dvoryanskyhttps://www.blogger.com/profile/14655917378353362691noreply@blogger.comtag:blogger.com,1999:blog-27705661.post-1151341582455342942006-06-26T17:06:00.000+00:002006-06-26T17:06:00.000+00:00Thanks for pointing out my mistake! I read those r...Thanks for pointing out my mistake! I read those reminscences of Mac Lane's a long time ago, and had made a note to write a post about it then. I'll add this remark to the post. <BR/><BR/>Lesson: One should always go back and check the sources before citing anything. <BR/><BR/>I failed to pay heed to this lesson, and it showed.Luca Acetohttps://www.blogger.com/profile/01092671728833265127noreply@blogger.comtag:blogger.com,1999:blog-27705661.post-1151338260072731562006-06-26T16:11:00.000+00:002006-06-26T16:11:00.000+00:00If I am not mistaken, it indeed mentions the name ...If I am not mistaken, it indeed mentions the name of the paper. It seems to be: The Inconsistencies of Certain Forms of Formal Logic. It is available online from: http://www.jstor.org/view/0003486x/di961655/96p00874/0 (It appears to be even one page less, thus 7 pages, in the end!)Anonymousnoreply@blogger.com