[cap-talk] Capabilities and Freedom vs. Safety

[David Hopwood]

James A. Donald wrote:
> David Hopwood wrote:
>> James A. Donald wrote:
>>> David Hopwood wrote:
>>>  > No, you haven't given any specific argument about why
>>>  > a particular model on which proofs have been based is
>>>  > unrealistic.
>>>
>>> I have given such arguments, repeatedly and at excessive
>>> length, in for example in messages
>>> <46A7CE3F.2040807 at echeque.com> and
>>> <46A81597.9010109 at echeque.com>
>>
>> I have not received any messages with those Message-IDs.

I was mistaken here -- for some reason the search on Message-ID
did not work. The first of these messages does not mention any
specific proof or model; I'll reply to the second directly.

-- 
David Hopwood <david.hopwood at industrial-designers.co.uk>