Alfred Tarski

Alfred Tarski
	; (1968)
Biografía
Nacemento	(pl) Alfred Tajtelbaum ; 14 de xaneiro de 1901 ; Varsovia (Reino do Congreso)
Morte	26 de outubro de 1983 (82 anos); Berkeley, Estados Unidos de América
Lugar de sepultura	Berkeley
Presidente Association for Symbolic Logic (en)
	1944 – 1946 ; ← Cooper Harold Langford (pt) – Ernest Nagel →
Datos persoais
Relixión	Catolicismo e ateo
Educación	Universidade de Varsovia (1918–1924); Szkoła Mazowiecka (en) (1915–1918)
Tese académica	O wyrazie pierwotnym logistyki (en) (1924 )
Director de tese	Stanisław Leśniewski
Actividade
Campo de traballo	Lóxica, teoria dos modelos (pt) e matemáticas
Ocupación	matemático, filósofo
Empregador	Universidade de California, Berkeley (1942–1973) ; Institute for Advanced Study (1941–1942) ; City College de Nova York (1940–1940) ; Universidade Harvard (1939–1941) ; Zeromski's Lycée (en) (1925–1939) ; Universidade de Varsovia (1924–1939)
Membro de	Academia Naciona de Ciencias dos Estados Unidos (1965–); International Union of History and Philosophy of Science (en) ; Real Academia de Artes e Ciencias dos Países Baixos ; Academia das Artes e das Ciencias dos Estados Unidos ; Association for Symbolic Logic (en)
Profesores	Jan Łukasiewicz
Alumnos	Jan Kalicki (en)
Influencias	Charles Sanders Peirce
Obra
	Obras destacables Łoś–Tarski preservation theorem (en) ; Problema círculo-quadrado de Tarski (pt) ; axiomas de Tarski; grupo de Tarski (pt) ; problema da função exponencial de Tarski (pt) ; algoritmo de Tarski–Kuratowski (pt) ; Tarski's high school algebra problem (en) ; álgebra de Jónsson–Tarski (pt) ; Teoria semântica da verdade (pt) ; Tarski's plank problem (en) ; teorema de Tarski (pt) ; Teorema de Knaster–Tarski (pt) ; álgebra de Lindenbaum–Tarski (pt) ; Teorema da indefinibilidade de Tarski (pt) ; Tarski–Seidenberg theorem (en) ; (1924) paradoxo de Banach–Tarski (pt) ; (1936) axiomatização dos reais de Tarski (pt) ;
Doutorando	Solomon Feferman (pt) , Haim Gaifman (en) , Bjarni Jónsson (pt) , Howard Jerome Keisler (pt) , Roger Maddux (pt) , Richard Montague (pt) , Andrzej Mostowski, Julia Robinson, Robert Lawson Vaught, George McNulty (en) , James Donald Monk (en) , Frederick Burtis Thompson (en) , Wanda Szmielew, Leonard Gillman, Anne C. Morel (en) , Don Pigozzi (en) , Edgar C. Smith, Jr. (en) , John Elliott Doner (en) , Louise Hoy Chin Lim (en) , Robert Earl Bradford (en) , Haragauri Narayan Gupta (en) , Judith (Kan) Ching Ng (en) , Charles Fontaine Martin (en) , William Porter Hanf (en) , Benjamin Franklin Wells, III (en) e Chen Chung Chang (pt)
Arquivos en	Bancroft Library (en) BANC MSS 84/69 c ;
Premios
	(1941, 1942, 1955) Bolsa de estudos Guggenheim ;
Descrito pola fonte	Obálky knih, ; Enciclopedia soviética armenia, volume 11, (p.619); Grande Enciclopedia Soviética 1969-1978, (vol:25, p.280)

Alfred Tarski (Varsovia, entón Imperio ruso, hoxe Polonia, 14 de xaneiro - Berkeley, Estados Unidos, 26 de outubro ) foi un lóxico, matemático e filósofo polaco. Emigrou aos Estados Unidos en 1939, onde se converteu en cidadán naturalizado en 1945 e foi profesor de matemáticas na Universidade de California en Berkeley desde 1942 ata a súa morte. ^[1]

Escribiu, entre outras áreas, sobre topoloxía, xeometría, teoría da medida, axiomatización de álxebra e xeometría, fundamentos da semántica, lóxica matemática, teoría de conxuntos, metamatemáticas e, especialmente, sobre teoría dos modelos, teoría semántica da verdade, álxebra abstracta e lóxica alxébrica. A súa obra ten unha gran relevancia filosófica. Está considerado un dos maiores lóxicos da historia, xunto con Aristóteles, Frege e Kurt Gödel. Tarski describiuse a si mesmo como "un matemático (e tamén un lóxico e, quizais, dalgún xeito, un filósofo)". En filosofía, destaca especialmente polas súas caracterizacións matemáticas dos conceptos de verdade, constante lóxica e consecuencia lóxica para as oracións en linguaxes formalizadas clásicas. En matemáticas e filosofía, a súa fama débese principalmente aos seus impresionantes traballos sobre teoría de conxuntos, teoría dos modelos e álxebra, incluíndo resultados e desenvolvementos como o paradoxo de Banach-Tarski, a indefinibilidade do teorema da verdade, a integralidade e decidibilidade da álxebra e a xeometría elemental, e as nocións de álxebra cardinal, ordinal, relación e álxebra cilíndrica.

Notas

↑ Feferman, Anita Burdman (1999). "Alfred Tarski". American National Biography 21. pp. 330–332. ISBN 978-0-19-512800-0.

Véxase tamén

Bibliografía

Outros artigos

Conclusión (lóxica) .

Ligazóns externas

forall x: Calgary An Introduction to Formal Logic.

Este artigo sobre matemáticas é, polo de agora, só un bosquexo. Traballa nel para axudar a contribuír a que a Galipedia mellore e medre.
Existen igualmente outros artigos relacionados con este tema nos que tamén podes contribuír.

[1] Feferman, Anita Burdman (1999). "Alfred Tarski". American National Biography 21. pp. 330–332. ISBN 978-0-19-512800-0.

[1]

Biografía
(1968)
Nacemento	(pl) Alfred Tajtelbaum 14 de xaneiro de 1901 Varsovia (Reino do Congreso)
Morte	26 de outubro de 1983 (82 anos) Berkeley, Estados Unidos de América
Lugar de sepultura	Berkeley

Presidente Association for Symbolic Logic ^(en)
1944 – 1946 ← Cooper Harold Langford ^(pt) – Ernest Nagel →

Datos persoais
Relixión	Catolicismo e ateo
Educación	Universidade de Varsovia (1918–1924) Szkoła Mazowiecka ^(en) (1915–1918)
Tese académica	O wyrazie pierwotnym logistyki ^(en) (1924 )
Director de tese	Stanisław Leśniewski
Actividade
Campo de traballo	Lóxica, teoria dos modelos ^(pt) e matemáticas
Ocupación	matemático, filósofo
Empregador	Universidade de California, Berkeley (1942–1973) Institute for Advanced Study (1941–1942) City College de Nova York (1940–1940) Universidade Harvard (1939–1941) Zeromski's Lycée ^(en) (1925–1939) Universidade de Varsovia (1924–1939)
Membro de	Academia Naciona de Ciencias dos Estados Unidos (1965–) International Union of History and Philosophy of Science ^(en) Real Academia de Artes e Ciencias dos Países Baixos Academia das Artes e das Ciencias dos Estados Unidos Association for Symbolic Logic ^(en)
Profesores	Jan Łukasiewicz
Alumnos	Jan Kalicki ^(en)
Influencias	Charles Sanders Peirce
Obra
Obras destacables Łoś–Tarski preservation theorem ^(en) Problema círculo-quadrado de Tarski ^(pt) axiomas de Tarski grupo de Tarski ^(pt) problema da função exponencial de Tarski ^(pt) algoritmo de Tarski–Kuratowski ^(pt) Tarski's high school algebra problem ^(en) álgebra de Jónsson–Tarski ^(pt) Teoria semântica da verdade ^(pt) Tarski's plank problem ^(en) teorema de Tarski ^(pt) Teorema de Knaster–Tarski ^(pt) álgebra de Lindenbaum–Tarski ^(pt) Teorema da indefinibilidade de Tarski ^(pt) Tarski–Seidenberg theorem ^(en) (1924) paradoxo de Banach–Tarski ^(pt) (1936) axiomatização dos reais de Tarski ^(pt)
Doutorando	Solomon Feferman ^(pt) , Haim Gaifman ^(en) , Bjarni Jónsson ^(pt) , Howard Jerome Keisler ^(pt) , Roger Maddux ^(pt) , Richard Montague ^(pt) , Andrzej Mostowski, Julia Robinson, Robert Lawson Vaught, George McNulty ^(en) , James Donald Monk ^(en) , Frederick Burtis Thompson ^(en) , Wanda Szmielew, Leonard Gillman, Anne C. Morel ^(en) , Don Pigozzi ^(en) , Edgar C. Smith, Jr. ^(en) , John Elliott Doner ^(en) , Louise Hoy Chin Lim ^(en) , Robert Earl Bradford ^(en) , Haragauri Narayan Gupta ^(en) , Judith (Kan) Ching Ng ^(en) , Charles Fontaine Martin ^(en) , William Porter Hanf ^(en) , Benjamin Franklin Wells, III ^(en) e Chen Chung Chang ^(pt)
Arquivos en	Bancroft Library ^(en) BANC MSS 84/69 c
Premios
(1941, 1942, 1955) Bolsa de estudos Guggenheim

Descrito pola fonte	Obálky knih, Enciclopedia soviética armenia, volume 11, (p.619) Grande Enciclopedia Soviética 1969-1978, (vol:25, p.280)