Re: [mizar] 40 years of Mizar

[Josef Urban <josef.urban@gmail.com>]

Congratulations and happy next 40 years!

It has just been confirmed that there will be a workshop on the 20th
anniversary of the QED dream. It will take place on July 18 2014 in
Vienna as part of FLoC.

It would be very good if somebody from Bialystok gave a brief overview
of all Andrzej's inventions and contributions to the field.

I don't think it is fully known outside Bialystok how much he (and his
team) did, in developing the "natural" proof style, the "obviousness"
checker, the extensive "linguistic" type system that comes naturally
to mathematicians, the mathematician-oriented language and parser, the
library and its management, the large formalization projects, etc.

Best,
Josef
(Our present to Mizar is http://arxiv.org/abs/1310.2805 )

On Thu, Nov 14, 2013 at 9:51 AM, Adam Naumowicz <adamn@math.uwb.edu.pl> wrote:
> Dear All,
>
> Today we celebrate 40 years since Mizar was born. This is of course a
> strictly symbolic date, because the idea must had grown in Andrzej's mind
> for some time before. However we have a good reason to associate the formal
> beginning of Mizar with that date:
>
> (...)The first presentation of the Mizar ideology understood here as
> visionary speculation was presented by Andrzej [Trybulec] on November 14,
> 1973 at a seminar in the Institute of Library Science and Scientific
> Information at Warsaw University(...)
>
> More information on the early Mizar history can be found in P. Rudnicki and
> R. Matuszewski's "Mizar: the first 30 years":
> (http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005%282%29.pdf).
>
> I guess the best way to celebrate 40 years of Mizar would be if we received
> at least 40 new Mizar articles for the Mizar Mathematical Library this year
> :-)
>
> Best regards,
>
> Adam Naumowicz
>
> =======================================================================
> Dept. of Programming and Formal Methods  Fax: +48(85)7457662
> Institute of Informatics                 Tel: +48(85)7457559 (office)
> University of Bialystok                  E-mail: adamn@mizar.org
> Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
> =======================================================================
>