Andrzej Trybulec
![Description de cette image, également commentée ci-après](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/AndrzejTrybulec.jpg/220px-AndrzejTrybulec.jpg)
Naissance | Cracovie (Pologne) |
---|---|
Décès | (à 72 ans) Białystok (Pologne) |
Nationalité | ![]() |
Domaines | Mathématiques |
---|---|
Institutions | Université de Białystok |
Diplôme | Université de Varsovie |
Directeur de thèse | Karol Borsuk |
Renommé pour | système Mizar |
modifier
Andrzej Wojciech Trybulec (né le à Cracovie et mort le à Białystok[1]) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar[2].
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[3] sous la direction de Karol Borsuk[4].
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[5].
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)[6].
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
- Notices d'autorité
:
- VIAF
- ISNI
- IdRef
- LCCN
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Norvège
- Tchéquie
- WorldCat
- "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).
Portail de la Pologne
Portail de l’informatique
Portail des mathématiques