Andrzej Trybulec - Versionsgeschichte

John Red: Kategorie:Hochschullehrer (Universität Białystok)

2024-11-30T11:19:08Z

Kategorie:Hochschullehrer (Universität Białystok)

← Nächstältere Version		Version vom 30. November 2024, 13:19 Uhr
Zeile 47:		Zeile 47:
	[[Kategorie:Mathematiker (21. Jahrhundert)]]		[[Kategorie:Mathematiker (21. Jahrhundert)]]
	[[Kategorie:Hochschullehrer (Universität Warschau)]]		[[Kategorie:Hochschullehrer (Universität Warschau)]]
			[[Kategorie:Hochschullehrer (Universität Białystok)]]
	[[Kategorie:Pole]]		[[Kategorie:Pole]]
	[[Kategorie:Geboren 1941]]		[[Kategorie:Geboren 1941]]

John Red: Einzelnachweis ergänzt

2024-11-30T11:16:13Z

Einzelnachweis ergänzt

← Nächstältere Version		Version vom 30. November 2024, 13:16 Uhr
Zeile 5:		Zeile 5:
	== Leben ==		== Leben ==
	Trybulec wurde als Sohn von Jan W. und Barbara H. Trybulec geboren und wuchs in [[Danzig]] auf.		Trybulec wurde als Sohn von Jan W. und Barbara H. Trybulec geboren und wuchs in [[Danzig]] auf.
	Er studierte Mathematik an der [[Universität Warschau]] und schloss sein Studium 1966 mit dem Master-Grad ab. 1974 wurde er zum Dr. der Mathematik promoviert, der Titel seiner Dissertation war ''On the Movable Continua''.		Er studierte Mathematik an der [[Universität Warschau]] und schloss sein Studium 1966 mit dem Master-Grad ab. 1974 wurde er zum Dr. der Mathematik promoviert, der Titel seiner Dissertation war ''On the Movable Continua''.<ref>{{MathGenealogyProject\|id=125908}} abgerufen am 30. November 2024.</ref>

	== Wissenschaftliche Karriere ==		== Wissenschaftliche Karriere ==

John Red: Weblink ergänzt

2024-11-30T11:14:29Z

Weblink ergänzt

← Nächstältere Version		Version vom 30. November 2024, 13:14 Uhr
Zeile 32:		Zeile 32:
	== Literatur ==		== Literatur ==
	* Piotr Rudnicki: [https://www.researchgate.net/publication/2451694_An_overview_of_the_Mizar_project ''An overview of the Mizar-Project. Proceedings of the 1992 workshop on Types for Proofs and Programs.''] Chalmers University of Technology, Båstad 1992.		* Piotr Rudnicki: [https://www.researchgate.net/publication/2451694_An_overview_of_the_Mizar_project ''An overview of the Mizar-Project. Proceedings of the 1992 workshop on Types for Proofs and Programs.''] Chalmers University of Technology, Båstad 1992.

	* Roman Matuszewski, Anna Zalewska (Hrsg.): ''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' University of Białystok, 2007, ISBN 978-83-7431-128-1.		* Roman Matuszewski, Anna Zalewska (Hrsg.): ''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' University of Białystok, 2007, ISBN 978-83-7431-128-1.

	== Weblinks ==		== Weblinks ==
	* [http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003]		* [http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003]
			* [https://zbmath.org/authors/trybulec.andrzej Andrzej Trybulec] in der Datenbank [[zbMATH]]

	== Einzelnachweise ==		== Einzelnachweise ==

Ephraim33: kat

2019-04-14T12:18:01Z

kat

← Nächstältere Version		Version vom 14. April 2019, 14:18 Uhr
Zeile 1:		Zeile 1:
	[[Datei:AndrzejTrybulec.jpg\|mini]]		[[Datei:AndrzejTrybulec.jpg\|mini\|Andrzej Trybulec (um 1974)]]
	'''Andrzej Wojciech Trybulec''' (* [[29. Januar]] [[1941]]; † [[11. September]] [[2013]]) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des [[Mizar-System]]s.<ref>[http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento In memoriam Andrzej Trybulec]</ref><ref>[http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html www-history.mcs.st-and.ac.uk]</ref>		'''Andrzej Wojciech Trybulec''' (* [[29. Januar]] [[1941]]; † [[11. September]] [[2013]]) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des [[Mizar-System]]s.<ref>[http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento In memoriam Andrzej Trybulec]</ref><ref>[http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html www-history.mcs.st-and.ac.uk]</ref>
	Seine hauptsächlichen Interessenfelder waren ''Computer oriented formalization of mathematics'' (computergestützte Formalisierung von Mathematik), [[Computerlinguistik]] und die [[Semantik]] von [[Programmiersprache]]n.		Seine hauptsächlichen Interessenfelder waren ''Computer oriented formalization of mathematics'' (computergestützte Formalisierung von Mathematik), [[Computerlinguistik]] und die [[Semantik]] von [[Programmiersprache]]n.
Zeile 44:		Zeile 44:

	{{SORTIERUNG:Trybulec, Andrzej}}		{{SORTIERUNG:Trybulec, Andrzej}}
	[[Kategorie:Mathematiker]]		[[Kategorie:Mathematiker (20. Jahrhundert)]]
			[[Kategorie:Mathematiker (21. Jahrhundert)]]
	[[Kategorie:Hochschullehrer (Universität Warschau)]]		[[Kategorie:Hochschullehrer (Universität Warschau)]]
	[[Kategorie:Pole]]		[[Kategorie:Pole]]

TaxonBot: Bot: Normdatenvorlage nach Vorlage:Normdaten korrigiert

2018-11-24T10:01:31Z

Bot: Normdatenvorlage nach Vorlage:Normdaten korrigiert

← Nächstältere Version		Version vom 24. November 2018, 12:01 Uhr
Zeile 41:		Zeile 41:
	<references />		<references />

	{{Normdaten\|TYP=p\|GND=\|LCCN=nb/2004/306586\|VIAF=21658345}}		{{Normdaten\|TYP=p\|GND=\|LCCN=nb/2004/306586\|VIAF=21658345\|GNDfehlt=ja\|GNDCheck=2018-11-24}}

	{{SORTIERUNG:Trybulec, Andrzej}}		{{SORTIERUNG:Trybulec, Andrzej}}

Formatierer: typo

2018-11-24T09:31:22Z

typo

← Nächstältere Version		Version vom 24. November 2018, 11:31 Uhr
Zeile 31:		Zeile 31:

	== Literatur ==		== Literatur ==
	* Piotr Rudnicki: [https://www.researchgate.net/publication/2451694_An_overview_of_the_Mizar_project ''An overview of the Mizar-Project. Proceedings of the ~~1982~~ workshop on Types for ~~Prooofs~~ and Programs.''] Chalmers University of Technology, Båstad 1992.		* Piotr Rudnicki: [https://www.researchgate.net/publication/2451694_An_overview_of_the_Mizar_project ''An overview of the Mizar-Project. Proceedings of the 1992 workshop on Types for Proofs and Programs.''] Chalmers University of Technology, Båstad 1992.

	* Roman Matuszewski, Anna Zalewska (Hrsg.): ''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' University of Białystok, 2007, ISBN 978-83-7431-128-1.		* Roman Matuszewski, Anna Zalewska (Hrsg.): ''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' University of Białystok, 2007, ISBN 978-83-7431-128-1.

Bwbuz: fix WP:WLW +1lf; 1 externer Link geändert

2017-04-13T09:51:51Z

fix WP:WLW +1lf; 1 externer Link geändert

← Nächstältere Version		Version vom 13. April 2017, 11:51 Uhr
Zeile 10:		Zeile 10:
	Von 1964 bis 1966 hatte er einen Lehrauftrag am Lehrstuhl für Geometrie und anschließend bis 1967 am Institut für Mathematik der Universität Warschau.		Von 1964 bis 1966 hatte er einen Lehrauftrag am Lehrstuhl für Geometrie und anschließend bis 1967 am Institut für Mathematik der Universität Warschau.
	Von 1967 bis 1971 war er Assistenzprofessor an der Technischen Universität in Warschau. 1971 kehrte an die Universitat Warschau an das ''Institute of Library and Information Science'' zurück.		Von 1967 bis 1971 war er Assistenzprofessor an der Technischen Universität in Warschau. 1971 kehrte an die Universitat Warschau an das ''Institute of Library and Information Science'' zurück.
	Im September und Oktober 1973 war er Gastdozent am Institute of Scientic and Technical Information (VINITI) in Moskau, wo er zum ersten Mal die Ideen über eine Maschinenlesbarkeit von mathematischen Texten diskutierte.<ref>[http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005~~%282%29~~.pdf markun.cs.shinshu-u.ac.jp]</ref>		Im September und Oktober 1973 war er Gastdozent am Institute of Scientic and Technical Information (VINITI) in Moskau, wo er zum ersten Mal die Ideen über eine Maschinenlesbarkeit von mathematischen Texten diskutierte.<ref>{{Webarchiv \| url=http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005(2).pdf \| wayback=20060927204402 \| text=markun.cs.shinshu-u.ac.jp}}</ref>
	Seit 1978 bis zu seinem Tod lehrte er als Professor am Institute of Computer Science der Universitat Bialystok, unterbrochen von einer Gastprofessur (1984–1985) am ''Computer Science & Engineering Dept.'' der Universität Connecticut in [[Storrs (Connecticut)\|Storrs]].		Seit 1978 bis zu seinem Tod lehrte er als Professor am Institute of Computer Science der Universitat Bialystok, unterbrochen von einer Gastprofessur (1984–1985) am ''Computer Science & Engineering Dept.'' der Universität Connecticut in [[Storrs (Connecticut)\|Storrs]].

Aka: Tippfehler entfernt

2016-06-13T14:09:30Z

Tippfehler entfernt

← Nächstältere Version		Version vom 13. Juni 2016, 16:09 Uhr
Zeile 28:		Zeile 28:
	* Golden Order of Merit (Verdienstorden der Volksrepublik Polen), 1988.		* Golden Order of Merit (Verdienstorden der Volksrepublik Polen), 1988.
	* Sleszynski Prize, Mizar Users Assoc., 1994 (mit [[Yatsuka Nakamura]])		* Sleszynski Prize, Mizar Users Assoc., 1994 (mit [[Yatsuka Nakamura]])
	* Kapica Medal, Russische ~~Akamedie~~ der Naturwissenschaften, 1995<ref>[http://math.uwb.edu.pl/~trybulec/awards.html Awards]</ref>		* Kapica Medal, Russische Akademie der Naturwissenschaften, 1995<ref>[http://math.uwb.edu.pl/~trybulec/awards.html Awards]</ref>

	== Literatur ==		== Literatur ==

RonMeier: Kleinkram

2016-01-17T15:05:29Z

Kleinkram

Aka: /* Familie */ Formatierung der Datumsangabe korrigiert

2015-08-19T16:01:35Z

Familie: Formatierung der Datumsangabe korrigiert

← Nächstältere Version		Version vom 19. August 2015, 18:01 Uhr
Zeile 16:		Zeile 16:

	== Familie ==		== Familie ==
	Trybulecs Schwester [[Krystyna Kuperberg]], sein Schwager [[Włodzimierz Kuperberg]] (1941) und deren Sohn [[Greg Kuperberg]] ( 1967) sind alle bekannte Mathematiker.		Trybulecs Schwester [[Krystyna Kuperberg]], sein Schwager [[Włodzimierz Kuperberg]] (* 1941) und deren Sohn [[Greg Kuperberg]] (* 1967) sind alle bekannte Mathematiker.

	== Publikationen ==		== Publikationen ==

← Nächstältere Version		Version vom 17. Januar 2016, 17:05 Uhr
Zeile 1:		Zeile 1:
	[[Datei:AndrzejTrybulec.jpg\|mini]]		[[Datei:AndrzejTrybulec.jpg\|mini]]
	'''Andrzej Wojciech Trybulec''' (* [[29. Januar]] [[1941]]; † [[11. September]] [[2013]]) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des [[Mizar-System]]s.<ref>[http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento In memoriam Andrzej Trybulec]</ref><ref> [http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html] </ref>		'''Andrzej Wojciech Trybulec''' (* [[29. Januar]] [[1941]]; † [[11. September]] [[2013]]) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des [[Mizar-System]]s.<ref>[http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento In memoriam Andrzej Trybulec]</ref><ref>[http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html www-history.mcs.st-and.ac.uk]</ref>
	Seine hauptsächlichen Interessenfelder waren ''Computer oriented formalization of mathematics'' (computergestützte Formalisierung von Mathematik), [[Computerlinguistik]] und die [[Semantik]] von [[Programmiersprache]]n.		Seine hauptsächlichen Interessenfelder waren ''Computer oriented formalization of mathematics'' (computergestützte Formalisierung von Mathematik), [[Computerlinguistik]] und die [[Semantik]] von [[Programmiersprache]]n.

	== Leben ==		== Leben ==
	Trybulec wurde als Sohn von Jan W. und Barbara H. Trybulec geboren und wuchs in [[Danzig]] auf.		Trybulec wurde als Sohn von Jan W. und Barbara H. Trybulec geboren und wuchs in [[Danzig]] auf.
	Er studierte Mathematik an der [[Universität Warschau]] und schloss sein Studium 1966 mit dem Master-Grad ab. 1974 wurde er zum Dr. der Mathematik promoviert, der Titel seiner Dissertation war ''On the Movable Continua''.		Er studierte Mathematik an der [[Universität Warschau]] und schloss sein Studium 1966 mit dem Master-Grad ab. 1974 wurde er zum Dr. der Mathematik promoviert, der Titel seiner Dissertation war ''On the Movable Continua''.

	== Wissenschaftliche Karriere ==		== Wissenschaftliche Karriere ==
	Von 1964 bis 1966 hatte er einen Lehrauftrag am Lehrstuhl für Geometrie und anschließend bis 1967 am Institut für Mathematik der Universität Warschau.		Von 1964 bis 1966 hatte er einen Lehrauftrag am Lehrstuhl für Geometrie und anschließend bis 1967 am Institut für Mathematik der Universität Warschau.
	Von 1967 bis 1971 war er Assistenzprofessor an der Technischen Universität in Warschau. 1971 kehrte an die Universitat Warschau an das ''Institute of Library and Information Science'' zurück.		Von 1967 bis 1971 war er Assistenzprofessor an der Technischen Universität in Warschau. 1971 kehrte an die Universitat Warschau an das ''Institute of Library and Information Science'' zurück.
	Im September und Oktober 1973 war er Gastdozent am Institute of Scientic and Technical Information (VINITI) in Moskau, wo er zum ersten Mal die Ideen über eine Maschinenlesbarkeit von mathematischen Texten diskutierte. <ref> [http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005%282%29.pdf] </ref>		Im September und Oktober 1973 war er Gastdozent am Institute of Scientic and Technical Information (VINITI) in Moskau, wo er zum ersten Mal die Ideen über eine Maschinenlesbarkeit von mathematischen Texten diskutierte.<ref>[http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005%282%29.pdf markun.cs.shinshu-u.ac.jp]</ref>
	Seit 1978 bis zu seinem Tod lehrte er als Professor am Institute of Computer Science der Universitat Bialystok, unterbrochen von einer Gastprofessur (~~1984 – 1985~~) am ''Computer Science & Engineering Dept.'' der Universität Connecticut in [[Storrs (Connecticut)\|Storrs]].		Seit 1978 bis zu seinem Tod lehrte er als Professor am Institute of Computer Science der Universitat Bialystok, unterbrochen von einer Gastprofessur (1984–1985) am ''Computer Science & Engineering Dept.'' der Universität Connecticut in [[Storrs (Connecticut)\|Storrs]].

	Trybulec war Begründer und Entwickler von [[Mizar-System\|Mizar]] und Gründer der ''Mizar Mathematical Library'' (MML), der weltweit größten Sammlung strikt formalisierter Mathematik.		Trybulec war Begründer und Entwickler von [[Mizar-System\|Mizar]] und Gründer der ''Mizar Mathematical Library'' (MML), der weltweit größten Sammlung strikt formalisierter Mathematik.
Zeile 21:		Zeile 21:
	Trybulec veröffentlichte eine Reihe von Aufsätzen, die meisten davon sind in der Zeitschrift ''Formalized Mathematics'' erschienen.		Trybulec veröffentlichte eine Reihe von Aufsätzen, die meisten davon sind in der Zeitschrift ''Formalized Mathematics'' erschienen.

	*Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland. ~~Hrsg. von Andrea Asperti~~, ~~Grzegorz Bancerek and Andrzej Trybulec.~~ New York~~: Springer~~ 2004. ISBN		* Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Hrsg.): ''Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland.'' Springer, New York 2004. ISBN 978-3-540-23029-8
	978-3-540-23029-8

	== Auszeichnungen ==		== Auszeichnungen ==
	*Golden Medal of Merit of Warsaw Province, 1978		* Golden Medal of Merit of Warsaw Province, 1978.
	*Silver Order of Merit, (Verdienstorden der Volksrepublik Polen), 1978		* Silver Order of Merit, (Verdienstorden der Volksrepublik Polen), 1978.
	*Golden Order of Merit (Verdienstorden der Volksrepublik Polen), 1988		* Golden Order of Merit (Verdienstorden der Volksrepublik Polen), 1988.
	*Sleszynski Prize, Mizar Users Assoc., 1994 (mit [[Yatsuka Nakamura]])		* Sleszynski Prize, Mizar Users Assoc., 1994 (mit [[Yatsuka Nakamura]])
	* Kapica Medal, Russische Akamedie der Naturwissenschaften, 1995 <ref> [http://math.uwb.edu.pl/~trybulec/awards.html Awards] </ref>		* Kapica Medal, Russische Akamedie der Naturwissenschaften, 1995<ref>[http://math.uwb.edu.pl/~trybulec/awards.html Awards]</ref>

	== Literatur ==		== Literatur ==
	*Piotr Rudnicki: ''An overview of the Mizar-Project. Proceedings of the 1982 workshop on Types for Prooofs and Programs.'' Chalmers University of Technology, Båstad 1992.		* Piotr Rudnicki: [https://www.researchgate.net/publication/2451694_An_overview_of_the_Mizar_project ''An overview of the Mizar-Project. Proceedings of the 1982 workshop on Types for Prooofs and Programs.''] Chalmers University of Technology, Båstad 1992.

	*''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' ~~Hrsg. Von Roman Matuszewski u. Anna Zalewska.~~ University of Białystok 2007. ISBN 978-~~837431128~~-1		* Roman Matuszewski, Anna Zalewska (Hrsg.): ''From Insight to Proof: Festschrift in Honour of Andrzej Trybulec.'' University of Białystok, 2007, ISBN 978-83-7431-128-1.

	== Weblinks ==		== Weblinks ==
	*[http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003]		* [http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf The evolution of the Mizar. Mathematical Library. Andrzej Trybulec. University of Bialystok. Eindhoven, MONET 2003]

	== Einzelnachweise ==		== Einzelnachweise ==
	<references/>		<references />

	{{Normdaten\|TYP=p\|GND=\|LCCN=nb/2004/306586\|VIAF=21658345}}		{{Normdaten\|TYP=p\|GND=\|LCCN=nb/2004/306586\|VIAF=21658345}}