|
Boyan Petkanchin
Boyan Petkanchin ( bg, Боян Петканчин) (April 8, 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 disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science ''Popular Science'' (also known as ''PopSci'') is an American digital magazine carrying popular science content, which refers to articles for the general reader on science and technology subjects. ''Popular Science'' has won over 58 awards, incl .... External links Historical notes on the development of mathematical logic in Sofia 1907 births 1987 deaths Bulgarian logicians 20th-century Bulgarian mathematicians 20th-century Bulgarian philosophers {{Europe-mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boyan Petkanchin
Boyan Petkanchin ( bg, Боян Петканчин) (April 8, 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 disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science ''Popular Science'' (also known as ''PopSci'') is an American digital magazine carrying popular science content, which refers to articles for the general reader on science and technology subjects. ''Popular Science'' has won over 58 awards, incl .... External links Historical notes on the development of mathematical logic in Sofia 1907 births 1987 deaths Bulgarian logicians 20th-century Bulgarian mathematicians 20th-century Bulgarian philosophers {{Europe-mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulgaria
Bulgaria (; bg, България, Bǎlgariya), officially the Republic of Bulgaria,, ) is a country in Southeast Europe. It is situated on the eastern flank of the Balkans, and is bordered by Romania to the north, Serbia and North Macedonia to the west, Greece and Turkey to the south, and the Black Sea to the east. Bulgaria covers a territory of , and is the sixteenth-largest country in Europe. Sofia is the nation's capital and largest city; other major cities are Plovdiv, Varna and Burgas. One of the earliest societies in the lands of modern-day Bulgaria was the Neolithic Karanovo culture, which dates back to 6,500 BC. In the 6th to 3rd century BC the region was a battleground for ancient Thracians, Persians, Celts and Macedonians; stability came when the Roman Empire conquered the region in AD 45. After the Roman state splintered, tribal invasions in the region resumed. Around the 6th century, these territories were settled by the early Slavs. The Bulgars, led by Asp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundation Of Mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulgarian Academy Of Sciences
The Bulgarian Academy of Sciences (abbreviated BAS; bg, Българска академия на науките, ''Balgarska akademiya na naukite'', abbreviated ''БАН'') is the National Academy of Bulgaria, established in 1869. The Academy, with headquarters in Sofia, is autonomous and consists of a Society of Academicians, Correspondent Members and Foreign Members. It publishes and circulates different scientific works, encyclopaedias, dictionaries and journals, and runs its own publishing house. The activities are distributed in three main branches: ''Natural, mathematical and engineering sciences''; ''Biological, medical and agrarian sciences'' and ''Social sciences, humanities and art''. They are structured in 42 independent scientific institutes, and a dozen of laboratories and other sections. Julian Revalski has been the president of the BAS since 2016. As of 2021, its budget was 117,8 million leva (€60,2 million). History As Bulgaria was part of the Ottoman E ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Popular Science
''Popular Science'' (also known as ''PopSci'') is an American digital magazine carrying popular science content, which refers to articles for the general reader on science and technology subjects. ''Popular Science'' has won over 58 awards, including the American Society of Magazine Editors awards for its journalistic excellence in 2003 (for General Excellence), 2004 (for Best Magazine Section), and 2019 (for Single-Topic Issue). With roots beginning in 1872, ''Popular Science'' has been translated into over 30 languages and is distributed to at least 45 countries. Early history ''The Popular Science Monthly'', as the publication was originally called, was founded in May 1872 by Edward L. Youmans to disseminate scientific knowledge to the educated layman. Youmans had previously worked as an editor for the weekly ''Appleton's Journal'' and persuaded them to publish his new journal. Early issues were mostly reprints of English periodicals. The journal became an outlet for writings ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1907 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1987 Deaths
File:1987 Events Collage.png, From top left, clockwise: The MS Herald of Free Enterprise capsizes after leaving the Port of Zeebrugge in Belgium, killing 193; Northwest Airlines Flight 255 crashes after takeoff from Detroit Metropolitan Airport, killing everyone except a little girl; The King's Cross fire kills 31 people after a fire under an escalator Flashover, flashes-over; The MV Doña Paz sinks after colliding with an oil tanker, drowning almost 4,400 passengers and crew; Typhoon Nina (1987), Typhoon Nina strikes the Philippines; LOT Polish Airlines Flight 5055 crashes outside of Warsaw, taking the lives of all aboard; The USS Stark is USS Stark incident, struck by Iraq, Iraqi Exocet missiles in the Persian Gulf; President of the United States, U.S. President Ronald Reagan gives a famous Tear down this wall!, speech, demanding that Soviet Union, Soviet leader Mikhail Gorbachev tears down the Berlin Wall., 300x300px, thumb rect 0 0 200 200 Zeebrugge disaster rect 200 0 400 200 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
