Quote: could define boolean values as 0_1; this removes the need for a characteristic function for predicates

Quotation Skeleton

Most programming languages, imperative or otherwise, define the … Yet, there is no valid mathematical reason for … [p. 26] one might object that B is not … this context: Z is not closed under / … [p. 27] [this removes the need for a "characteristic" function for a predicate]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: boolean values, binary numbers, and bit strings (44 items)