Andrzej Trybulec
Andrzej W. Trybulec



Trybulec ca. 1975


Born  (19410129)January 29, 1941
Kraków, Poland

Died  September 11, 2013(20130911) (aged 72)
Białystok, Poland

Residence  Białystok 
Nationality  Polish 
Alma mater  University of Warsaw 
Known for  Mizar system 
Scientific career  
Fields  Mathematics and Information Science 
Institutions  University of Białystok 
Doctoral advisor  Karol Borsuk 
Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system.^{[1]} He received his Ph.D. in the field of topology from Karol Borsuk in 1974 at the Institute of Mathematics of the Polish Academy of Sciences.
His first mathematical papers were in the domain of various topological and metric space topics of Karol Borsuk. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics.
Trybulec was the founder and developer of the formalization system Mizar based on the Tarski–Grothendieck set theory axioms and the founder of the Mizar Mathematical Library (MML) the world’s largest repository of formalized and computerchecked mathematics.
Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.
See also
References
Further reading
 Matuszewski, Roman; Rudnicki, Piotr (March 2005), "Mizar: The first 30 years" (PDF), Mechanized Mathematics and its Applications, 4 (1): 3–24
 Kuperberg, Krystyna Trybulec (September 2015), "Andrzej Trybulec – in Memoriam", Journal of Automated Reasoning, 55 (3): 187–190, doi:10.1007/s1081701593433
External links
 "Andrzej Trybulec", University of Bialystok.
 Andrzej Trybulec at the Mathematics Genealogy Project
 Mizar System http://mizar.uwb.edu.pl
Copyright
 This page is based on the Wikipedia article Andrzej Trybulec; it is used under the Creative Commons AttributionShareAlike 3.0 Unported License (CCBYSA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CCBYSA.