FOM: polynomial v. combinatorial independence

Martin Davis martind at
Mon Mar 23 12:25:17 EST 1998

At 11:43 AM 3/23/98 -0500, Neil Tennant wrote:
>  Within the limits
>already set by the results of G"odel and Davis-Matiyasevich, 

Thanks, but if you're going to list me, you need to also mention Hilary
Putnam, and (particularly) Julia Robinson. To avoid a long list of names the
MRDP abbreviation makes sense.


More information about the FOM mailing list