lkml.org 
[lkml]   [2000]   [Jan]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Super Lint
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/

\
 
 \ /
  Last update: 2005-03-22 13:55    [from the cache]
©2003-2011 Jasper Spaans