Andrzej Trybulec

Andrzej Trybulec Andrzej Trybulec około 1975 roku Kluczowe dane

Narodziny	29 stycznia 1941 Kraków ( Polska )
Śmierć	11 września 2013 Białystok ( Polska )
Narodowość	Polskie
Obszary	Matematyka
Instytucje	Uniwersytet w Białymstoku
Dyplom	Uniwersytet Warszawski
Kierownik	Karol Borsuk
Znany z	System Mizar

Andrzej Wojciech Trybulec (ur29 stycznia 1941w Krakowie i zmarł dalej11 września 2013w Białymstoku ) to polski matematyk i informatyk , znany z opracowywania systemu Mizar .

Biografia

Jest synem Jana i Barbary Trybulców. Studiował matematykę na Uniwersytecie Warszawskim, a tytuł magistra uzyskał w 1966 roku . Osiem lat później został doktorem matematyki pod kierunkiem Karola Borsuka .

We wrześniu i październiku 1973 r. Był profesorem wizytującym w Moskiewskim Instytucie Informacji Naukowo-Technicznej, gdzie po raz pierwszy opisał ideę maszynowej czytelności tekstów matematycznych.

Po uzyskaniu doktoratu w 1974 roku zainteresował się językoznawstwem matematycznym. Rozpoczął pracę nad systemem Mizar opartym na teorii mnogości Tarskiego-Grothendiecka  (en) .

Rodzina

Siostra Andrzeja Trybulca, Krystyna Kuperberg , a także jego szwagier Włodzimierz Kuperberg  (z domu) i bratanek Greg Kuperberg  (z domu) to znani matematycy.

Bibliografia

• Piotr Rudnicki: Omówienie Mizar-Project. Materiały z warsztatów z 1982 r. Na temat typów dowodów i programów. Politechnika Chalmers, Båstad 1992.

• Od wglądu do dowodu: Festschrift na cześć Andrzeja Trybulca. Roman Matuszewski i Anna Zalewska. Uniwersytet w Białymstoku 2007. ( ISBN  978-837431128-1 )

Linki zewnętrzne

• Dokumentacja urzędowa  :
  • Plik wirtualnego organu międzynarodowego
  • Międzynarodowy identyfikator nazwy normy
  • System dokumentacji uczelni
  • Biblioteka Kongresu
  • Królewska Biblioteka Niderlandzka
  • Biblioteka Uniwersytecka w Polsce
  • Norweska baza biblioteczna
  • Czeska Biblioteka Narodowa
  • WorldCat Id
  • WorldCat
• "Andrzej Trybulec", Uniwersytet w Białymstoku .
• (en) „  Andrzej Trybulec  ” na stronie Mathematics Genealogy Project
• System Mizar http://mizar.uwb.edu.pl
• Ewolucja Mizara. Biblioteka matematyczna. Andrzej Trybulec. Uniwersytet w Białymstoku. Eindhoven, MONET 2003

Uwagi i odniesienia

• (pl) Ten artykuł jest częściowo lub w całości zaczerpnięty z artykułu Wikipedii w języku polskim pt. „  Andrzej Trybulec  ” ( patrz lista autorów ) .

1. (pl) "  Zawiadomienie o śmierci  " .
2. In memoriam Andrzej Trybulec
3. math.uwb.edu.pl
4. genealogy.math.ndsu.nodak.edu
5. [1]
6. mizar.uwb.edu.pl