Re: [PO] Re: Proving a negative is hard

From: Abdulaziz Ghuloum (aghuloum_at_c-s-remove-dashes.indiana.edu)
Date: 08/22/04


Date: Sun, 22 Aug 2004 09:18:04 -0500

Peter Olcott wrote:

> the categorically exhaustively complete set of ALL Halt Analyzers

meaning?