How to Pronounce Andrzej Trybulec
#50
Most Popular
Boost
Jan 29, 1941 Kraków, Lesser Poland Voivodeship, Poland Died on 11 Sep 2013 (aged 72)
Polish mathematician
AquariusAndrzej Trybulec - Place of Birth, Date of Birth, Age, Wiki, Facts, Net Worth, Birthday, Biography and Family
Andrzej Trybulec, Date of Birth, Place of Birth, Family, Facts, Age, Net Worth, Biography and More in FamedBorn.com
About Andrzej Trybulec
- Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Bialystok, in Bialystok, Poland, noted for development of the Mizar system.
- 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 computer-checked mathematics. Trybulec's sister, Krystyna Kuperberg, his brother in law, Wlodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.
