Andrzej Trybulec

Descrizione di questa immagine, commentata anche di seguito

Andrzej Trybulec intorno al 1975 Dati chiave

Nascita	29 gennaio 1941 Cracovia ( Polonia )
Morte	11 settembre 2013 Białystok ( Polonia )
Nazionalità	polacco
le zone	Matematica
Istituzioni	Università di Białystok
Diploma	Università di Varsavia
Supervisore	Karol Borsuk
Rinomato per la	Sistema Mizar

Andrzej Wojciech Trybulec (nato il29 gennaio 1941a Cracovia e morì11 settembre 2013a Białystok ) è un matematico e informatico polacco , noto per aver sviluppato il sistema Mizar .

Biografia

È il figlio di Jan e Barbara Trybulec. Segue studi matematici presso l' Università di Varsavia e ha conseguito il Master nel 1966 . Otto anni dopo divenne dottore in matematica sotto la supervisione di Karol Borsuk .

Nel settembre e ottobre 1973 è stato professore in visita presso l' Istituto di informazione scientifica e tecnica di Mosca, dove ha descritto per la prima volta l'idea della leggibilità meccanica dei testi matematici.

Dopo aver conseguito il dottorato nel 1974 si è interessato alla linguistica matematica. Ha iniziato a lavorare sul sistema Mizar basato sulla teoria degli insiemi di Tarski-Grothendieck (en) .

Famiglia

La sorella di Andrzej Trybulec, Krystyna Kuperberg , così come suo cognato Włodzimierz Kuperberg (a) e suo nipote Greg Kuperberg (a) sono matematici ben noti.

Bibliografia

Piotr Rudnicki: una panoramica del progetto Mizar. Atti del workshop del 1982 sui tipi per prove e programmi. Chalmers University of Technology, Båstad 1992.

Dall'intuizione alla prova: Festschrift in onore di Andrzej Trybulec. Roman Matuszewski e Anna Zalewska. Università di Białystok 2007. ( ISBN 978-837431128-1 )

link esterno

Note e riferimenti

(pl) Questo articolo è parzialmente o totalmente tratto dall'articolo di Wikipedia in polacco intitolato “ Andrzej Trybulec ” ( vedi elenco degli autori ) .