Sof'ja Aleksandrovna Neimark's father was Alexander Neimark who was an accountant. She was born into a Jewish family living in Pruzhany, a village near Kobrin, which at that time was in the Russian Empire, but is now in Belarus. The census of 1897, taken shortly after her birth, shows Pruzhany with a population of 7,634, of whom about 60 per cent were Jewish. However, Sof'ja was not brought up in Pruzhany since, when she was still young, her family moved to Odessa, a major Black Sea port. In 1905 Odessa was the site of a workers' uprising, and the murder of hundreds of citizens must have had a large influence on the nine year old Sof'ja. She was educated in classics and mathematics at the Gymnasium in Odessa where she was fortunate enough to be taught by Ivan Jure'vich Timchenko, a major figure in the study of the history of mathematics especially that of the theory of analytic functions.
Sof'ja Neimark entered the Higher School for Women in Odessa in 1915; this was part of the Novorossiisk University of Odessa. There she studied mathematics under Timchenko, who we mentioned above, and also Samuil Osipovich Shatunovsky who was interested in a wide variety of mathematical topics including group theory, the theory of numbers, and geometry. He used the axiomatic method to lay the logical foundations of geometry, algebraic fields, Galois theory and analysis and his areas of interest had a large influence on his student Neimark.
When the Russian Revolution arrived in 1917, Neimark became politically active. She had already joined the underground Red Cross, which assisted political prisoners, while she was studying at the Gymnasium. She joined the Bolshevik wing of the Russian Communist Party in November 1918 even though at this time it was an illegal organisation in Odessa. In 1919 she served the Red Army as a political commissar and became an editor for the Kommunist newspaper in Odessa. From 1920 to 1923 she worked for the Odessa Regional Party and throughout this period she had essentially given up her academic studies - in particular mathematics had been pushed into the background. However the Bolsheviks understood that the country needed economists, scientists, technicians, managers, lawyers, university professors, school teachers, and writers, yet most of their supporters were uneducated. Realising this need, in 1923 Janovskaja felt it her duty to return to her studies, and she began attending seminars at Moscow State University. In the following year she entered the Institute of Red Professors, which had been established to educate people from the lower classes. The Institute of Red Professors had been set up in 1921 and has been described as:-
... a milieu combining aspects of a university, a political salon, and a monastery.By 1925 Janovskaja was leading a seminar on mathematical methodology at Moscow State University, becoming a member of the faculty in the following year. By 1931 she was a professor there, and, four years later, she received her doctorate.
Although her political views are obvious from the above description of events in Janovskaja's life, we should now indicate how these related to mathematics. To understand how she felt at the time we quote from her writings in The Immediate Tasks of the Mathematicians-Marxists which appeared in Under the Banner of Marxism (1930) (see ):-
If there is a low percentage of natural scientists sharing Marxist views, then among mathematicians this percentage is even lower... the Old Professorship from the so called "Moscow school", whose authority among the mathematical milieu was unshakable, made every effort to save mathematics from the malicious influence of materialistic philosophy, which did not hide its Party orientation and its class, proletarian character. Even the word "Comrade" was neither accepted at the Institute of mathematics and mechanics, nor at the Mathematical Society... in contrast, among the members of this Society, the percentage of white émigrés is rather high.However, Janovskaja could report:-
... the revolution at last reached the Institute of mathematics and mechanics. The management of the Institute radically changed.However:-
The current purge of the Leningrad Mathematical Society, where the idea of establishing a popular mathematical society was met with an organized rebuff by almost all mathematicians, demonstrates the complexity of the task at hand and shows that the goal of stratifying mathematicians and defining the truly Soviet components is a difficult and urgent problem. A problem that demands maximal vigilance ...An interesting episode took place in 1935 and is described in . Ludwig Wittgenstein visited Janovskaja and told her that he was intending to relocate to the USSR. However, he was persuaded to give up the idea by Janovskaja.
The war between Germany and the Soviet Union began on 22 June 1941, when German forces invaded the Soviet-occupied portion of Poland. The German forces delayed their advance on Moscow (at Hitler's command) but by October they were advancing again and by December Moscow was besieged. Janovskaja was evacuated, along with other Moscow University faculty and students, to Perm (which had been renamed Molotov in 1940) and there she taught courses in the Department of General Algebra. She returned to Moscow in 1943 and was appointed Director of the Mathematical Logic Seminar at Moscow State University.
Janovskaja worked on the philosophy of mathematics and logic. She argued against the writings of Frege on philosophy. Her work in mathematical logic became very important in the development of the subject in Soviet Union. Annellis writes in :-
In her writings on philosophy of mathematics and philosophy of logic, she took the offensive against the idealist philosophy of the bourgeois West, represented in her mind by Gottlob Frege, and against the so-called Machism, that is, conventionalism, represented by Rudolf Carnap and his Principle of Tolerance, according to which in logic one is free to choose one's rules.In 1931 Janovskaja wrote:-
The modern crisis of capitalism robs mathematics of materialistic tools and methods (intuitionism), widens the gap between theory and practice, and aggravates its spontaneous and unplanned character.The history of mathematics was another topic which attracted Janovskaja and she published work on Egyptian mathematics On the theory of Egyptian fractions (1947), Zeno of Elea's paradoxes, Rolle's criticisms of the calculus in Michel Rolle as a critic of the infinitesimal analysis (1947), Descartes' geometry (see below), and Lobachevsky's work on non-euclidean geometry in papers such as The leading ideas of N I Lobachevsky - a combat weapon against idealism in mathematics (1950), On the philosophy of N I Lobachevsky (1950), and On the Weltanschauung of N I Lobachevsky (1951). Janovskaja published two major studies of the history of mathematical logic in the USSR between 1917 and 1957. The first part appeared in 1948 with the second part being published in 1959.
An important aspect of Janovskaja's work was in translating into Russian and editing works of high international repute in mathematical logic. For example in 1947 she translated into Russian and published Hilbert and Ackermann's Grundzüge der theoretischen Logik Ⓣ, and, in 1948, Tarski's Introduction to logic and to the methodology of deductive sciences. Later she produced Russian versions of Polya's Mathematics and plausible reasoning, Carnap's Meaning and Necessity, and Turing's highly significant paper Can machines think?. She also organised translations of works by Goodstein, Church, and Kleene. For all these works she wrote important interpretative introductions.
Bazhanov writes in :-
She zealously reinforced mathematical logic as a self-sufficient and respectable science having nothing to do with either idealism or fideism in mathematics or philosophy of mathematics.Finally let us look at a couple of examples of Janovskaja's work. On the history of the axiomatic method was published in 1958. The first half of the article is largely a discussion of the axioms in Euclid's Elements and the works of Aristotle, particularly his Posterior analytics. There then follows general comments concerning the theory of algorithms, and the mathematical concepts of proof, construction and solution. In 1966 she published On the role of mathematical rigour in the creative development of mathematics and especially on Descartes' 'Geometry'. Despite its title, this paper is written from a mathematical rather than an historical point of view. One example of the need for mathematical rigour, Janovskaja claims, is the fact that the three classical Greek problems were not solved until they had been framed more rigorously. L Guggenbuhl writes in a review:-
The article contains an extended general discussion of the mathematical method, and of such concepts of mathematical logic as the theory of plurality, the theory of algorithms, the law of full mathematical induction, recursive functions and Turing machines. The author also discusses work of Church, Gödel, and Kleene.Among the honours which were given to Janovskaja was the Order of Lenin in 1951. In 1959 she became the first Head of the new Department of Mathematical Logic at Moscow State University. Writing of her final years in this role, Bazhanov writes in :-
Construction tools of Euclidean geometry are described as the ruler and the compass. The author then traces the widening of the reserves of the means of construction to include the methods of cartesian geometry. An analysis is given for the problem of finding geometric solutions for algebraic equations of degree higher than two by locating points of intersection of conic sections with other curves. The article contains an appraisal of the work of Descartes in the light of contemporary standards of logic and rigour.
She did much to establish this position and eventually her efforts succeeded due to her high authority (both as an Party veteran and a logician). Despite the tragic life and fate of her mentally ill son, Janovskaja paid much attention to her numerous pupils and fostered logical investigations in the USSR -- apparently absolutely forgetting what she had intensively written and proclaimed only 15 years before. Most of the Soviet logicians who started their careers in the 1950's were indebted to her for support, education, and the opportunity to access knowledge about the achievements of Western colleagues concealed behind the dense iron curtain.
Article by: J J O'Connor and E F Robertson