Andrzej Trybulec
Aujourd'hui, Andrzej Trybulec est un sujet d'une grande pertinence et d'un grand intérêt pour une large partie de la population. Cette question a retenu l’attention d’experts, d’universitaires et de professionnels de différents domaines, qui ont consacré leur temps et leurs efforts à l’analyser sous diverses approches. De plus, Andrzej Trybulec a généré un débat dans la société, donnant lieu à des opinions contradictoires et à des positions divergentes. Compte tenu de cette situation, il est pertinent d’approfondir nos connaissances sur Andrzej Trybulec et d’explorer ses implications dans différents contextes. A cet effet, cet article abordera Andrzej Trybulec de manière détaillée et critique, afin d'offrir une vision globale de ce sujet d'actualité.
| Naissance |
Cracovie (Pologne) |
|---|---|
| Décès |
(à 72 ans) Białystok (Pologne) |
| Nationalité |
 Polonais |
| Domaines | Mathématiques |
|---|---|
| Institutions | Université de Białystok |
| Diplôme | Université de Varsovie |
| Directeur de thèse | Karol Borsuk |
| Renommé pour | système Mizar |
Andrzej Wojciech Trybulec (né le à Cracovie et mort le à Białystok) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar.
Biographie
Il est le fils de Jan et Barbara Trybulec. Il suit des études de mathématiques à l'université de Varsovie et obtient sa maîtrise en 1966. Huit ans plus tard il devient docteur en mathématique sous la direction de Karol Borsuk.
En septembre et octobre 1973, il est professeur invité à l'institut d'information scientifique et technique de Moscou où il décrit pour la première fois l'idée de la lisibilité de la machine de textes mathématiques.
Après l'obtention de son doctorat en 1974, il s'intéresse à la linguistique mathématique. Il commence les travaux sur le système Mizar en s'appuyant sur la Théorie des ensembles de Tarski-Grothendieck (en).
Famille
La sœur d'Andrzej Trybulec, Krystyna Kuperberg, ainsi que son beau-frère Włodzimierz Kuperberg (en) et son neveu Greg Kuperberg (en) sont des mathématiciens connus.
Bibliographie
- Piotr Rudnicki: An overview of the Mizar-Project. Proceedings of the 1982 workshop on Types for Prooofs and Programs. Chalmers University of Technology, Båstad 1992.
- From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Roman Matuszewski et Anna Zalewska. Université de Białystok 2007. (ISBN 978-837431128-1)
Liens externes
- "Andrzej Trybulec", University of Bialystok.
- (en) « Andrzej Trybulec », sur le site du Mathematics Genealogy Project
- Mizar System http://mizar.uwb.edu.pl
- The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003
Notes et références
- (pl) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en polonais intitulé « Andrzej Trybulec » (voir la liste des auteurs).
