Path: csiph.com!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx12.am4.POSTED!not-for-mail From: Spiros Bousbouras Newsgroups: comp.lang.lisp Subject: Re: Eliminating Undecidability and Incompleteness in Formal Systems (Prolog already does this) Message-ID: References: <2_ydnT3SYPULgV7BnZ2dnUU7-cnNnZ2d@giganews.com> <20190426104732.755@kylheku.com> <20190426174714.286@kylheku.com> <20190427112403.568@kylheku.com> <877ebfcdzc.fsf@nightsong.com> In-Reply-To: X-Organisation: Weyland-Yutani Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Lines: 17 X-Complaints-To: http://netreport.virginmedia.com NNTP-Posting-Date: Sun, 28 Apr 2019 00:16:03 UTC Organization: virginmedia.com Date: Sun, 28 Apr 2019 00:16:03 GMT X-Received-Bytes: 2045 X-Received-Body-CRC: 1906801433 Xref: csiph.com comp.lang.lisp:32790 On Sat, 27 Apr 2019 17:12:45 -0600 Jeff Barnett wrote: > Paul Rubin wrote on 4/27/2019 3:52 PM: > > peteolcott writes: > >> I have spent 22 years and 12,000 hours on this. > > > > http://web.mst.edu/%7Elmhall/WhatToDoWhenTrisectorComes.pdf > > Thanks for the pointer. It seems I missed that article - it came in a > crack between regularly reading the Intelligencer in the USC/ISI library > where I was employed and starting my own subscription which I kept for > two decades. The Intelligencer went from wildly entertaining to hard to > read during the latter period. The article by Dudley has a wider appeal > today than when he wrote it in 1983; we have lots of computer systems to > shield cranks and save then postage. Dudley has written a whole book on the subject , "A budget of trisections".