Andrzej Trybulec - Andrzej Trybulec

Andrzej W. Trybulec
Andrzej W. Trybulec
	Trybulec ca. 1975
Doğum	29 Ocak 1941; Krakov , Polonya
Öldü	11 Eylül 2013 (72 yaşında); Białystok , Polonya
Milliyet	Lehçe
gidilen okul	Varşova Üniversitesi
Bilinen	Mizar sistemi; Matematiğin bilgisayar odaklı biçimlendirilmesi
Eş (ler)	Zinaida Trybulec
Çocuk	Wojciech A. Trybulec ; Michał J. Trybulec
Ödüller	Kapitsa Madalyası, Rusya Doğa Bilimleri Akademisi, 1995 ; Śleszyński Ödülü, Mizar Kullanıcıları Derneği, 1994 ; Altın Liyakat Nişanı, 1988 ; Gümüş Liyakat Nişanı, 1978 ; Varşova Voyvodalığı Altın Liyakat Madalyası, 1978
	Bilimsel kariyer
Alanlar	Matematik ; Bilgi Bilimi ; Topoloji ; Hesaplamalı dilbilim ; Anlambilim
Kurumlar	Białystok ; Üniversitesi ; Varşova Üniversitesi Varşova Teknoloji Üniversitesi ; Polonya Bilimler Akademisi ; Connecticut Üniversitesi ; Tüm Rusya Bilimsel ve Teknik Bilgi Enstitüsü
Tez	Hareketli compacta'nın bazı özellikleri hakkında (1975)
Doktora danışmanı	Karol Borsuk
Notlar
	Ünlü aile üyeleri arasında: ; Krystyna Kuperberg ; Włodzimierz Kuperberg ; Greg Kuperberg

Andrzej Wojciech Trybulec , (29 Ocak 1941, Kraków , Polonya - 11 Eylül 2013, Białystok , Polonya ), Mizar sistemi üzerinde çalışmasıyla tanınan Polonyalı bir matematikçi ve bilgisayar bilimcisiydi .

İlk yıllar

Ebeveynleri Jan W. Trybulec ve Barbara H. Kurlus , Polonya'nın güneydoğusundaki Tarnów kenti yakınlarındaki küçük bir kasaba olan Szczucin'de ilaç dağıtan profesyonel eczacılardı . Ruda Śląska'da liseye gitti ve sonra kendi inisiyatifiyle Kraków'da prestijli bir liseye transfer oldu ve burada kayıt oldu. O okudu matematik de Varşova Üniversitesi o Geometri Başkanı ders verdi 1966 1964 den, 1966 yılında mezun magister derecesi. 1967'ye kadar Varşova Üniversitesi Matematik Enstitüsünde ders verdi, 1967'den 1971'e kadar Varşova Teknoloji Üniversitesi'nde yardımcı doçent , 1971'den beri Varşova Üniversitesi Kütüphane ve Bilgi Bilimi Enstitüsü'nde çalıştı. Eylül-Ekim 1973 yılında Trybulec bir oldu misafir öğretim için Tüm Rusya Bilimsel ve Teknik Bilgi Enstitüsü (VINITI) içinde Moskova , sonra SSCB diye fikrini icat, makine-okunabilirlik matematiksel metin. Karol Borsuk bünyesinde Polonya Bilimler Akademisi Matematik Enstitüsü'nden 1974 yılında doktora derecesini aldı .

Araştırma çalışması

Trybulec'in ilk matematik makaleleri, Karol Borsuk'un öncülüğünü yaptığı çeşitli topolojik ve metrik uzay konularındaydı . Onun jenerik paralel olarak topolojik araştırma, o da çalışmış bilgisayarlı dil ve semantik bir programlama dilleri . Tarski-Grothendieck küme teorisi aksiyomlarının çerçevesini uygulayarak , esasen Tarski aksiyomu ile tamamlanan tüm nesneler kümeler ve ortadan kaldırılmış sınıf kavramı ile birlikte Gentzen - Jaśkowski doğal çıkarımının birinci dereceden mantığı ile tamamlanan Zermelo-Fraenkel küme teorisi , 1973'te matematiksel tanım ve ispatlar yazmak için biçimsel bir dil, bu dilde yazılmış ispatları mekanik olarak kontrol edebilen bir ispat asistanı içeren Mizar biçimlendirme sistemini tasarladı . Mizar sisteminin 14 Kasım 1973'te Kütüphane Bilimi ve Bilimsel Enformasyon Enstitüsü'ndeki bir seminerde ilk sunumu, araştırma projesinden çok vizyoner bir spekülasyon olarak anlaşılan bir ideoloji olsa da, fikri daha sonra kendisi ve ortakları tarafından geliştirildi. Mizar Matematik Kütüphanesi (MML), yeni teoremlerin ispatında ve dünyanın en büyük resmileştirilmiş ve bilgisayar kontrollü matematik deposunda kullanılabilen bir formelleştirilmiş matematik kütüphanesi. 1978'den ölümüne kadar, Białystok Üniversitesi Bilgisayar Bilimleri Enstitüsü'nde profesör olarak ders vermiş , 1984-1985'te Connecticut Üniversitesi Bilgisayar Bilimi ve Mühendisliği Bölümü'nde misafir profesörlük yapmıştır . Çoğunlukla MML katkılarına adanmış Formalized Mathematics dergisiyle bir dizi makale yayınladı .

Yayınlar

Asperti, Andrea; Bancerek, Grzegorz; Trybulec, Andrzej, editörler. (2004), Mathematical Knowledge Management: Proceedings of Third International Conference, MKM 2004, Białowieża, Polonya, 19-21 Eylül 2004 , Bilgisayar Bilimleri Ders Notları 3119 , New York: Springer, ISBN 978-3-540-23029-8

Ayrıca bakınız

Referanslar

daha fazla okuma

Kuperberg, Krystyna Trybulec (Eylül 2015), "Andrzej Trybulec - Memoriam" , Journal of Automated Reasoning , 55 (3): 187–190 , doi : 10.1007 / s10817-015-9343-3
Matuszewski, Roman; Zalewska, Anna, editörler. (2007), "Insight to Proof: Festschrift in Honor of Andrzej Trybulec" (PDF) , Studies in Logic, Grammar and Retorik , 10 (23), ISBN 978-837431128-1
Matuszewski, Roman; Rudnicki, Piotr (Mart 2005), "Mizar: İlk 30 yıl" (PDF) , Mekanize Matematik ve Uygulamaları , 4 (1): 3–24
Rudnicki, Piotr (1992), "Mizar Projesine Genel Bir Bakış", Nordström, Bengt; Petersson, Kent; Plotkin, Gordon (editörler), Proceedings of the Types for Proofs and Programs, Bästad, İsveç, Haziran 1992 , Båstad : Chalmers University of Technology , s. 311–330

Languages

In other projects