Andrzej Trybulec facts for kids
Quick facts for kids
Andrzej W. Trybulec
|
|
---|---|
![]() Trybulec ca. 1975
|
|
Born | Kraków, Poland
|
29 January 1941
Died | 11 September 2013 Białystok, Poland
|
(aged 72)
Nationality | Polish |
Alma mater | University of Warsaw |
Known for | Mizar system< Computer-oriented formalization of mathematics |
Spouse(s) | Zinaida Trybulec |
Children | Wojciech A. Trybulec Michał J. Trybulec |
Awards | Kapitsa Medal, Russian Academy of Natural Sciences, 1995 Śleszyński Prize, Mizar Users Association, 1994 Golden Order of Merit, 1988 Silver Order of Merit, 1978 Golden Medal of Merit of the Warsaw Voivodeship, 1978 |
Scientific career | |
Fields | Mathematics Information Science Topology Computational linguistics Semantics |
Institutions | University of Białystok University of Warsaw Warsaw University of Technology Polish Academy of Sciences University of Connecticut All-Russian Scientific and Technical Information Institute |
Thesis | On some properties of the movable compacta (1975) |
Doctoral advisor | Karol Borsuk |
Notes | |
Andrzej Wojciech Trybulec (born January 29, 1941, in Kraków, Poland – died September 11, 2013, in Białystok, Poland) was a Polish mathematician and computer scientist. He is famous for creating the Mizar system. This system helps people write and check mathematical proofs using computers.
Contents
Early Life and Education
Andrzej Trybulec's parents were pharmacists. They owned a chemist's shop in a small town called Szczucin in south-eastern Poland. He first went to high school in Ruda Śląska. Later, he decided to move to a well-known high school in Kraków, where he finished his studies.
He studied mathematics at the University of Warsaw. From 1964 to 1966, he taught geometry there. In 1966, he earned his master's degree. He continued teaching at the University of Warsaw until 1967.
From 1967 to 1971, he was an assistant professor at the Warsaw University of Technology. After that, he worked at the Institute of Library and Information Science at the University of Warsaw. In 1973, he visited the All-Russian Scientific and Technical Information Institute in Moscow. There, he came up with the idea of making mathematical texts readable by computers. He earned his doctoral degree in 1974.
The Mizar System and His Work
Trybulec's early work in mathematics focused on topology. This is a field of mathematics that studies shapes and spaces. He also worked on computational linguistics, which is about how computers understand human language. He also studied the meaning of programming languages.
What is Mizar?
In 1973, Trybulec designed the Mizar system. Mizar is a special computer system. It uses a formal language to write mathematical definitions and proofs. It also has a "proof assistant." This assistant can automatically check if mathematical proofs written in its language are correct.
At first, Mizar was just an idea. But Trybulec and his team developed it further. They created the Mizar Mathematical Library (MML).
Building a Math Library
The MML is a huge collection of formalized mathematics. "Formalized" means it's written in a very precise way that computers can understand. This library helps mathematicians prove new theorems. It is now the world's largest collection of computer-checked mathematics.
From 1978 until his death, Trybulec was a professor. He taught at the Institute of Computer Science at the University of Białystok. He also spent time as a visiting professor at the University of Connecticut in the United States. He published many articles about Mizar. Most of these appeared in the journal Formalized Mathematics.
See Also
- Mizar system
- Timeline of Polish science and technology
- List of Polish mathematicians
- List of Polish people