| From: | James Rogers <jamesr(at)best(dot)com> |
|---|---|
| To: | "Anthony W(dot) Youngman" <compp(at)thewolery(dot)demon(dot)co(dot)uk> |
| Cc: | pgsql-hackers(at)postgresql(dot)org |
| Subject: | Re: Dreaming About Redesigning SQL |
| Date: | 2003-10-25 02:21:29 |
| Message-ID: | 1067048489.4151.13.camel@localhost.localdomain |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On Mon, 2003-10-20 at 13:50, Anthony W. Youngman wrote:
> Note I didn't say relational is *incorrect* - the ideas of
> "mathematically correct" and "scientifically provable" are orthogonal,
> and have nothing to say about each other.
Eh?
"Mathematical" and "Scientific" reasoning (more correctly: axiomatic and
non-axiomatic reasoning, respectively) are the same thing. Any apparent
differences such that we can even make a distinction is the result of
differences in relative system sizes (in terms of Kolmogorov complexity)
in practice. If you think they are orthogonal, you don't understand the
nature of this particular beast.
Cheers,
-James Rogers
jamesr(at)best(dot)com
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Bruce Momjian | 2003-10-25 03:17:26 | Re: Call for port reports |
| Previous Message | Kevin Brown | 2003-10-25 01:33:14 | Re: Dreaming About Redesigning SQL |