Re: identifying entities across database updates (was: Is a function a relation?)

Tegiri Nenashi <TegiriNenashi_at_gmail.com> wrote:

>On Jul 14, 2:26 pm, Gene Wirchenko <ge..._at_ocis.net> wrote:
>>
>>      I am studying computation theory right now.  The most complex
>> that I have seen so far is 5-tuples.  It is nice to see it all defined
>> explicitly.
>
>7-tuple:
>
>http://en.wikipedia.org/wiki/Turing_machine#Formal_definition

     I can not see why the input alphabet would be any different from the tape alphabet. Explicitly naming blank is the sixth.

>It is remarkable that among different models of computations the
>ugliest one won.

     Not really. At this level, the simplest set of axioms wins. The ugliness is called elegance. One builds on top of the simple to get the pretty stuff.

[snip]

Sincerely,

Gene Wirchenko

Computerese Irregular Verb Conjugation:

     I have preferences.
     You have biases.
     He/She has prejudices.