Re: Extending my question. Was: The relational model and relational algebra - why did SQL become the industry standard?
Date: Tue, 18 Feb 2003 14:32:23 -0800
"Steve Kass" <skass_at_drew.edu> wrote in message
> Mikito Harakiri wrote:
> >This is just a series of random definitions, well spiced with curly
> >bracketed symbols. Or is there any wonderful theory about it? Where in
> >did you see "We have 10 unrelated alternative definitions, pick anyone
> Um, everywhere? Pick up half a dozen graph theory textbooks,
> and you're likely to see nearly as many definitions. Some analysis
> books define irrationals in terms of Dedekind cuts, others with
Plus there is nonstandard analysis. Each of these is like a separate theory, however.
Now when we write
what theory does it belong to? What can we deduce from this "definition"? How does it relate to
I know only one.
Deduced from each other.
> mathematics is well-enough founded that the many alternate definitions
> of a construct are provably equivalent. I would be surprised to
> hear any mathematician suggest that the existence of many equivalent
> foundational definitions of a concept indicates that the concept is
> useless. There is no "one way" to define a mathematical idea using
> To throw away all of mathematics because there are equivalent
> formulations of ideas makes as much sense as to throw away
> numbers because Europeans, Chinese, and Arabs write them
I think we agree on all that. We disagree upon how "well founded" or "well established" set reduction is. Received on Tue Feb 18 2003 - 23:32:23 CET