Re: Super Lint

From: Kai Henningsen (kaih@khms.westfalen.de)
Date: Thu Jan 06 2000 - 16:05:00 EST


oxymoron@waste.org (Oliver Xymoron) wrote on 03.01.00 in <Pine.LNX.4.10.10001031602010.2029-100000@waste.org>:

> Unfortunately, your approach was proved impossible well before the
> transistor was invented. See "halting problem".

That's what happens if you forget to consider practical applications.

You do not need to solve the problem completely; solving 90% is enough,
and that you can do without hitting the halting problem.

MfG Kai

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Fri Jan 07 2000 - 21:00:07 EST