Andrzej Trybulec: Różnice pomiędzy wersjami

Usunięte 6 bajtów ,  2 lata temu
Sprostowanie.
(Sprostowanie.)
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 uzyskaniulatach 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]].
1921

edycji