FOM: Re: Arbitrary Objects

Kanovei kanovei at wmwap1.math.uni-wuppertal.de
Wed Jan 30 13:26:36 EST 2002


Date: Wed, 30 Jan 2002 13:27:31 +0100
From: <P.T.M.Rood at ph.vu.nl> (P.T.M. Rood)

[begin of citation]
If we pursue this semantic line of thought then we could try for "let x be an 
F".
It seems promising to interpret such a sentence in terms of a "reset 
operation":
change the value of the register named "x" to an object of type F. 
[end of citation]

Can anybody explain why 
*change the value of the register named "x" to an object of type F*
is better than 
*let x satisfy F* ? 

V.Kanovei




More information about the FOM mailing list