Metamathematics
Videos
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamath
The title page of the Principia Mathematica (shortened version), an important work of metamathematics
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
Metamathematics
…Bertrand Russell, Thoralf Skolem, Emil Post, Alonzo Church, Alan Turing, Stephen Kleene, Willard Quine, Paul Benacerraf, Hilary Putnam, Gregory Chaitin, Alfred Tarski, Paul Cohen and Kurt Gödel. Today, metalogic and metamathematics broadly overlap, and both have been substantially subsumed by mathematical logic in…
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