Jerzy ÅoÅ›
Jerzy Łoś ( [ jɛʐɨ wɔɕ ], born March 22, 1920 in Lwów, † June 1, 1998 in Warsaw) was a Polish mathematician and logician.
Life
The study, begun in 1937 at the Jan Kazimir University in Lwów (Lviv ) had to be interrupted due to the war. After the war, married Łoś and continued his studies at the Maria Curie - Skłodowska University in Lublin continued. With a degree in philosophy, he went in 1947 as an assistant at the University of Breslau, first at the chair of physics, then for logic. There he received his doctorate in 1949 with the dissertation " O matrycach logicznych " (logical About matrices). Six years later he qualified as a means of two publications "The algebraic treatment of the methodology of elementary deductive systems" and "On the Extending of models " at the Polish Academy of Sciences. He then moved to the University Toruń, 1957 appointed extraordinary and three years later promoted to full professor. He participated in the construction of the Toruń branch of the Polish Mathematical Society. In 1949 he joined the Polish Academy of Sciences and was there in different sections until his retirement in 1991 worked.
During visits to Berkeley, he worked 1959/60 with Alfred Tarski on model theory and 1962 /63 Bjarni Jónsson on universal algebra. There were other visits abroad at the University of Aarhus in 1967, at Yale in 1973 and at the University of Wisconsin -Madison 1978/79.
Łoś worked in the model theory and algebra. The set of Łoś on the validity of records in ultra- products, which led to a new proof of the compactness theorem is connected with his name. After his Toruń time from 1961 Łoś also conducted research in areas of applied mathematics, in particular in business mathematics.
1964 Jerzy Łoś was appointed a full member as a corresponding member of the Polish Academy of Sciences, 1983. The University of Hagen Łoś honored in 1995 with the awarding of an honorary doctorate.
1996 Łoś suffered a stroke, to which he succumbed in 1998.