FOM: polynomial v. combinatorial independence

Martin Davis martind at cs.berkeley.edu
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.

Martin




More information about the FOM mailing list