Login to BatWeb
Forgot your password?
BatMUD Forums > Bs > Re: spam and gödel
Jayarejay wrote:
I think we all can agree that if repeated "3"'s and repeated "1"'s are
spamming, then also repeated "4" = 3 + 1 is spamming, and so forth for all the
required number theoretic axioms. Gödel's incompleteness theorem then states
that there is no such algorithm, which outputs "true" for every string x which
is spam. Also with the same argument we get that being a spam is not finitely
axiomatizable, so what you're asking is impossible to do.
Slobber wrote:
Jayarejay wrote:
I think we all can agree that if repeated "3"'s and repeated "1"'s are
spamming, then also repeated "4" = 3 + 1 is spamming, and so forth for all the
required number theoretic axioms. Gödel's incompleteness theorem then states
that there is no such algorithm, which outputs "true" for every string x which
is spam. Also with the same argument we get that being a spam is not finitely
axiomatizable, so what you're asking is impossible to do.
Generic Perl Zealots theorem states that there definetely is no such string
that cannot be matched by regexp's. Q.E.D. (whatever that means)
--
I type this every time
If I had all the money I'd spent on drink, I'd spend it on drink.
-- Sir Henry Rawlinson
Quote:
Jayarejay wrote:
I think we all can agree that if repeated \"3\"\'s and repeated
Quote:
are spamming, then also repeated \"4\" = 3 + 1 is spamming, and so
forth for all the required number theoretic axioms. Gödel\'s
incompleteness theorem then states that there is no such algorithm,
which outputs \"true\" for every string x which is spam. Also with
the same argument we get that being a spam is not finitely
axiomatizable, so what you\'re asking is impossible to do.
forth for all the required number theoretic axioms. Gödel\'s
incompleteness theorem then states that there is no such algorithm,
which outputs \"true\" for every string x which is spam. Also with
the same argument we get that being a spam is not finitely
axiomatizable, so what you\'re asking is impossible to do.
know!
(That\'s a good one. Wish I could be clever like that.)
Joseph / JayAreJay
© 1990-2025 Balanced Alternative Techniques ry. All rights reserved. BatMUD™ is a registered trademark of Balanced Alternative Techniques ry.
The individual comments are the property of their posters, and may not reflect the views or opinions of the administration.