Анджей Трибулец

Анджей В. Трибулец
Анджей В. Трибулец
	Трибулец ок. 1975 год
Рожденный	29 января 1941 г. ; Краков , Польша
Умер	11 сентября 2013 г. (72 года) ; Белосток , Польша
Национальность	Польский
Альма-матер	Варшавский университет
Известный	Система Мицар ; Компьютерно-ориентированная формализация математики
Супруг	Зинаида Трибулец
Дети	Войцех А. Трибулец ; Михал Я. Трибулец
Награды	Медаль Капицы РАЕН, 1995 г. ; Премия Слешинского , Ассоциация столярных пользователей, 1994 г. ; Золотой орден «За заслуги», 1988 г. ; Серебряный орден «За заслуги», 1978 г. ; Золотая медаль «За заслуги перед Варшавским воеводством», 1978 г.
	Научная карьера
Поля	Математика ; Информатика ; Топология ; Компьютерная лингвистика ; Семантика
Учреждения	Белостокский университет ; Варшавский университет ; Варшавский технологический университет ; Польская академия наук ; Университет Коннектикута ; Всероссийский институт научной и технической информации
Диссертация	О некоторых свойствах подвижных компактов (1975)
Докторантура	Кароль Борсук
Примечания
	Известные члены семьи включают: ; Кристина Куперберг ; Влодзимеж Куперберг ; Грег Куперберг

Анджей Войцех Трибулец (29 января 1941 года в Кракове , Польша — 11 сентября 2013 года в Белостоке , Польша ) — польский математик и учёный-компьютерщик, известный своими работами над системой Мицар . ^[1]

Ранние годы [ править ]

Его родители Ян В. Трибулец и Барбара Х. Курлус были профессиональными фармацевтами и владели аптекой в небольшом городке Щуцин недалеко от города Тарнув на юго-востоке Польши , где они продавали лекарства. Он учился в средней школе в Руде-Слёнской , а затем по собственной инициативе перешёл в престижную среднюю школу в Кракове , где и поступил в школу. Изучал математику в Варшавском университете , с 1964 по 1966 год читал лекции на кафедре геометрии, в 1966 году получил степень магистра . До 1967 года читал лекции в Институте математики Варшавского университета, с 1967 по 1971 год был доцентом Варшавского технологического университета , с 1971 года работал в Институте библиотечного и информационного дела Варшавского университета. В сентябре и октябре 1973 года Трибулец был приглашенным профессором во Всероссийском институте научной и технической информации (ВИНИТИ) в Москве , тогда СССР , где он изобрел идею машинного считывания. математического текста. В 1974 году получил докторскую степень в Институте математики Польской академии наук под руководством Кароля Борсука .

Исследовательская работа [ править ]

статьи Трибулца Первые математические были посвящены различным темам топологического и метрического пространства , впервые предложенным Каролем Борсуком . Параллельно со своими общими топологическими исследованиями он также работал в области компьютерной лингвистики и семантики языков программирования . Применяя структуру аксиом теории множеств Тарского-Гротендика , по сути, теорию множеств Цермело-Френкеля, дополненную аксиомой Тарского , в которой все объекты являются множествами, и исключено понятие класса, вместе с логикой первого порядка Генцена - Ясковского естественной дедукции , в 1973 году он разработал систему формализации Мицар, состоящую из формального языка для написания математических определений и доказательств, помощника по доказательству, способного механически проверять доказательства, написанные на этом языке. Хотя первая презентация системы «Мицар» 14 ноября 1973 года на семинаре в Институте библиотечного дела и научной информации представляла собой идеологию, понимаемую как призрачное предположение, а не исследовательский проект, позже его идея была развита им самим и его сотрудниками в «Мицар». Математическая библиотека (MML), библиотека формализованной математики, которую можно использовать для доказательства новых теорем, и крупнейшее в мире хранилище формализованной и компьютерной математики. С 1978 года и до самой смерти читал лекции в качестве профессора в Институте компьютерных наук Московского университета. Белостокского университета , а в 1984-1985 годах занимал должность приглашенного профессора на кафедре компьютерных наук и техники Университета Коннектикута . Он опубликовал ряд статей, в основном в журнале Formalized Mathematics, посвященных вкладу MML.

Публикации [ править ]

Асперти, Андреа; Банцерек, Гжегож; Трибулец, Анджей, ред. (2004), Управление математическими знаниями: материалы Третьей международной конференции, MKM 2004, Беловежа, Польша, 19–21 сентября 2004 г. , Конспекты лекций по информатике 3119 , Нью-Йорк: Springer, ISBN 978-3-540-23029-8

См. также [ править ]

Ссылки [ править ]

^ Памяти Анджея Трибулца.

Дальнейшее чтение [ править ]

Куперберг, Кристина Трибулец (сентябрь 2015 г.), «Анджей Трибулец – памяти» , Журнал автоматического рассуждения , 55 (3): 187–190, doi : 10.1007/s10817-015-9343-3
Матушевский, Роман; Залевская, Анна, ред. (2007), «От понимания к доказательству: Фестиваль в честь Анджея Трибулца» (PDF) , Исследования по логике, грамматике и риторике , 10 (23), ISBN 978-837431128-1
Матушевский, Роман; Рудницкий, Петр (март 2005 г.), «Мицар: первые 30 лет» (PDF) , Механизированная математика и ее приложения , 4 (1): 3–24
Рудницкий, Петр (1992), «Обзор проекта Мицар», в Нордстреме, Бенгт; Петерссон, Кент; Плоткин, Гордон (ред.), Труды семинара 1992 г. по типам доказательств и программ, Бастад, Швеция, июнь 1992 г. , Бостад : Технологический университет Чалмерса , стр. 311–330.

Внешние ссылки [ править ]

[1] Памяти Анджея Трибулца.

[1]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Израиль Соединенные Штаты Чешская Республика Нидерланды Польша
академики	ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф