Re: Mixing OO and DB
From: Dmitry A. Kazakov <mailbox_at_dmitry-kazakov.de>
Date: Mon, 18 Feb 2008 09:58:47 +0100
Message-ID: <cv00nge9j9ym.1d9semxny0pix.dlg_at_40tude.net>
>
> Disclosure: I expected you to try to refute this.
Date: Mon, 18 Feb 2008 09:58:47 +0100
Message-ID: <cv00nge9j9ym.1d9semxny0pix.dlg_at_40tude.net>
On Mon, 18 Feb 2008 02:16:24 +0100, mAsterdam wrote:
>> mAsterdam wrote: >>>> It also states that >>>> >>>> F1 = F2 => D1 = D2 >>> Almost. Within a shared set of observations, >>> >>> F₁=F₂ ⇔ D₁=D₂ >> >> Even stronger, also.
>
> Disclosure: I expected you to try to refute this.
We are not on the common ground yet in order to do that. If we tried to formalize D and F, then likely it would be:
D is a value in some formal system S1
F is a value in a meta system S2.
F1 in S2 is a predicate P(D1) in S1. So F1=F2 => D1=D2, but in general not the reverse. (i.e. refuted as you expected.)
But again, I don't need either D or F, as they are all values to me anyway.
-- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.deReceived on Mon Feb 18 2008 - 09:58:47 CET