Re: [mizar] Hindrances

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi:

It was an unfortunate use of a word on my part.  I should have said
"hindrances to MML development" while I only said maintenance.
MML development here is understood in the wide sense including all
activities while writing an article.

PR


On Sun, Nov 10, 2002 at 05:23:32PM +0100, Andrzej Trybulec wrote:
> Piotr Rudnicki wrote:
> 
> >
> > Some time ago, Andrzej suggested "hindrances" with understanding
> > "hindrances to MML maintenance".  We finally used "integrity" in a
> > paper for MKM.  Frankly, I do not like either of these names.
> > "Smoothing rough edges" describes what is the essence of the issue but
> > is still no good as a name for the problem.
> 
> Piotrze,
> 
> I have never suggested that. I talked about hindrances to using MML while writing
> an article. Hindrances make the proofs longer, sometimes unable to write a proof
> in a reasonable manner. It happened.
> 
> And integrity is something else. I do not say that it has nothing to do with
> hindrances, but definitely
> it is NOT that
>             "the integrity" = "the lack of hindrances"
> at least in the meaning that I try to assign them.
> 
> Greteings,
> Andrzej

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr