OT: Gödel's incompleteness theorems

[moliver-fC0AHe2n+mcIvw5+aKnW+Pd9D2ou9A/h at public.gmane.org]

Quoting Christopher Browne <cbbrowne-Re5JQEeQqe8AvxtiuMwx3w at public.gmane.org>:
(presumably quoting someone else)
> Oddly enough, this is completely standard behaviour for shells. This
> is a roundabout way of saying `don't use combined chains of `&&'s and
> `||'s unless you think Gödel's theorem is for sissies'.

Hi Christopher,

would you mind giving the context of your .sig?  It doesn't
seem to make a lot of sense on its own -- for one thing,
the Gödel theorems don't apply to propositional logic,
as the latter is too weak for the theorems to attach.
You need quantifiers before you get any nontrivial application
of Gödel.

--
The Toronto Linux Users Group.      Meetings: http://tlug.ss.org
TLUG requests: Linux topics, No HTML, wrap text below 80 columns
How to UNSUBSCRIBE: http://tlug.ss.org/subscribe.shtml