Войти
| Анджей В. Трибулец | |
|---|---|
 Трибулец ca. 1975 | |
| Родился | (1941-01-29) 29 января 1941. Краков, Польша |
| Умер | 11 сентября 2013 (2013-09- 11) (72 года). Белосток, Польша |
| Национальность | поляк |
| Alma mater | Варшавский университет |
| Известен по | системе Мицар. Компьютерная формализация математики |
| Супруг (ы) | Зинаида Трыбулец |
| Дети | Войцех А. Трибулец. Михал Й. Трибулец |
| Награды | Капица Медаль Российской академии естественных наук, 1995. Слешинский Премия, Ассоциация пользователей Mizar, 1994. Золотой орден за заслуги, 1988. Серебряный орден за заслуги, 1978. Золотая медаль за заслуги перед Варшавским воеводством, 1978 |
| Научная карьера | |
| Области | Математика. Информатика. Топология. Компьютерная лингвистика. Семантика |
| Учреждения | University of Белосток. Варшавский университет. Варшавский технологический университет. Польская академия наук. Университет Коннектикута. Всероссийский научно-технический I Институт информации |
| Диссертация | О некоторых свойствах подвижного компакта (1975) |
| Докторант | Кароль Борсук |
| Примечания | |
| Среди членов семьи отмечены:. Кристина Куперберг. Влодзимеж Куперберг. Грег Куперберг | |
Анджей Войцех Трыбулец, (29 января 1941 г. в Краков, Польша - 11 сентября 2013 г. в Белостоке, Польша ) был польским математиком и компьютерным ученым, известным за работу над системой Мицара.
Его родители Ян В. Трибулец и Барбара Х. Курлус были профессиональными фармацевтами, имевшими аптеку в небольшом городке Щуцин недалеко от города Тарнув на юге. -восточная Польша, где отпускали лекарства. Он ходил в среднюю школу в Руда Слёнска, а затем по собственной инициативе перешел в престижную среднюю школу в Кракове, где и поступил. Изучал математику в Варшавском университете, с 1964 по 1966 год читал лекции на кафедре геометрии, в 1966 году получил степень магистра. До 1967 года он читал лекции в Институте математики Варшавского университета, с 1967 по 1971 год был доцентом в Варшавском технологическом университете, с 1971 года работал в институте. библиотеки и информатики Варшавского университета. В сентябре и октябре 1973 года Трыбулец был приглашенным профессором в Всероссийский институт научно-технической информации (ВИНИТИ) в Москве, затем СССР, где он изобрел идею машиночитаемости математического текста. В 1974 г. он получил докторскую степень в Институте математики Польской академии наук под руководством Кароля Борсука.
первая математическая работа Трюбулека статьи были посвящены различным топологическим и метрическим пространствам темам, впервые предложенным Каролем Борсуком. Параллельно с его общими топологическими исследованиями он также работал в области вычислительной лингвистики и семантики языков программирования. Применяя рамки теории множеств Тарского – Гротендика, по существу теории множеств Цермело-Френкеля, дополненной аксиомой Тарского со всеми объектами как множествами и исключенным понятием класса, вместе с логикой первого порядка Гентцена -Яськовского естественного вывода, в 1973 году он разработал систему формализации Мицар состоящий из формального языка для написания математических определений и доказательств, помощника по доказательству, способного механически проверять доказательства, написанные на этом языке. Хотя первая презентация системы Мицар 14 ноября 1973 года на семинаре в Институте библиотековедения и научной информации была идеологией, понимаемой как дальновидное предположение, а не исследовательский проект, его идея позже была развита им самим и его сотрудниками в Mizar Mathematical Library (MML), библиотека формализованной математики, которую можно использовать для доказательства новых теорем, и крупнейший в мире репозиторий формализованной и проверенной компьютером математики. С 1978 года до своей смерти он читал лекции в качестве профессора Института компьютерных наук в Белостокском университете, а в 1984-1985 годах работал приглашенным профессором на кафедре компьютерных наук и инженерии Университет Коннектикута. Он опубликовал ряд статей, в основном в журнале Formalized Mathematics, посвященных вкладу MML.
