Re: Existence of proof verifiers: A comedy

On Apr 30, 6:18 pm, Marshall <marshall.spi...@xxxxxxxxx> wrote:
On Apr 30, 10:44 am, Jan Burse <janbu...@xxxxxxxxxxx> wrote:

This reminds me of the battle between CBL and Meghill:
[...]
Backhouse: I was using the Hindu System.

(Probably the author meant Jim Backus?)

That was pretty funny.

Some time ago in comp.databases.theory I parodied
a blog post entitled "Is Codd Dead?", Codd being Ted Codd,
the father of modern data management techniques.

Codd noticed that databases contain relations. The rest of what he
said was a totally failed attempt to formalize and automate database
query processing. SQL is an example of that failure, by virtue of it
being only a programming language rather than an automatic query
processor.

See http://arxiv.org/html/cs/0003071

People whose name resembles "God" or contain punctuation characters
are more likely to become famous.

God
Godel
Codd
Cuddle

In most presidential elections, the taller candidate wins.

For 100 years people owned people in this country and people from the
president on down said it was ok.

C-B

The blogger was no fan of the relational algebra, and
advocated a return to pre-theoretic approaches to
data management.

My post was titled:

Is Abū ʿAbd Allāh Muḥammad ibn Mūsā al-Khwārizmī Dead?

and took the position that our decimal number system
was taught uncritically to unthinking students, even though
it had only reached its position due to a firestorm of marketing
hype backed by Big Math. Of course the solution to this
problem was "RN."

http://groups.google.com/group/comp.databases.theory/browse_frm/threa...

Possibly slightly amusing if your the sort of person who
dislikes XML.

Marshall

.

Relevant Pages

  • Re: Existence of proof verifiers: A comedy
    ... I was using the Hindu System. ... That was pretty funny. ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... I was using the Hindu System. ... That was pretty funny. ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ... said was a totally failed attempt to formalize and automate database ... query processing. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... said was a totally failed attempt to formalize and automate database ... query processing. ...
    (sci.logic)