Andrzej Trybulec - Andrzej Trybulec

Andrzej W. Trybulec
Andrzej Trybulec.jpg
Trybulec ca. 1975
narozený(1941-01-29)29. ledna 1941
Krakov, Polsko
Zemřel11 Září, 2013(2013-09-11) (ve věku 72)
Białystok, Polsko
Národnostpolština
Alma materVaršavská univerzita
Známý jakoSystém Mizar
Počítačově orientovaná formalizace matematiky
Manžel (y)Zinaida Trybulec
DětiWojciech A. Trybulec
Michał J. Trybulec
OceněníKapitsa Medaile, Ruská akademie přírodních věd, 1995
Śleszyński Cena, asociace uživatelů Mizar, 1994
Zlatý řád za zásluhy, 1988
Stříbrný řád za zásluhy, 1978
Zlatá medaile za zásluhy Varšavského vojvodství, 1978
Vědecká kariéra
PoleMatematika
Informační věda
Topologie
Výpočetní lingvistika
Sémantika
InstituceUniversity of Białystok
Varšavská univerzita
Varšavská technická univerzita
Polská akademie věd
University of Connecticut
All-Russian Scientific and Technical Information Institute
TezeO některých vlastnostech pohyblivého kompaktu (1975)
Doktorský poradceKarol Borsuk
Poznámky

Andrzej Wojciech Trybulec, (29. Ledna 1941 v Krakov, Polsko - 11. září 2013 v Białystok, Polsko ) byl polština matematik a počítačový vědec známý prací na Systém Mizar.[1]

Raná léta

Jeho rodiče Jan W. Trybulec a Barbara H. Kurlus byli profesionální lékárníci, kteří vlastnili lékárnu v malém městě Szczucin poblíž města Tarnów v jihovýchodní Polsko kde vydávali léky. On šel na střední školu v Ruda Śląska a poté z vlastní iniciativy přestoupil na prestižní střední školu v Krakov, kde imatrikuloval. Studoval matematika na Varšavská univerzita, v letech 1964 až 1966 přednášel na katedře geometrie, v roce 1966 promoval na magistr stupeň. Do roku 1967 přednášel na Matematickém ústavu na Varšavské univerzitě, v letech 1967 až 1971 byl profesorem odborný asistent na Varšavská technická univerzita, od roku 1971 pracoval na Ústavu knihovních a informačních věd Varšavské univerzity. V září a říjnu 1973 byl Trybulec a hostující profesor do Všeruský vědecký a technický informační institut (VINITI) v Moskva, pak SSSR, kde vymyslel myšlenku strojová čitelnost matematického textu. Doktorát získal v roce 1974 na Matematickém ústavu UK Polská akademie věd pod Karol Borsuk.

Výzkumná práce

Trybulec je první matematický papíry byly v různých topologické a metrický prostor průkopnická témata Karol Borsuk. Souběžně s jeho generikem topologické výzkumu, pracoval také v výpočetní lingvistika a sémantika z programovací jazyky. Uplatňování rámce Teorie množin Tarski – Grothendieck axiomy, v podstatě Teorie množin Zermelo-Fraenkel doplněno Tarskiho axiom se všemi objekty, které jsou nastaveny, a eliminovanou představou třídy, spolu s logikou prvního řádu Gentzen -Jaśkowski přirozený odpočet, v roce 1973 navrhl formalizační systém Mizar skládající se z formálního jazyka pro psaní matematických definic a důkazů, asistenta důkazů, schopného mechanicky kontrolovat důkazy napsané v tomto jazyce. Ačkoli první představení systému Mizar dne 14. listopadu 1973 na semináři v Ústavu knihovnictví a vědeckých informací byla ideologie chápaná spíše jako vizionářská spekulace než výzkumný projekt, jeho myšlenku později vyvinul sám a jeho spolupracovníci Mizar Mathematical Library (MML), knihovna formalizované matematiky, kterou lze použít jako důkaz nových vět a největší úložiště formalizované a počítačem kontrolované matematiky na světě. Od roku 1978 až do své smrti přednášel jako profesor na Ústavu počítačových věd na VŠE University of Białystok, zatímco v letech 1984-1985 držel hostující profesorský titul na katedře výpočetní techniky a inženýrství UK University of Connecticut. Publikoval řadu článků, převážně s časopisem Formalizovaná matematika věnovaný příspěvkům MML.

Publikace

  • Asperti, Andrea; Bancerek, Grzegorz; Trybulec, Andrzej, eds. (2004), Správa matematických znalostí: Sborník ze třetí mezinárodní konference, MKM 2004, Białowieża, Polsko, 19. – 21. Září 2004, Přednášky v informatice 3119, New York: Springer, ISBN  978-3-540-23029-8

Viz také

Reference

  1. ^ In memoriam Andrzej Trybulec

Další čtení

externí odkazy