Re: [mizar] Re: Sleszynski Prize 2007

[Grzegorz Bancerek <bancerek@math.uwb.edu.pl>]

Quoting Jesse Alama <alama@stanford.edu>:

> Freek Wiedijk <freek@cs.ru.nl> writes:
>
> > Grzegorz:
> >
> > > I think it is time to start nominations for Sleszynski Prize 2007.
> > >
> > > (It seems to me that we have no description of the Prize
> > > at mizar.org)
> >
> > ... and I don't know what it is either.  The _what_ price?
> >
> > (I'll be happy to nominate people, once I know what it is for :-))
>
> Are we talking about this guy:
>
>  http://en.wikipedia.org/wiki/Ivan_Sleszynski
>
> ?
>
> Jesse
>
> --
> Jesse Alama (alama@stanford.edu)


Yes, this is the same guy but his true name is Jan S'leszyn'ski.
Some info in Polish:
http://www.matematycy.interklasa.pl/biografie/matematyk.php?str=sleszynski

The Sleszynski Prize of the Association of Mizar Users is for "the best"
formalization. The name of Sleszynski was chosen according to his
axiomatic proof theory based on mathematical logic. Mizar articles could
be nominated by the members of the Association and the members can vote only.

(My first message should rather not be posted to mizar-forum as we have 
sum-forum. Sorry)

Grzegorz