Alfred Tarski

Alfred Tarski em Berkeley

Alfred Tarski ou originalmente Alfred Tajtelbaum ou Teitelbaum (nascido em 14 de janeiro de 1901 (de acordo com outras fontes: 1902 ) em Varsóvia ; † 26 de outubro de 1983 em Berkeley , EUA ) foi um matemático e lógico polonês-americano . Alfred Tarski fez contribuições fundamentais para as ciências formais e para a teoria da verdade formal ( Convenção T ) e é um dos principais representantes da Escola de Lemberg-Varsóvia antes da Segunda Guerra Mundial .

Vida

Alfred Tarski nasceu sob o nome de Tajtelbaum em uma rica família judia em Varsóvia. Ele cresceu em Varsóvia e se matriculou em 1918 como aluno na universidade local . Sua intenção original era estudar biologia, mas sob a influência de Jan Łukasiewicz , Stanisław Leśniewski e Wacław Sierpiński, ele mudou para a matemática. Sua tese de doutorado, apresentada em 1923, foi concluída sob a orientação de Leśniewski; ele recebeu seu doutorado em 1926 . Em 1923, ele e seu irmão Wacław mudaram o sobrenome de sua família para o nome que soava polonês "Tarski" (cuja terminação " -ski " sugere uma descendência da nobreza polonesa histórica). Os dois irmãos se converteram ao catolicismo, a religião dominante na Polônia. No entanto, a conversão foi apenas um passo no papel; na verdade, Tarski era um ateu convicto. Tarski aceitou a mudança de nome e a mudança de denominação porque esperava que isso aumentasse suas chances de se candidatar a uma cadeira. No entanto, essa esperança não se concretizou no início e várias aplicações (em Lviv e Poznan) foram decepcionantes para ele. A partir de 1926, ele trabalhou em Varsóvia como professor de lógica e escreveu vários livros e artigos científicos na época seguinte. Em 1929 casou-se com Maria Witkowska, com quem teve um filho e uma filha. Em 1930 ele entrou em contato com o Círculo de Viena e Kurt Gödel .

O início da Segunda Guerra Mundial teve efeitos catastróficos na lógica polonesa. Estruturas entre instituições científicas foram destruídas e a perseguição aos judeus custou a vida a vários lógicos, filósofos e matemáticos. Tarski, que se sentia mais polonês do que judeu, não sabia da gravidade da situação e escapou por pouco do destino de muitos de seus colegas judeus. Em agosto de 1939, ele recebeu um convite para a conferência da Unidade da Ciência nos Estados Unidos e, firmemente convencido de que só ficaria fora por duas semanas, deixou sua esposa e filhos em Varsóvia e deixou a Polônia no último navio antes que não houvesse nenhuma rota deu mais para sair do país. A lógica Janina Hosiasson-Lindenbaum (1899–1942) queria participar da mesma conferência e pegar o próximo navio para a América do Norte, mas o visto foi recusado. Ela e o marido, Adolf Lindenbaum, foram assassinados no gueto de Vilnius em 1941 . A esposa e os filhos de Tarski sobreviveram à guerra na Polônia, mas vários outros parentes perderam a vida no Holocausto . Depois da guerra, Tarski ficou na Califórnia, reuniu-se com sua família e construiu uma escola de lógica em Berkeley.

Tarski 1968

Realizações científicas

Já em 1930, Tarski desenvolveu uma fórmula que quase correspondia à frase de incompletude de Kurt Gödel de 1931.

Seu trabalho incluiu novas abordagens no tratamento de problemas de decisão, a axiomatização da álgebra e geometria e a algebraização da lógica e da metamatemática . Seu trabalho On the Concept of Logical Conclusion (1935) estabeleceu a teoria do modelo ; a definição da conclusão aí dada é indiscutível na matemática de hoje e serve de base para a definição da lógica matemática . Filosoficamente, a concepção de verdade de Tarski foi particularmente influente (cf. teoria semântica da verdade ). Em particular, sua concepção da verdade influenciou o filósofo americano Donald Davidson .

Honras

As Tarski Lectures na University of California, Berkeley são realizadas em sua homenagem e também são um importante prêmio para lógicos matemáticos.

Em 1954 deu uma palestra plenária no Congresso Internacional de Matemática (ICM) em Amsterdã ( Matemática e Metamatemática ), em 1962 foi palestrante convidado no ICM em Estocolmo ( Indecidibilidade da teoria elementar de semigrupos comutativos ) e em 1950 em Cambridge (Massachusetts) ( Algumas noções e métodos na fronteira da álgebra e metamatemática ).

Associações

Tarski foi eleito para a Academia Americana de Artes e Ciências em 1948, a Academia Nacional de Ciências em 1965 e a Academia Britânica em 1966 .

honras e prêmios

• Homônimo do asteróide (13672) Tarski de 2000

Uma variedade de frases e termos matemáticos são nomeados em sua homenagem.

Veja também

• Paradoxo de Banach-Tarski
• Grupo Tarski
• Finitude Tarski

Trabalho

• O conceito de verdade nas linguagens formalizadas . In: Studia Philosophica . [Lemberg] 1 (1936), pp. 261–405 (pré-impressão datada de 1935). O artigo é uma tradução alemã da obra polonesa impressa pela primeira vez em 1933, mas apresentada ao público já em 1931. Reimpressão em Karel Berka, Lothar Kreiser (ed.): Textos lógicos. Seleção comentada sobre a história da lógica moderna . Akademie-Verlag, Berlin 1983, pp. 445-546, em inglês em Tarski: Logic, Semantics and Metamathematics - artigos de 1923 a 1938 de Alfred Tarski. Oxford 1956,1983.
• Sobre o conceito de inferência lógica. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. vol. VII: Logique . Hermann, Paris 1936, pp. 1-11.
• Fundação da semântica científica. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. vol. III: Linguagem e pseudo-probèmes. Hermann, Paris 1936, pp. 1-8.
• A concepção semântica da verdade e os fundamentos da semântica . In: Philosophy and Phenomenological Research. IV, 3 (1944), pp. 341-375. (Exercícios em alemão em: Gunnar Skirbekk (Hrsg.): Teorias da verdade . Uma seleção das discussões sobre a verdade no século XX. Frankfurt am Main 1977, pp. 140-188.)
• Introdução à lógica matemática e à metodologia da matemática . Springer, Viena 1937.
• Introdução à Lógica Matemática . traduzido por Erhard Scheibe (com acréscimos do autor nas edições em inglês e francês) 2., revisado. Edição. Vandenhoeck & Ruprecht, Göttingen 1966. (= Matemática moderna na representação elementar. 5.) (5. Edição 1977, ISBN 3-525-40540-5 . (Com o apêndice "Verdade e Prova"))
• com Andrzej Mostowski e Raphael M. Robinson : teorias indecidíveis . North-Holland Publ., Amsterdam 1953. (= Estudos em lógica e os fundamentos da matemática.)
• Steven R. Givant, RN McKenzie (Ed.): Collected Papers. 4 volumes, Birkhäuser, Basel / Boston 1986, ISBN 3-7643-3284-0 .

literatura

• Jürgen Alex: Sobre a origem do computador - De Alfred Tarski a Konrad Zuse - Sobre a influência das proposições elementares da lógica matemática em Alfred Tarski no desenvolvimento dos três conceitos computacionais de Konrad Zuse - Tertium non datur . VDI-Verlag, Düsseldorf 2007, ISBN 978-3-18-150051-4 .
• Anita Burdman Feferman, Solomon Feferman : Alfred Tarski. Vida e lógica . Cambridge University Press, Cambridge et al. 2004, ISBN 0-521-80240-7 .
• Steven Givant: Unificando tópicos no trabalho de Alfred Tarski . In: Mathematical Intelligencer . 1999, No. 1.
• Steven Givant: Bibliografia de Alfred Tarski . In: The Journal of Symbolic Logic . 51/4, 1986, pp. 913-941.
• Reinhard Kamitz (filósofo) : Alfred Tarski: A concepção semântica da verdade. , em: Josef Speck (Ed.): Filosofia da Idade Moderna. VI. Tarski, Reichenbach, Kraft, Gödel, Neurath. - Göttingen, Vandenhoeck & Ruprecht 1992 (UTB; 1654), ISBN 3-525-03319-2 , pp. 9-66.

Links da web

• Literatura de e sobre Alfred Tarski no catálogo da Biblioteca Nacional Alemã
• Mario Gómez-Torrente:  Entrada em Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .Modelo: SEP / Manutenção / Parâmetro 1 e Parâmetro 3 e não Parâmetro 2
• Wilfrid Hodges:  Tarski's Truth Definitions. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .
• John J. O'Connor, Edmund F. Robertson :  Alfred Tarski. In: Arquivo MacTutor History of Mathematics .

Evidência individual

1. ↑ De acordo com Anita Burdman Feferman, Solomon Feferman Alfred Tarski - Life and Logic , Cambridge University Press, 2004, p. 37, ambas as formas de nome podem ser encontradas nos arquivos de Varsóvia (Tajtelbaum é a grafia polonesa, Teitelbaum o alemão com a mesma pronúncia ) Suas primeiras publicações foram sob o nome de Tajtelbaum. "Tajtelbaum" significa iídiche para "tamareira, tamareira".
2. ↑ Publicação: O wyrazie pierwotnym logistyki. In: Przeglad Filozoficzny 26 (1923), pp. 68-89; inglaterra Traduzido em: Lógica, Semântica, Metamatemática . Papers from 1923 to 1938, Clarendon, Oxford 1956, 2. A. Hackett, Indianapolis 1983, pp. 1-23. Também em: Sobre o termo primitivo de logística. In: Jan TJ Srzednicki, Zbigniew Stachniak (ed.): Prototético dos sistemas de Leśniewski. Kluwer, Dordrect 1998, pp. 43-68.
3. ↑ Lá, em uma decisão polêmica, Leon Chwistek recebeu a presidência
4. ↑ Livro dos Membros 1780 - presente, Capítulo T. (PDF; 432 kB) In: amacad.org. American Academy of Arts and Sciences , acessado em 6 de março de 2018 . 
5. ^ Companheiros: Alfred Tarski. British Academy, acessado em 5 de agosto de 2020 . 
6. ↑ cf. en: Lista de coisas com o nome de Alfred Tarski
7. ^ Informações bibliográficas reproduzidas em Tarski: Logic, Semantics and Metamathematics. Oxford, 1956. Apresentado pela primeira vez à Sociedade Científica de Varsóvia por Lukasiewicz em 21 de março de 1931, e depois à Academia de Ciências de Viena em 21 de janeiro de 1932; a impressão atrasou.