Andrzej Trybulec (nonfiction): Difference between revisions
(Created page with "thumb|Andrzej Trybulec circa 1974.'''Andrzej Wojciech Trybulec''', (January 29, 1941 – September 11, 2013) was a Polish Mathematician (nonfic...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[File:Andrzej_Trybulec.jpg|thumb|Andrzej Trybulec circa 1974.]]'''Andrzej Wojciech Trybulec''', (January 29, 1941 – September 11, 2013) was a Polish [[Mathematician (nonfiction)|mathematician]] and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system. | [[File:Andrzej_Trybulec.jpg|thumb|Andrzej Trybulec circa 1974.]]'''Andrzej Wojciech Trybulec''', (January 29, 1941 – September 11, 2013) was a Polish [[Mathematician (nonfiction)|mathematician]] and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the [[Mizar system (nonfiction)|Mizar system]]. | ||
He studied at the Institute of Mathematics of the Polish Academy of Sciences; [[Karol Borsuk (nonfiction)|Karol Borsuk]] was his doctoral advisor. Trybulec received his Ph.D. in the field of topology in 1974 | He studied at the Institute of Mathematics of the Polish Academy of Sciences; [[Karol Borsuk (nonfiction)|Karol Borsuk]] was his doctoral advisor. Trybulec received his Ph.D. in the field of topology in 1974. | ||
His first mathematical papers were in the domain of various topological and metric space topics of [[Karol Borsuk (nonfiction)|Karol Borsuk]]. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics. | His first mathematical papers were in the domain of various topological and metric space topics of [[Karol Borsuk (nonfiction)|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 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, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians. | Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians. | ||
Revision as of 09:39, 28 January 2018
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.
He studied at the Institute of Mathematics of the Polish Academy of Sciences; Karol Borsuk was his doctoral advisor. Trybulec received his Ph.D. in the field of topology in 1974.
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, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.
In the News
Fiction cross-reference
Nonfiction cross-reference
External links:
- János Bolyai @ Wikipedia