Department of Mathematical Logic (Bulgarian Academy of Sciences)

Last updated

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.

In 2011 the departments of Mathematical Logic and Algebra were merged to form the Department of Algebra and Logic at the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences.

Related Research Articles

Solomon Passy

Solomon Isaac Passy is a Bulgarian scientist, politician, and innovator, founder and President of the Atlantic Club of Bulgaria, Foreign Minister in the Government of Simeon Sakskoburggotski (2001-2005), Chairman-in-Office of the Organization for Security and Co-operation in Europe (OSCE) in 2004. He represented Bulgaria at UN Security Council and was its Chairman, and was nominated by Bulgaria for Secretary General of NATO (2009).

Sofia University, "St. Kliment Ohridski" at the University of Sofia, is the oldest higher education institution in Bulgaria.

Grigore Moisil

Grigore Constantin Moisil was a Romanian mathematician, computer pioneer, and member of the Romanian Academy. His research was mainly in the fields of mathematical logic, algebraic logic, MV-algebra, and differential equations. He is viewed as the father of computer science in Romania.

University of Rijeka

The University of Rijeka is in the city of Rijeka with faculties in cities throughout the regions of Primorje, Istria and Lika.

University of Craiova

The University of Craiova is a public university located in Craiova, Romania. It was founded in 1947, initially with four institutes, in the Palace of Justice of Craiova. It is the largest university in the historical Oltenia province of Romania. It was the last university established in the Kingdom of Romania. It was the fifth university in Romania officially approved by the Ministerial Council of the Socialist Republic of Romania in 1965, with seven faculties: Mathematics, Philology, Electrotechnics, Agriculture, Horticulture, Chemistry and Economics. The university is a member of the European University Association. It currently includes a total of 16 faculties and two colleges for undergraduate and postgraduate programmes.

Tangra 2004/05 Bulgarian geographical expedition to Antarctica

The Tangra 2004/05 Expedition was commissioned by the Antarctic Place-names Commission at the Ministry of Foreign Affairs of Bulgaria, managed by the Manfred Wörner Foundation, and supported by the Bulgarian Antarctic Institute, the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences, Bulgarian Posts, Uruguayan Antarctic Institute, Peregrine Shipping (Australia), and Petrol Ltd, TNT, Mtel, Bulstrad, Polytours, B. Bekyarov and B. Chernev (Bulgaria).

Lyubomir Miletich

Lyubomir Miletich was a leading Bulgarian linguist, ethnographer, dialectologist and historian, as well as the chairman of the Bulgarian Academy of Sciences from 1926 to his death.

Lyubomir Ivanov (explorer)

Lyubomir Ivanov is a Bulgarian scientist, non-governmental activist, and Antarctic explorer. He is a graduate of the St. Kliment Ohridski University of Sofia with M.S. degree in mathematics in 1977, earned his PhD from Sofia University in 1980 under the direction of Dimiter Skordev, with a dissertation entitled Iterative Operative Spaces, and was the 1987 winner of Acad. Nikola Obreshkov Prize, the highest Bulgarian award in mathematics.

Dimiter Skordev

Dimiter Skordev is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the University of Sofia. Chairman of the department in 1972-2000. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic recursion theory. He was the 1981 winner of Acad. Nikola Obreshkov Prize, the highest Bulgarian award in mathematics, bestowed for his monograph Combinatory Spaces and Recursiveness in Them.

Institute of Mathematics and Informatics

The Institute of Mathematics and Informatics was established in 1947 as Institute of Mathematics at the Bulgarian Academy of Sciences.

Vladimir Ivanov Georgiev (1908–1986) was a prominent Bulgarian linguist, philologist, and educational administrator.

Transilvania University of Brașov

Transilvania University of Brașov is a public institution of higher education in Brașov, Romania, founded in 1971. It has eighteen faculties, a total of over 19,000 students, and more than 700 academic staff. The University offers 105 days license areas, 12 areas for distance education, and 5 areas for higher reduced frequency, as well as 73 graduate programs and 18 doctoral programs.

Technical University of Varna

The Technical University of Varna is a state university in Varna, Bulgaria, founded in 1962.

Khristo Ivanov was a Bulgarian organic chemist.

The Faculty of Veterinary Medicine is a state-funded higher education establishment.

Miriam Cohen Israeli mathematician

Miriam Cohen is an Israeli mathematician and a professor in the Department of Mathematics at Ben-Gurion University of the Negev whose main areas of research are Hopf algebras, quantum groups and Noncommutative rings.

N.I. Lobachevsky Institute of Mathematics and Mechanics - N.I. Lobachevsky Institute of Mathematics and Mechanics – one of KFU’s Institutes. It was established in 2011 at the premises of the Faculty of Mechanics and Mathematics including N.G.Chebotarev Research Institute for Mathematics and Mechanics and the part of TSUHE’s Faculty of Mathematics. The Institute has Bachelor program, Master program, Postgraduate and Doctoral studies.

Lubomir N. Vladikin a jurist, writer, and Bulgarian nationalist of the 20th century.

University of Niš Faculty of Science and Mathematics

The University of Niš Faculty of Science and Mathematics, also known as the Niš Faculty of Science and Mathematics, is one of the educational institutions of the University of Niš, Serbia.

Anatoly Dorodnitsyn

Anatoly Alekseyevich Dorodnitsyn — 7 June 1994, Moscow) — Russian mathematician, physicist, leader of scientific research, and an outstanding University mentor. Professor (1949) and Full member of the Russian Academy of Sciences (1953), Department of physical and mathematical sciences, majoring in geophysics.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.