Re: Existence of proof verifiers: A comedy
- From: Marshall <marshall.spight@xxxxxxxxx>
- Date: Wed, 30 Apr 2008 15:18:50 -0700 (PDT)
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.
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/thread/ed3649a48bb2ab61/e7f14df018ec6a32
Possibly slightly amusing if your the sort of person who
dislikes XML.
Marshall
.
- Follow-Ups:
- Re: Existence of proof verifiers: A comedy
- From: Charlie-Boo
- Re: Existence of proof verifiers: A comedy
- From: herbzet
- Re: Existence of proof verifiers: A comedy
- Prev by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Next by Date: Re: The members of a set are...?
- Previous by thread: Re: Godel proved maths inconsistent not incompleteness theorem
- Next by thread: Re: Existence of proof verifiers: A comedy
- Index(es):
Relevant Pages
|
