Wersja z 16:24, 12 sie 2018 edytuj Paweł Ziemian BOT (dyskusja \| edycje) Boty 1 384 060 edycji m wstawiam Szablon:Kontrola autorytatywna ← poprzednia edycja		Wersja z 20:41, 18 lut 2019 edytuj anuluj edycję Wlod (dyskusja \| edycje) 1965 edycji Sprostowanie. następna edycja →
Linia 4: Jego praca doktorska, obroniona w 1974 r., dotyczyła [[Continuum (topologia)\|topologii]]<ref>[http://math.uwb.edu.pl/~trybulec math.uwb.edu.pl]</ref>, a jej promotorem był [[Karol Borsuk]]<ref>[http://www.genealogy.math.ndsu.nodak.edu/id.php?id=125908 genealogy.math.ndsu.nodak.edu]</ref>. PoW ~~uzyskaniu~~latach ~~doktoratu~~ 1960', Trybulec zainteresował się [[lingwistyka matematyczna\|lingwistyką matematyczną]]. W oparciu o aksjomatykę Tarskiego-Grothendiecka teorii mnogości zapoczątkował prace nad [[System Mizar\|systemem Mizar]] i założył bibliotekę Mizara (Mizar Mathematical Library, MML), kolekcję sformalizowanych definicji pojęć matematycznych i dowodów<ref>[http://mizar.uwb.edu.pl/project/ mizar.uwb.edu.pl]</ref>. Obecnie liczy ona ponad 10000 definicji i 52000 dowodów. Rodzina Trybulca to uznani matematycy: siostra [[Krystyna Kuperberg]], szwagier [[Włodzimierz Kuperberg]] i siostrzeniec [[Greg Kuperberg]].

Andrzej Trybulec: Różnice pomiędzy wersjami