[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] 40 years of Mizar
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/
=======================================================================