“Do beginner vampires go to batting practice?”
Alfred TarskiBorn 14 Jan 1902; died 26 Oct 1983 at age 81. Polish-American mathematician and logician who made important studies of general algebra, measure theory, mathematical logic, set theory, and metamathematics. Formal scientific languages can be subjected to more thorough study by the semantic method that he developed. He worked on model theory, mathematical decision problems and with universal algebra. He produced axioms for “logical consequence,” worked on deductive systems, the algebra of logic and the theory of definability. Group theorists study “Tarski monsters,” infinite groups whose existence seems intuitively impossible. |
