kids encyclopedia robot

Andrzej Trybulec facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Andrzej W. Trybulec
AndrzejTrybulec.jpg
Trybulec ca. 1975
Born (1941-01-29)29 January 1941
Kraków, Poland
Died 11 September 2013(2013-09-11) (aged 72)
Białystok, Poland
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
Noted family members include:
Krystyna Kuperberg
Włodzimierz Kuperberg
Greg Kuperberg

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.

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
kids search engine
Andrzej Trybulec Facts for Kids. Kiddle Encyclopedia.