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).

Tarski, Alfred