Andrzej Trybulec
Mathematician, Person
1941 –
Who is Andrzej Trybulec?
Andrzej Wojciech Trybulec, was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, 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 the world’s largest repository of formalized and computer-checked mathematics.
Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Jan 29, 1941
Kraków - Siblings
- Profession
- Education
- University of Warsaw
- Lived in
- Białystok
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Andrzej Trybulec." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/andrzej_trybulec>.
Discuss this Andrzej Trybulec biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In