[
Lists Home |
Date Index |
Thread Index
]
Hi,
> From: "Jonathan Borden" <jborden@attbi.com>
> Date: Sun, 5 May 2002 21:15:18 -0400
> To: "Dare Obasanjo" <kpako@yahoo.com>
> Cc: <xml-dev@lists.xml.org>
> Subject: Re: [xml-dev] XQuery types was Re: [xml-dev] Yet another plea for
> XUpdate...
>
>
> Dare Obasanjo wrote:
>
>> What you just stated doesn't jibe with any formal
>> knowledge I have about types and language systems but
>> since my background in formal computer science theory
>> is weak I won't attempt to correct your claims.
>
> What I am talking about: _logic_ and its foundation in set theory, was
> formulated long before computers existed (e.g. starting perhaps with
> Aristotle, and codified by Geog Cantor) and remains apropos today. In any
> case, run, do not walk, to the bookstore, get yourself a copy of Tarski, and
> read it. It has nothing to do with computers but everything to do with
> classes and types and how you view the world.
No need to hurry. Tarski has his merits. He is a great mathematician. No
doubt about it. But the so called foundation of logic in set theory has
failed, good old Cantor has failed trying to codify it, and wether this
remains apropos today is disputable. From my own experience I can tell, for
software development and things around that, I don't need a Tarski-view of
the world.
I hope this isn't too much off topic from this 95-percent-lurker. I
apologize, if someone thinks so.
Klaus
|
