Alfred Tarski

Matemàtich. Alfred Tarski a l'era nassù a Varsavia ël 14 ëd gené dël 1902. Dël 1939 a l'ha chità la Polònia e a l'é mòrt a Berkeley ël 26 d'otóber dël 1983. Antra soe arserche pì amportante a-i son: sò travaj an sla verità; sò métod ëd decision për l'àlgebra elementar e la geometrìa; ël travaj an sj'àlgebre finìe ch'a l'ha fàit ansema a Bjarni Jónsson. Dël 1948 a l'ha dimostrà che si A a l'é un sot-camp real sarà dël camp real sarà B, antlora A a l'é sot-model elementar ëd B. A pòrto sò nòm Paradòss ëd Banach-Tarski Prinsipi ëd Lefschetz-Tarski Teorema dl'ultrafìlter ëd Tarski Teorema ëd Löwenheim-Skolem-Tarski Euvre prinsipaj Logic, semantics, metamathematics (1923-1938); Undecidable theories (con Andrzej Mostowski e Raphael M. Robinson; Àmsterdam, 1953).