# Re: Programming is the Engineering Discipline of the Science that is Mathematics

Date: 9 Jun 2006 06:42:54 -0700

Message-ID: <1149860574.599222.42970_at_c74g2000cwc.googlegroups.com>

Erwin wrote:

> > This is why PT is a /generalization/ of logic. It reduces to

*> > logic when applied to truth-valued statements. Just as gamma
**> > reduces to factorial for natural arguments. (Again no quibbles
**> > about offset by 1 etc).
**> >
**>
**> You mean like :
**>
**> AND (p1, p2) === p1*p2
*

P(p1 and p2) is not equal P(p1)*P(p1) in general, so no such 'generalization' is possible.

*> NOT (p1) === 1 - p1
*

> OR (p1 , p2) === 1 - (1 - p1) * (1 - p2)

*> and all the rest of the equivalences ?
**>
**> Wouldn't this lead to a form of logic that is at least as hard to talk
**> about as 3- or more-value logics ?
*

Multivalued logics are truth functional although their utility for data management is not completely clear.

> And thus inattractive as a

*> foundation to build our data management mechanisms on ?
*

Received on Fri Jun 09 2006 - 15:42:54 CEST