Re: THe OverRelational Manifesto (ORM)

From: Bob Badour <>
Date: Thu, 20 Apr 2006 18:29:22 GMT
Message-ID: <6qQ1g.63115$>

Bob Badour wrote:

> Marshall Spight wrote:

>> Dave Greenwood wrote:
>>> Marshall  Spight wrote:
>> Certainly I have no clue who he is or what he does. I don't pretend
>> to. I only observe what he writes. Since he's not present, I will
>> go out on a limb and assert that what he writes is rude, and I wish
>> he wouldn't be that way. (I have seen him taken to task for it on
>> a variety of newsgroups.) On the other hand, his writing is
>> intellectually compelling. I think [Costin] is the only person on this
>> newsgroup I can think of who has mentioned formal methods,
>> and has provided pointers to further reading on same.

> I suggest a simple google search on any of the following terms refutes
> your thesis: "lambda", "predicate calculus", "type theory", "functional
> programming", "state machine", "bisimulation", "denotational semantics",
> "rewriting", "set theory", "code analysis", "temporal logic".
> Costin's rudeness does not impeach him. The all too frequent flaws in
> his reasoning and his anti-empiricism do.

In case anyone is interested in the anti-empiricism and the flaws in Costin's logic, one can use google groups to search this newsgroup for "singe ridicule".

One can then decide for themselves whether my objections to Costin resulted from a dislike of rudeness as postulated by Marshall, or by his lack of empiricism and intellectual honesty as claimed by myself. Received on Thu Apr 20 2006 - 20:29:22 CEST

Original text of this message