- Department of Mathematical Logic (Bulgarian Academy of Sciences)
The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959. Its first chairman was Boyan Petkanchin (1907–87) who worked to promote and disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science.
Vladimir Sotirov and Radoslav Pavlov joined the department in 1970, followed by George Gargov, Anatoly Buda, Lyubomir Ivanov, Slavyan Radev and Solomon Passy in 1976-89. In 1996-2000 the department was joined by Dimiter Dobrev, Jordan Zashev and Dimitar Guelev.
From 1971 to 1989 the department was merged with the corresponding division of the Faculty of Mathematics and Informatics at Sofia University, with Dimiter Skordev heading the integrated structure since 1971. In 1989 the institutional relationship with Sofia University was severed, and the department resumed as a division of the Institute of Mathematics and Informatics, headed since then by Lyubomir Ivanov.
The logicians Bogdan Dyankov, Hristo Smolenov, Veselin Petrov and Marion Mircheva stayed with the department for various periods of time, all of them coming from the Institute of Philosophy at the Bulgarian Academy of Sciences once the latter was dissolved on account of the dissident activities of its members in 1989.
The research of the department is mostly in the area of algebraic recursion theory, modal, temporal and other non-classical logics, as well as logic programming including the development of a version of the Prolog programming language. The department developed also the Streamlined System adopted as the official national system for the Romanization of Bulgarian, and eventually codified by the Bulgarian Law of Transliteration in 2009. A joint multi-institutional project led by the department has contributed to the development and introduction of a new Bulgarian phonetic keyboard layout for personal computers and mobile phones.
Besides their research activities, members of the department have an extensive lecturing practice at various faculties of Sofia University as well as other Bulgarian universities. Some members of the department have earned public recognition for their non-academic activities. Sotirov, Ivanov, and Passy were returned MPs in the VII Grand National Assembly on the side of the Union of Democratic Forces, and co-authored the new Bulgarian Constitution.
- Department of Mathematical Logic
- Historical notes on the development of mathematical logic in Sofia
- Andreev A., I. Derzhanski eds. Bulgarian Academy of Sciences: Institute of Mathematics and Informatics, founded 1947. Sofia: Multiprint Ltd., 2007. 64 pp. (Bilingual publication in Bulgarian and English) ISBN 978-954-8986-27-4
Wikimedia Foundation. 2010.
Look at other dictionaries:
Institute of Mathematics and Informatics (Bulgarian Academy of Sciences) — The Institute of Mathematics and Informatics was established in 1947 as Institute of Mathematics at the Bulgarian Academy of Sciences. Its name changed to Institute of Mathematics with Computing Centre in 1961, while from 1970 to 1988 the… … Wikipedia
Streamlined System for the Romanization of Bulgarian — The Streamlined System is the official Bulgarian system for the Romanization of the Bulgarian language. It was developed at the Department of Mathematical Logic at the Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences… … Wikipedia
Michel Weber (philosopher) — is a Belgian philosopher, born in Brussels in 1963. He is best known as an interpreter and advocate of the philosophy of Alfred North Whitehead (1861–1947). He has come to prominence as the architect and organizer of an overlapping array of… … Wikipedia
Michel Weber — (1963 à Bruxelles en Belgique ) est un philosophe belge. Il est principalement reconnu pour ses travaux sur la philosophie d’Alfred North Whitehead (1861 1947). Sommaire 1 Biographie 2 Bibliographie (Publications scientifiques) … Wikipédia en Français
Lyubomir Ivanov — with a dissertation entitled Iterative Operative Spaces .Academic and NGO workApppointed head of the Department of Mathematical Logic at the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences in 1990, Dr Ivanov has since… … Wikipedia
Boyan Petkanchin — (April 5, 1907 – March 3, 1987) was a prominent Bulgarian mathematician, working in geometry and foundation of mathematics. As a first chairman of the Department of Mathematical Logic at the Bulgarian Academy of Sciences he worked to promote and… … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
Ludwig Wittgenstein — Wittgenstein redirects here. For other uses, see Wittgenstein (disambiguation). Ludwig Wittgenstein Photographed by Ben Richards Swansea, Wales, 1947 Born 26 April 1889 … Wikipedia
Macedonia naming dispute — Macedonia (region) Macedonia (Greece) … Wikipedia
List of Russian people — The Millennium of Russia monument in Veliky Novgorod, featuring the statues and reliefs of the most celebrated people in the first 1000 years of Russian history … Wikipedia