Re: A newbie paradox: is this a PK-FK (relationship) problem, or programming problem?

From: Gene Wirchenko <genew_at_ocis.net>
Date: Sun, 23 Dec 2007 13:27:21 -0800
Message-ID: <giktm31mb93vj9u7nimjjuai2qq244bbrn_at_4ax.com>


"tina" <nospam_at_address.com> wrote:

>well, i don't think i understand what you mean by "formal math", ray, but

     Formal means you can use it to construct proofs.

     For example, it is "obvious" that the product of two odd integers is itself odd, but it can be proven with a formal system.

[snip]

Sincerely,

Gene Wirchenko

Computerese Irregular Verb Conjugation:

     I have preferences.
     You have biases.
     He/She has prejudices.
Received on Sun Dec 23 2007 - 22:27:21 CET

Original text of this message