Julia Robinson
Videos
Julia Hall Bowman Robinson was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her wo
Robinson in 1975
Alfred Tarski
Videos
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra
Julia Robinson
…where her work resulted in her first published paper, titled "A Note on Exact Sequential Analysis". Robinson received her PhD degree in 1948 under Alfred Tarski with a dissertation on "Definability and Decision Problems in Arithmetic". Her dissertation showed that the theory of the rational numbers was an…
Tarski in 1968
Atop four pillars at entrance to Warsaw University Library stand statues of Lwów-Warsaw School philosophers (right to left) Kazimierz Twardowski, Jan Łukasiewicz, Alfred Tarski, Stanisław Leśniewski.
Alfred Tarski at Berkeley