Cart
|
[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: XQuery types
 Hi, > From: "Jonathan Borden" <jborden@a...> > Date: Sun, 5 May 2002 21:15:18 -0400 > To: "Dare Obasanjo" <kpako@y...> > Cc: <xml-dev@l...> > Subject: Re: XQuery types was Re: 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 
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! 
Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|
|||||||||
