Nomination: Pierre Sallinger HL&S: Russ Allberry & The Big 8 Management Board

[ah]

Timmay! wrote:
> Meat Plow <meat@petitmorte.net> wrote:
>>Aratzio wrote:
> [...] (guff)
>>> Seconds:
>>
>>Seconded with Glee!
>
> Still sniffing arses I see.
>
> I've got a nice juicy stick if you wanna play fetch?

Filth!
--
ah

 

[ah]

Timmay! wrote:
> Meat Plow <meat@petitmorte.net> wrote:
>>Aratzio wrote:
> [...] (guff)
>>> Seconds:
>>
>>Seconded with Glee!
>
> Still sniffing arses I see.
>
> I've got a nice juicy stick if you wanna play fetch?

Filth!
--
ah

 

[ah]

Timmay! wrote:
> Meat Plow <meat@petitmorte.net> wrote:
>>Aratzio wrote:
> [...] (guff)
>>> Seconds:
>>
>>Seconded with Glee!
>
> Still sniffing arses I see.
>
> I've got a nice juicy stick if you wanna play fetch?

Filth!
--
ah

 

[ah]

Troia wrote:
> Aratzio wrote:
> > I for one appreciate a good troll, but I must admit I bit this hook as
> > hard as anyone. Russ and his group of trolls fooled everyone. Creating
> > a board to manage the Big-8 hierarchy, sending out control messages
> > for dead groups, pretending to disenfranchise usenetizens from the
> > process by hiding in a private clubhouse. I guess we all should have
> > guessed when they started discussing RMGROUPS. Come on, RMGROUPs? How
> > in the world did we miss that clue?
> >
> > According to Google these are the last postings by the board in the
> > news.groups.proposals clubhouse:
> > Tim Skirvin: 04 Dec 2007
> > Dave Sill: 24 Jan 2008
> > Mark Kramer: 11 Jan 2008
> > Doug McLaren: 13 Jan 2008
> > Martin X Moleski: 21 Jan 2008
> > Kathy Morgan: 12 Feb 2008
> > Helge Nareid: 07 Jan 2008
> > Jeremy Nixon: 13 Sep 2007
> > Thomas Lee: 02 Feb 2008
> >
> >
> > Over a month since they were seen continuing the troll. It is time to
> > call the troll.
> >
> > To Russ, a well done sir. How you planned and pulled this off is an
> > achievement worthy of the greatest trolls in usenet history. This may
> > actually surpass the 2-belo/Kehoe troll.
> >
> > To the board , well played <insert applause here>, I do not think
> > anyone saw it coming, you fooled us all with those votes and the
> > discussions . The stomping off like spoilt little children to
> > news.groups proposals was an absolute master stroke. Brilliant, I bow
> > before thee in homage to your ability to perform in such a whiney,
> > cry-baby and truculent manner. The whole we support Nazi's thing
> > right out of the box and the follow-up misogyny is good sub-trolls
> > could not have set a better tone.
> >
> > I am particularly impressed with the manner in which you replaced
> > players in the troll. Just when your troll would start to lose steam
> > you would hold elections. Bring in fresh blood. Adding Jeremy and
> > getting people to believe that rationality would return to the
> > process, suckered all of us. The completely without clue act of the
> > latest additions is hilarious.
> >
> > All the bit parts like having Thomas Lee as the hypocrite, Moleski and
> > Morgan as the morons, Jeremy Nixon as the whiney curmudgeon.
> >
> > As a final note, Tim Skirvin, the ability to take one of the finest
> > usenet reputations and dash it on the rocks just for the sake of the
> > Troll. A HUGE tip of the sombrero to you. That took some guts pal.
> >
> > In the fading light that is usenet, this will be the final shining
> > beacon in a long and storied history of usenet trolling.
> >
> > Seconds:
>
> Troia Legata
>
> (Do you get the feeling that most reading don't even know what or who
> you're talking about? Usenet but not porn, who cares anymore?)
>
>
> Decided to rant lightly on the topic; below the sig, please snip
> accordingly esp. as it's an unworthy rant.
>
>
> -- Troia
>
>
> Ratz:
>
> Thanks for the recap. But where's the reaction?
>
> A sad story, though. Is it mis-assigning the underlying cause to
> recognize that non-binaries groups seem to be getting written off as
> somehow "obsolete" and thereby needing vast reconstruction, even by
> those who should know better, thus the kneejerk decision to pervert a
> working <something> in the name of "progress"?
>
> "Leaving well enough alone" would have been impossible? Or at least
> recognizing the value of what has worked enduringly for more years than
> anyone might've ever imagined?
>
> I suppose that what amounts to anarchic primarily-self-regulating
> heirarchy is just too open a concept in these well-regulated paranoiac
> days. "We need more management!" but then nobody really wants to manage
> that which hardly calls for heavy-handed management.
>
> Actually, it reads a bit too much like the stories of "management by
> team" that tanked so many a corporation in the 80's.
>
> Nevermind. S'pose I'm just disappointed that there wasn't a loud chorus
> of seconds. Not enough people seem invested beyond ego, sorry to say;
> you're pure sterling sometimes, 'Ratz.
>
>
> -- TL

'pounds' of sterling.

Twis you included, mi amiga.
--
ah

 

[ah]

Troia wrote:
> Aratzio wrote:
> > I for one appreciate a good troll, but I must admit I bit this hook as
> > hard as anyone. Russ and his group of trolls fooled everyone. Creating
> > a board to manage the Big-8 hierarchy, sending out control messages
> > for dead groups, pretending to disenfranchise usenetizens from the
> > process by hiding in a private clubhouse. I guess we all should have
> > guessed when they started discussing RMGROUPS. Come on, RMGROUPs? How
> > in the world did we miss that clue?
> >
> > According to Google these are the last postings by the board in the
> > news.groups.proposals clubhouse:
> > Tim Skirvin: 04 Dec 2007
> > Dave Sill: 24 Jan 2008
> > Mark Kramer: 11 Jan 2008
> > Doug McLaren: 13 Jan 2008
> > Martin X Moleski: 21 Jan 2008
> > Kathy Morgan: 12 Feb 2008
> > Helge Nareid: 07 Jan 2008
> > Jeremy Nixon: 13 Sep 2007
> > Thomas Lee: 02 Feb 2008
> >
> >
> > Over a month since they were seen continuing the troll. It is time to
> > call the troll.
> >
> > To Russ, a well done sir. How you planned and pulled this off is an
> > achievement worthy of the greatest trolls in usenet history. This may
> > actually surpass the 2-belo/Kehoe troll.
> >
> > To the board , well played <insert applause here>, I do not think
> > anyone saw it coming, you fooled us all with those votes and the
> > discussions . The stomping off like spoilt little children to
> > news.groups proposals was an absolute master stroke. Brilliant, I bow
> > before thee in homage to your ability to perform in such a whiney,
> > cry-baby and truculent manner. The whole we support Nazi's thing
> > right out of the box and the follow-up misogyny is good sub-trolls
> > could not have set a better tone.
> >
> > I am particularly impressed with the manner in which you replaced
> > players in the troll. Just when your troll would start to lose steam
> > you would hold elections. Bring in fresh blood. Adding Jeremy and
> > getting people to believe that rationality would return to the
> > process, suckered all of us. The completely without clue act of the
> > latest additions is hilarious.
> >
> > All the bit parts like having Thomas Lee as the hypocrite, Moleski and
> > Morgan as the morons, Jeremy Nixon as the whiney curmudgeon.
> >
> > As a final note, Tim Skirvin, the ability to take one of the finest
> > usenet reputations and dash it on the rocks just for the sake of the
> > Troll. A HUGE tip of the sombrero to you. That took some guts pal.
> >
> > In the fading light that is usenet, this will be the final shining
> > beacon in a long and storied history of usenet trolling.
> >
> > Seconds:
>
> Troia Legata
>
> (Do you get the feeling that most reading don't even know what or who
> you're talking about? Usenet but not porn, who cares anymore?)
>
>
> Decided to rant lightly on the topic; below the sig, please snip
> accordingly esp. as it's an unworthy rant.
>
>
> -- Troia
>
>
> Ratz:
>
> Thanks for the recap. But where's the reaction?
>
> A sad story, though. Is it mis-assigning the underlying cause to
> recognize that non-binaries groups seem to be getting written off as
> somehow "obsolete" and thereby needing vast reconstruction, even by
> those who should know better, thus the kneejerk decision to pervert a
> working <something> in the name of "progress"?
>
> "Leaving well enough alone" would have been impossible? Or at least
> recognizing the value of what has worked enduringly for more years than
> anyone might've ever imagined?
>
> I suppose that what amounts to anarchic primarily-self-regulating
> heirarchy is just too open a concept in these well-regulated paranoiac
> days. "We need more management!" but then nobody really wants to manage
> that which hardly calls for heavy-handed management.
>
> Actually, it reads a bit too much like the stories of "management by
> team" that tanked so many a corporation in the 80's.
>
> Nevermind. S'pose I'm just disappointed that there wasn't a loud chorus
> of seconds. Not enough people seem invested beyond ego, sorry to say;
> you're pure sterling sometimes, 'Ratz.
>
>
> -- TL

'pounds' of sterling.

Twis you included, mi amiga.
--
ah

 

[ah]

Troia wrote:
> Aratzio wrote:
> > I for one appreciate a good troll, but I must admit I bit this hook as
> > hard as anyone. Russ and his group of trolls fooled everyone. Creating
> > a board to manage the Big-8 hierarchy, sending out control messages
> > for dead groups, pretending to disenfranchise usenetizens from the
> > process by hiding in a private clubhouse. I guess we all should have
> > guessed when they started discussing RMGROUPS. Come on, RMGROUPs? How
> > in the world did we miss that clue?
> >
> > According to Google these are the last postings by the board in the
> > news.groups.proposals clubhouse:
> > Tim Skirvin: 04 Dec 2007
> > Dave Sill: 24 Jan 2008
> > Mark Kramer: 11 Jan 2008
> > Doug McLaren: 13 Jan 2008
> > Martin X Moleski: 21 Jan 2008
> > Kathy Morgan: 12 Feb 2008
> > Helge Nareid: 07 Jan 2008
> > Jeremy Nixon: 13 Sep 2007
> > Thomas Lee: 02 Feb 2008
> >
> >
> > Over a month since they were seen continuing the troll. It is time to
> > call the troll.
> >
> > To Russ, a well done sir. How you planned and pulled this off is an
> > achievement worthy of the greatest trolls in usenet history. This may
> > actually surpass the 2-belo/Kehoe troll.
> >
> > To the board , well played <insert applause here>, I do not think
> > anyone saw it coming, you fooled us all with those votes and the
> > discussions . The stomping off like spoilt little children to
> > news.groups proposals was an absolute master stroke. Brilliant, I bow
> > before thee in homage to your ability to perform in such a whiney,
> > cry-baby and truculent manner. The whole we support Nazi's thing
> > right out of the box and the follow-up misogyny is good sub-trolls
> > could not have set a better tone.
> >
> > I am particularly impressed with the manner in which you replaced
> > players in the troll. Just when your troll would start to lose steam
> > you would hold elections. Bring in fresh blood. Adding Jeremy and
> > getting people to believe that rationality would return to the
> > process, suckered all of us. The completely without clue act of the
> > latest additions is hilarious.
> >
> > All the bit parts like having Thomas Lee as the hypocrite, Moleski and
> > Morgan as the morons, Jeremy Nixon as the whiney curmudgeon.
> >
> > As a final note, Tim Skirvin, the ability to take one of the finest
> > usenet reputations and dash it on the rocks just for the sake of the
> > Troll. A HUGE tip of the sombrero to you. That took some guts pal.
> >
> > In the fading light that is usenet, this will be the final shining
> > beacon in a long and storied history of usenet trolling.
> >
> > Seconds:
>
> Troia Legata
>
> (Do you get the feeling that most reading don't even know what or who
> you're talking about? Usenet but not porn, who cares anymore?)
>
>
> Decided to rant lightly on the topic; below the sig, please snip
> accordingly esp. as it's an unworthy rant.
>
>
> -- Troia
>
>
> Ratz:
>
> Thanks for the recap. But where's the reaction?
>
> A sad story, though. Is it mis-assigning the underlying cause to
> recognize that non-binaries groups seem to be getting written off as
> somehow "obsolete" and thereby needing vast reconstruction, even by
> those who should know better, thus the kneejerk decision to pervert a
> working <something> in the name of "progress"?
>
> "Leaving well enough alone" would have been impossible? Or at least
> recognizing the value of what has worked enduringly for more years than
> anyone might've ever imagined?
>
> I suppose that what amounts to anarchic primarily-self-regulating
> heirarchy is just too open a concept in these well-regulated paranoiac
> days. "We need more management!" but then nobody really wants to manage
> that which hardly calls for heavy-handed management.
>
> Actually, it reads a bit too much like the stories of "management by
> team" that tanked so many a corporation in the 80's.
>
> Nevermind. S'pose I'm just disappointed that there wasn't a loud chorus
> of seconds. Not enough people seem invested beyond ego, sorry to say;
> you're pure sterling sometimes, 'Ratz.
>
>
> -- TL

'pounds' of sterling.

Twis you included, mi amiga.
--
ah

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>Peter J Ross <pjr@example.invalid> got double secret probation for
>writing:
>
>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>><aatu.koskensilta@xortec.fi> wrote:
>>
>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>> bear in a boxing-match to the death,
>>
>>Your fantasy of being a Philip Pullman character is noted.
>>
>>> after which I enjoy the benefits
>>> of living in a socialists Scandinavian well-fare state, where even the
>>> poor are served their daily dose of cotton candy.
>>
>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>
>>I think I want to immigrate. You don't persecute Scots, I hope.
>
>Just DAEVs.

on another note, is this Aatu person who they sent us to replace Ari?

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>Peter J Ross <pjr@example.invalid> got double secret probation for
>writing:
>
>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>><aatu.koskensilta@xortec.fi> wrote:
>>
>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>> bear in a boxing-match to the death,
>>
>>Your fantasy of being a Philip Pullman character is noted.
>>
>>> after which I enjoy the benefits
>>> of living in a socialists Scandinavian well-fare state, where even the
>>> poor are served their daily dose of cotton candy.
>>
>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>
>>I think I want to immigrate. You don't persecute Scots, I hope.
>
>Just DAEVs.

on another note, is this Aatu person who they sent us to replace Ari?

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>Peter J Ross <pjr@example.invalid> got double secret probation for
>writing:
>
>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>><aatu.koskensilta@xortec.fi> wrote:
>>
>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>> bear in a boxing-match to the death,
>>
>>Your fantasy of being a Philip Pullman character is noted.
>>
>>> after which I enjoy the benefits
>>> of living in a socialists Scandinavian well-fare state, where even the
>>> poor are served their daily dose of cotton candy.
>>
>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>
>>I think I want to immigrate. You don't persecute Scots, I hope.
>
>Just DAEVs.

on another note, is this Aatu person who they sent us to replace Ari?

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[Aratzio]

On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
got double secret probation for writing:

>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>wrote:
>
>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>writing:
>>
>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>><aatu.koskensilta@xortec.fi> wrote:
>>>
>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>> bear in a boxing-match to the death,
>>>
>>>Your fantasy of being a Philip Pullman character is noted.
>>>
>>>> after which I enjoy the benefits
>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>> poor are served their daily dose of cotton candy.
>>>
>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>
>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>
>>Just DAEVs.
>
>on another note, is this Aatu person who they sent us to replace Ari?

He's like Ari, only funny.

--

Does the name Pavlov ring a bell?

Aratzio - Usenet ruiner #2

 

[Aratzio]

On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
got double secret probation for writing:

>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>wrote:
>
>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>writing:
>>
>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>><aatu.koskensilta@xortec.fi> wrote:
>>>
>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>> bear in a boxing-match to the death,
>>>
>>>Your fantasy of being a Philip Pullman character is noted.
>>>
>>>> after which I enjoy the benefits
>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>> poor are served their daily dose of cotton candy.
>>>
>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>
>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>
>>Just DAEVs.
>
>on another note, is this Aatu person who they sent us to replace Ari?

He's like Ari, only funny.

--

Does the name Pavlov ring a bell?

Aratzio - Usenet ruiner #2

 

[Aratzio]

On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
got double secret probation for writing:

>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>wrote:
>
>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>writing:
>>
>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>><aatu.koskensilta@xortec.fi> wrote:
>>>
>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>> bear in a boxing-match to the death,
>>>
>>>Your fantasy of being a Philip Pullman character is noted.
>>>
>>>> after which I enjoy the benefits
>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>> poor are served their daily dose of cotton candy.
>>>
>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>
>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>
>>Just DAEVs.
>
>on another note, is this Aatu person who they sent us to replace Ari?

He's like Ari, only funny.

--

Does the name Pavlov ring a bell?

Aratzio - Usenet ruiner #2

 

[dvus]

Aatu Koskensilta wrote:
> On 2008-02-24, in alt.config, Aratzio wrote:
>> Yes
>
> It is a sight to behold! Even evil trolls and misguided sycophants of
> the B8MB can reach agreement, their eyes watering -- not of ether
> fumes, no, but of good-will among all mankind. A moving testimony, it
> is, to the inherent goodness of man -- and of some lesser species,
> which share certain of the characteristics of the homo sapiens,
> characteristics that truly make us what we are, in good and bad: such
> characteristics including aversion to incest and refraining from
> poking oneself in the eye with a sharp stick.
>
> Oh, this all puts me in mind of a poem I once read:
>
> Sentences of the form (10) are said to be in Sigma-1-1-form. Walkoe
> (1970) and Enderton (1970) showed how to associate with every
> Sigma-1-1 sentence a prenex IF-sentence to whose Skolem form it is
> equivalent, in the sense that they are true in the same models.
> When the Skolem form of an IF-sentence S is satisfied, the
> realization of the function quantifiers encodes the winning strategy
> for Verifier in the (possibly) imperfect information game for
> S. Such semantics is seemingly /top-down/ or /from the outside in/,
> in contrast to usual model-theoretic Tarskian style semantics which
> is /bottom up/ or /from the inside out/, i.e. is compositional. On
> the face of it--as Hintikka repeatedly stresses (and argues as a
> virtue)--compositional semantics is not in general available for
> IF-sentences built up from IF-formulas. For, without the universal
> quantification of the variables in x preceding a slashed existential
> quantifier Ey/Ax, no explanation of the semantics for the latter can
> be given by a recursive definition of satisfaction in the usual
> way. However, as has been shown by Hodges (1997), (1997a) there is a
> perfectly reasonable compositional semantics for IF-formulas; this
> is obtained by taking the satisfying objects to be sets of sequences
> of individuals, rather than sequences of individuals in the ordinary
> way following Tarski. Hodges. work has been extended by Vaannen
> (2002) to show that the semantics of IF-formulas can be treated in
> terms of suitable games of perfect information..

Heh, you said "bottom up".

--
dvus

 

[dvus]

Aatu Koskensilta wrote:
> On 2008-02-24, in alt.config, Aratzio wrote:
>> Yes
>
> It is a sight to behold! Even evil trolls and misguided sycophants of
> the B8MB can reach agreement, their eyes watering -- not of ether
> fumes, no, but of good-will among all mankind. A moving testimony, it
> is, to the inherent goodness of man -- and of some lesser species,
> which share certain of the characteristics of the homo sapiens,
> characteristics that truly make us what we are, in good and bad: such
> characteristics including aversion to incest and refraining from
> poking oneself in the eye with a sharp stick.
>
> Oh, this all puts me in mind of a poem I once read:
>
> Sentences of the form (10) are said to be in Sigma-1-1-form. Walkoe
> (1970) and Enderton (1970) showed how to associate with every
> Sigma-1-1 sentence a prenex IF-sentence to whose Skolem form it is
> equivalent, in the sense that they are true in the same models.
> When the Skolem form of an IF-sentence S is satisfied, the
> realization of the function quantifiers encodes the winning strategy
> for Verifier in the (possibly) imperfect information game for
> S. Such semantics is seemingly /top-down/ or /from the outside in/,
> in contrast to usual model-theoretic Tarskian style semantics which
> is /bottom up/ or /from the inside out/, i.e. is compositional. On
> the face of it--as Hintikka repeatedly stresses (and argues as a
> virtue)--compositional semantics is not in general available for
> IF-sentences built up from IF-formulas. For, without the universal
> quantification of the variables in x preceding a slashed existential
> quantifier Ey/Ax, no explanation of the semantics for the latter can
> be given by a recursive definition of satisfaction in the usual
> way. However, as has been shown by Hodges (1997), (1997a) there is a
> perfectly reasonable compositional semantics for IF-formulas; this
> is obtained by taking the satisfying objects to be sets of sequences
> of individuals, rather than sequences of individuals in the ordinary
> way following Tarski. Hodges. work has been extended by Vaannen
> (2002) to show that the semantics of IF-formulas can be treated in
> terms of suitable games of perfect information..

Heh, you said "bottom up".

--
dvus

 

[dvus]

Aatu Koskensilta wrote:
> On 2008-02-24, in alt.config, Aratzio wrote:
>> Yes
>
> It is a sight to behold! Even evil trolls and misguided sycophants of
> the B8MB can reach agreement, their eyes watering -- not of ether
> fumes, no, but of good-will among all mankind. A moving testimony, it
> is, to the inherent goodness of man -- and of some lesser species,
> which share certain of the characteristics of the homo sapiens,
> characteristics that truly make us what we are, in good and bad: such
> characteristics including aversion to incest and refraining from
> poking oneself in the eye with a sharp stick.
>
> Oh, this all puts me in mind of a poem I once read:
>
> Sentences of the form (10) are said to be in Sigma-1-1-form. Walkoe
> (1970) and Enderton (1970) showed how to associate with every
> Sigma-1-1 sentence a prenex IF-sentence to whose Skolem form it is
> equivalent, in the sense that they are true in the same models.
> When the Skolem form of an IF-sentence S is satisfied, the
> realization of the function quantifiers encodes the winning strategy
> for Verifier in the (possibly) imperfect information game for
> S. Such semantics is seemingly /top-down/ or /from the outside in/,
> in contrast to usual model-theoretic Tarskian style semantics which
> is /bottom up/ or /from the inside out/, i.e. is compositional. On
> the face of it--as Hintikka repeatedly stresses (and argues as a
> virtue)--compositional semantics is not in general available for
> IF-sentences built up from IF-formulas. For, without the universal
> quantification of the variables in x preceding a slashed existential
> quantifier Ey/Ax, no explanation of the semantics for the latter can
> be given by a recursive definition of satisfaction in the usual
> way. However, as has been shown by Hodges (1997), (1997a) there is a
> perfectly reasonable compositional semantics for IF-formulas; this
> is obtained by taking the satisfying objects to be sets of sequences
> of individuals, rather than sequences of individuals in the ordinary
> way following Tarski. Hodges. work has been extended by Vaannen
> (2002) to show that the semantics of IF-formulas can be treated in
> terms of suitable games of perfect information..

Heh, you said "bottom up".

--
dvus

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:50:32 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
>alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
>got double secret probation for writing:
>
>>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>>wrote:
>>
>>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>>writing:
>>>
>>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>>><aatu.koskensilta@xortec.fi> wrote:
>>>>
>>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>>> bear in a boxing-match to the death,
>>>>
>>>>Your fantasy of being a Philip Pullman character is noted.
>>>>
>>>>> after which I enjoy the benefits
>>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>>> poor are served their daily dose of cotton candy.
>>>>
>>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>>
>>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>>
>>>Just DAEVs.
>>
>>on another note, is this Aatu person who they sent us to replace Ari?
>
>He's like Ari, only funny.

then hes a sock/troll. no one from finland is funny.

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:50:32 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
>alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
>got double secret probation for writing:
>
>>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>>wrote:
>>
>>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>>writing:
>>>
>>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>>><aatu.koskensilta@xortec.fi> wrote:
>>>>
>>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>>> bear in a boxing-match to the death,
>>>>
>>>>Your fantasy of being a Philip Pullman character is noted.
>>>>
>>>>> after which I enjoy the benefits
>>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>>> poor are served their daily dose of cotton candy.
>>>>
>>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>>
>>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>>
>>>Just DAEVs.
>>
>>on another note, is this Aatu person who they sent us to replace Ari?
>
>He's like Ari, only funny.

then hes a sock/troll. no one from finland is funny.

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[dave hillstrom]

On Sun, 24 Feb 2008 18:50:32 -0800, Aratzio <a6ahlyv02@sneakemail.com>
wrote:

>On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
>alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
>got double secret probation for writing:
>
>>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>>wrote:
>>
>>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>>writing:
>>>
>>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>>><aatu.koskensilta@xortec.fi> wrote:
>>>>
>>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>>> bear in a boxing-match to the death,
>>>>
>>>>Your fantasy of being a Philip Pullman character is noted.
>>>>
>>>>> after which I enjoy the benefits
>>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>>> poor are served their daily dose of cotton candy.
>>>>
>>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>>
>>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>>
>>>Just DAEVs.
>>
>>on another note, is this Aatu person who they sent us to replace Ari?
>
>He's like Ari, only funny.

then hes a sock/troll. no one from finland is funny.

--
dave hillstrom mhm15x4 zrbj

<This space for rent.>

 

[Aratzio]

On Sun, 24 Feb 2008 21:57:53 -0500, in the land of
alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
got double secret probation for writing:

>On Sun, 24 Feb 2008 18:50:32 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>wrote:
>
>>On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
>>alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
>>got double secret probation for writing:
>>
>>>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>>>wrote:
>>>
>>>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>>>writing:
>>>>
>>>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>>>><aatu.koskensilta@xortec.fi> wrote:
>>>>>
>>>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>>>> bear in a boxing-match to the death,
>>>>>
>>>>>Your fantasy of being a Philip Pullman character is noted.
>>>>>
>>>>>> after which I enjoy the benefits
>>>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>>>> poor are served their daily dose of cotton candy.
>>>>>
>>>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>>>
>>>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>>>
>>>>Just DAEVs.
>>>
>>>on another note, is this Aatu person who they sent us to replace Ari?
>>
>>He's like Ari, only funny.
>
>then hes a sock/troll. no one from finland is funny.

Of course, he is a moderator for news.groups.proposals

--

Does the name Pavlov ring a bell?

Aratzio - Usenet ruiner #2

 

[Aratzio]

On Sun, 24 Feb 2008 21:57:53 -0500, in the land of
alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
got double secret probation for writing:

>On Sun, 24 Feb 2008 18:50:32 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>wrote:
>
>>On Sun, 24 Feb 2008 21:49:23 -0500, in the land of
>>alt.alien.vampire.flonk.flonk.flonk, dave hillstrom <DaVe@MeOw.OrG>
>>got double secret probation for writing:
>>
>>>On Sun, 24 Feb 2008 18:40:05 -0800, Aratzio <a6ahlyv02@sneakemail.com>
>>>wrote:
>>>
>>>>On Mon, 25 Feb 2008 00:42:36 +0000, in the land of alt.usenet.kooks,
>>>>Peter J Ross <pjr@example.invalid> got double secret probation for
>>>>writing:
>>>>
>>>>>In news.groups on Sun, 24 Feb 2008 23:51:43 GMT, Aatu Koskensilta
>>>>><aatu.koskensilta@xortec.fi> wrote:
>>>>>
>>>>>> Stereotypes can be such a bore. But now I must off to battle a polar
>>>>>> bear in a boxing-match to the death,
>>>>>
>>>>>Your fantasy of being a Philip Pullman character is noted.
>>>>>
>>>>>> after which I enjoy the benefits
>>>>>> of living in a socialists Scandinavian well-fare state, where even the
>>>>>> poor are served their daily dose of cotton candy.
>>>>>
>>>>><http://en.wikipedia.org/wiki/Nuntii_Latini>
>>>>>
>>>>>I think I want to immigrate. You don't persecute Scots, I hope.
>>>>
>>>>Just DAEVs.
>>>
>>>on another note, is this Aatu person who they sent us to replace Ari?
>>
>>He's like Ari, only funny.
>
>then hes a sock/troll. no one from finland is funny.

Of course, he is a moderator for news.groups.proposals

--

Does the name Pavlov ring a bell?

Aratzio - Usenet ruiner #2