[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Leslie Lamport <tlapl...@xxxxxxxxx>*Date*: Tue, 1 Dec 2015 13:50:37 -0800 (PST)*References*: <1bb4f7e9-ffc4-45ee-af7a-a1035168b414@googlegroups.com>

Dear Charles,

As a side note, the definition of what it means for H to implement A

reads (in part):

We say that H implements A ... iff, for each behavior sigma

satisfying the behavior specification of H, the behavior sigma

satisfies the behavior specification of A.

Is it correct to read that as (roughly):

\A sigma \in the_set_of_all_behaviors :

sigma satisfies H <=> sigma satisfies A

No, it is not. I will explain why not, and I would appreciate

knowing why you missed what I regard to be the correct interpretation

of that sentence. The parsing of the sentence is

(We say that H implements A ...) iff

(for each behavior sigma satisfying the behavior specification

of H, the behavior sigma satisfies the behavior specification of A.)

The clause (for each ... of A.) is of the form

for every s satisfying A: s satisfies B

which means

\A s : (s satisfies A) => (s satisfies B)

Hence, the correct interpretation is

\A sigma \in the_set_of_all_behaviors : sigma satisfies H => sigma satisfies A

with => rather than <=> .

I believe that any mathematician would interpret the sentence this

way. However, mathematicians tend to assume that their particular

literary style is unambiguously rigorous and don't appreciate how what

they write can be understood differently by intelligent people who are not

familiar with that literary style. So, I would appreciate knowing

what led to your interpretation so I can learn how to write more

clearly for non-mathematicians.

Thanks,

Leslie

**Follow-Ups**:**Re: Hyperbook Question 6.4***From:*Charles Gordon

**References**:**Hyperbook Question 6.4***From:*Charles Gordon

- Prev by Date:
**Re: Hyperbook Question 6.4** - Next by Date:
**Re: Hyperbook Question 6.4** - Previous by thread:
**Re: Hyperbook Question 6.4** - Next by thread:
**Re: Hyperbook Question 6.4** - Index(es):