[FOM] Davis's honor Roll

William Tait wwtx at earthlink.net
Sun Jun 1 16:33:18 EDT 2003

On Sunday, June 1, 2003, at 03:25  AM, A.P. Hazen wrote:

>    (And, for another addition: didn't Martin-Löf overstep at one stage 
> and
> propose a type of types?)

M-L's paper, though possibly widely distributed, was not published. I 
don't think we should give credit for a serious contribution to 
inconsistency to unpublished work.

Best regards,

Bill Tait

More information about the FOM mailing list