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

From: Erwin <e.smout_at_myonline.be>

Date: 9 Jun 2006 02:04:01 -0700

Message-ID: <1149843841.924131.97640_at_u72g2000cwu.googlegroups.com>

Date: 9 Jun 2006 02:04:01 -0700

Message-ID: <1149843841.924131.97640_at_u72g2000cwu.googlegroups.com>

> 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

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 ? And thus inattractive as a foundation to build our data management mechanisms on ? Received on Fri Jun 09 2006 - 11:04:01 CEST