more on this theme | more from this thinker | more from this text
Full Idea
Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach.
Gist of Idea
Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics
Source
comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III
Book Ref
Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.123