[om] DefMP elements

[Mike Dewar]

I think that the feeling at Bremen was that dissallowing self-reference
inside a defining FMP was generally a good thing.  Self-reference and
hence recursion is of course quite legal for the evaluating case.  

Mike.

On Wed, Dec 03, 2003 at 04:41:27PM +0200, Taneli Huuskonen wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Mike Dewar <miked at nag.co.uk> wrote:
> 
> > On Wed, Dec 03, 2003 at 10:53:43AM +1300, Bill Naylor wrote:
> [...]
> > > 1) Dissallowing self reference during a defining FMP, therefore
> > > dissallowing recursive definition.
> > I think the feeling at Bremen was that this was generally a good thing
> > for the defining case.  It is of course quite legal for the evaluating
> > case.
> 
> I'm slightly confused.  Do "this" and "it" in the above paragraph refer
> to self-reference or to the disallowing of it?
> 
> Regards,
> Taneli
> 
> -----BEGIN PGP SIGNATURE-----
> Version: PGPfreeware 5.0i for non-commercial use
> Charset: noconv
> 
> iQA/AwUBP831vV+t0CYLfLaVEQLLKQCeJuM+eBzkHgGMx7J7w3oPtHMbqA4An32r
> mHxCmryY1TDyeBGMUNUQz0jQ
> =QrOm
> -----END PGP SIGNATURE-----
> -- 
> All messages will be PGP signed,  | Hélas, jamais je ne deviendrai
> encrypted mail preferred.  Keys:  | rhinocéros, jamais, jamais!  Je ne
> http://www.helsinki.fi/~huuskone/ | peux plus changer.  -- Ionesco
> --
> om at openmath.org  -  general discussion on OpenMath
> Post public announcements to om-announce at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-owner at openmath.org for assistance with any problems
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems