Re: Is a function a relation?
Date: Tue, 23 Jun 2009 23:28:01 -0700 (PDT)
Message-ID: <a324e279-9814-4d30-a32a-a85396cec7e6_at_a39g2000pre.googlegroups.com>
On Jun 24, 12:44 pm, "Brian Selzer" <br..._at_selzer-software.com> wrote:
>
> While I would agree that the physical representation of the symbols and
> combinations of symbols that compose formal language terms is irrelevant, if
> what is in the Universe of Discourse can exist in time and space, then
> database values can exist in time and space. A value is the result of
> applying for a given term the valuation function which maps terms expressed
> in a formal language to things in the Universe of Discourse under an
> interpretation.
I prefer to consider the RM as a pure mathematical formalism divorced from "interpretations" (i.e. external predicates and so forth).
> How, then, can a pure mathematical system be a
> sufficient logical model for things that can change?
It is true that a single database value cannot model things that can change (into the future). However database systems are variables not values. Received on Wed Jun 24 2009 - 08:28:01 CEST