lfred Tarski
De Wikipedia, la enciclopedia libre
Ir a navegaci�nSaltar a buscar
Alfred Tarski
[Link]
Nacido Alfred Teitelbaum
14 de enero de 1901
Varsovia , Congreso Polonia
Muri� 26 de octubre de 1983 (82 a�os)
Berkeley, California , Estados Unidos
Nacionalidad Polaco
americano
Ciudadan�a Polaco
americano
Educaci�n Universidad de Varsovia (Ph.D., 1924)
Conocido por
Trabajar sobre los fundamentos de la l�gica moderna
Teor�a sem�ntica de la verdad ( Convenci�n T )
Teorema de indefinibilidad de Tarski
Desarrollo de la teor�a de modelos
L�gica de relaciones
Paradoja de Banach-Tarski
Universos al estilo Tarski
Axiomas de Tarski
Grupo de monstruos Tarski
Dualidad J�nsson-Tarski
Carrera cient�fica
Campos Matem�ticas , l�gica , lenguaje formal
Instituciones
Universidad de Varsovia (1925-1939)
Universidad de California, Berkeley (1942-1983)
Tesis O wyrazie pierwotnym logistyki (Sobre el t�rmino primitivo de la log�stica)
(1924)
Asesor de doctorado Stanislaw Lesniewski
Estudiantes de doctorado
Solomon Feferman
Haim Gaifman
Bjarni J�nsson
Howard Jerome Keisler
Roger Maddux
Richard Montague
Anne C. Morel
Andrzej Mostowski
Julia Robinson
Wanda Szmielew
Robert Vaught
Otros estudiantes notables Evert Willem Beth
Influencias Charles Sanders Peirce
Influenciado
Kenneth Arrow
Rudolf Carnap
John Corcoran
Donald Davidson
Erich Leo Lehmann
Karl Popper
Willard Van Orman Quine
Patrick Suppes
Alfred Tarski ( / t ?r s k i / ; enero 14, 1901 a octubre 26, 1983 ), nacido Alfred
Teitelbaum , [1] [2] [3] fue un polaco-American [4] l�gico y matem�tico . [5] Un
autor prol�fico mejor conocido por su trabajo en teor�a de modelos ,
metamatem�ticas y l�gica algebraica , tambi�n contribuy� al �lgebra abstracta ,
topolog�a , geometr�a , teor�a de la medida , l�gica matem�tica., teor�a de
conjuntos y filosof�a anal�tica .
Educado en Polonia en la Universidad de Varsovia y miembro de la escuela de l�gica
Lw�w-Varsovia y de la escuela de matem�ticas de Varsovia , emigr� a los Estados
Unidos en 1939, donde se naturaliz� en 1945. Tarski ense�� e investig� en
matem�ticas en la Universidad de California, Berkeley , desde 1942 hasta su muerte
en 1983. [6]
Sus bi�grafos Anita Burdman Feferman y Solomon Feferman afirman que, "junto con su
contempor�neo, Kurt G�del , cambi� el rostro de la l�gica en el siglo XX,
especialmente a trav�s de su trabajo sobre el concepto de verdad y la teor�a de
modelos". [7]
Contenido
1 Vida
2 Matem�tico
3 L�gico
4 Verdad en lenguajes formalizados
5 Consecuencia l�gica
6 Trabaja en nociones l�gicas
7 Trabajos
8 Ver tambi�n
9 Referencias
10 Otras lecturas
11 enlaces externos
Vida
Alfred Tarski naci� Alfred Teitelbaum ( ortograf�a polaca : "Tajtelbaum"), de
padres que eran jud�os polacos en circunstancias c�modas. Primero manifest� sus
habilidades matem�ticas mientras estaba en la escuela secundaria, en Szkola
Mazowiecka de Varsovia . [8] Sin embargo, ingres� en la Universidad de Varsovia en
1918 con la intenci�n de estudiar biolog�a . [9]
Despu�s de que Polonia recuper� su independencia en 1918, la Universidad de
Varsovia qued� bajo el liderazgo de Jan Lukasiewicz , Stanislaw Lesniewski y Waclaw
Sierpinski y r�pidamente se convirti� en una instituci�n de investigaci�n l�der en
el mundo en l�gica, matem�ticas fundamentales y filosof�a de las matem�ticas.
Lesniewski reconoci� el potencial de Tarski como matem�tico y lo anim� a abandonar
la biolog�a. [9] A partir de entonces, Tarski asisti� a cursos impartidos por
Lukasiewicz, Sierpinski, Stefan Mazurkiewicz y Tadeusz Kotarbinski , y en 1924 se
convirti� en la �nica persona en completar un doctorado bajo la supervisi�n de
Lesniewski. Su tesis se titul� O wyrazie pierwotnym logistyki (Sobre el t�rmino
primitivo de la log�stica ; publicado en 1923). Tarski y Lesniewski pronto se
volvieron tranquilos el uno con el otro. Sin embargo, en la vida posterior, Tarski
reserv� sus m�s c�lidos elogios para Kotarbinski , que fue correspondido.
En 1923, Alfred Teitelbaum y su hermano Waclaw cambiaron su apellido a "Tarski".
Los hermanos Tarski tambi�n se convirtieron al catolicismo romano , la religi�n
dominante de Polonia. Alfred lo hizo a pesar de que era un ateo declarado . [10]
[11]
Despu�s de convertirse en la persona m�s joven en completar un doctorado en la
Universidad de Varsovia, Tarski ense�� l�gica en el Instituto Pedag�gico Polaco,
matem�ticas y l�gica en la Universidad, y se desempe�� como asistente de
Lukasiewicz. Debido a que estos puestos estaban mal pagados, Tarski tambi�n ense��
matem�ticas en una escuela secundaria de Varsovia; [12] antes de la Segunda Guerra
Mundial, no era raro que los intelectuales europeos de calibre investigador
ense�aran en la escuela secundaria. Por lo tanto, entre 1923 y su partida a los
Estados Unidos en 1939, Tarski no solo escribi� varios libros de texto y muchos
art�culos, algunos de ellos innovadores, sino que tambi�n lo hizo mientras se
apoyaba principalmente en la ense�anza de matem�ticas en la escuela secundaria. En
1929, Tarski se cas� con la profesora Maria Witkowska, una polaca de origen
cat�lico. Ella hab�a trabajado como mensajero para el ej�rcito en elGuerra polaco-
sovi�tica . Tuvieron dos hijos; un hijo, Jan, que se convirti� en f�sico, y una
hija, Ina, que se cas� con el matem�tico Andrzej Ehrenfeucht . [13]
Tarski solicit� una c�tedra de filosof�a en la Universidad de Lw�w , pero por
recomendaci�n de Bertrand Russell fue otorgada a Leon Chwistek . [14] En 1930,
Tarski visit� la Universidad de Viena , dio una conferencia en el coloquio de Karl
Menger y conoci� a Kurt G�del . Gracias a una beca, pudo regresar a Viena durante
la primera mitad de 1935 para trabajar con el grupo de investigaci�n de Menger.
Desde Viena viaj� a Par�s para presentar sus ideas sobre la verdad en la primera
reuni�n del movimiento Unity of Science , una consecuencia del C�rculo de Viena .
En 1937, Tarski solicit� una c�tedra en la Universidad de Poznanpero la silla fue
abolida. [15] Los v�nculos de Tarski con el movimiento Unity of Science
probablemente le salvaron la vida, porque resultaron en que lo invitaran a hablar
en el Congreso Unity of Science celebrado en septiembre de 1939 en la Universidad
de Harvard . As� sali� de Polonia en agosto de 1939, en el �ltimo barco que zarp�
de Polonia hacia los Estados Unidos antes de la invasi�n alemana y sovi�tica de
Polonia y el estallido de la Segunda Guerra Mundial . Tarski se fue de mala gana,
porque Lesniewski hab�a muerto unos meses antes, creando una vacante que Tarski
esperaba llenar. Ajeno a los nazisamenaza, dej� a su esposa e hijos en Varsovia. No
volvi� a verlos hasta 1946. Durante la guerra, casi toda su extensa familia jud�a
fue asesinada a manos de las autoridades de ocupaci�n alemanas.
Una vez en los Estados Unidos, Tarski ocup� varios puestos temporales de docencia e
investigaci�n: Harvard University (1939), City College of New York (1940), y
gracias a una beca Guggenheim , el Institute for Advanced Study en Princeton
(1942), donde volvi� a encontrar a G�del. En 1942, Tarski se uni� al Departamento
de Matem�ticas de la Universidad de California, Berkeley , donde pas� el resto de
su carrera. Tarski se convirti� en ciudadano estadounidense en 1945. [16] Aunque
em�rito desde 1968, ense�� hasta 1973 y supervis� el doctorado. candidatos hasta su
muerte. [17] En Berkeley, Tarski adquiri� una reputaci�n como un maestro asombroso
y exigente, un hecho observado por muchos observadores:
Sus seminarios en Berkeley r�pidamente se hicieron famosos en el mundo de la l�gica
matem�tica. Sus estudiantes, muchos de los cuales se convirtieron en matem�ticos
distinguidos, notaron la asombrosa energ�a con la que �l los persuad�a y engatusaba
para sacarles el mejor trabajo, exigiendo siempre los m�s altos est�ndares de
claridad y precisi�n. [18]
Tarski era extrovertido, ingenioso, de voluntad fuerte, en�rgico y de lengua
afilada. Prefer�a que su investigaci�n fuera colaborativa, a veces trabajando toda
la noche con un colega, y era muy meticuloso con la prioridad. [19]
Un l�der y maestro carism�tico, conocido por su estilo expositivo brillantemente
preciso pero lleno de suspenso, Tarski ten�a est�ndares intimidantemente altos para
los estudiantes, pero al mismo tiempo pod�a ser muy alentador, y particularmente
para las mujeres, en contraste con la tendencia general. Algunos estudiantes se
asustaron, pero qued� un c�rculo de disc�pulos, muchos de los cuales se
convirtieron en l�deres de renombre mundial en el campo. [20]
Biblioteca de la Universidad de Varsovia , con estatuas (encima de columnas, frente
a la entrada) de los fil�sofos de la escuela Lw�w-Warsaw Kazimierz Twardowski , Jan
Lukasiewicz , Alfred Tarski, Stanislaw Lesniewski
Tarski supervis� veinticuatro Ph.D. disertaciones que incluyen (en orden
cronol�gico) las de Andrzej Mostowski , Bjarni J�nsson , Julia Robinson , Robert
Vaught , Solomon Feferman , Richard Montague , James Donald Monk, Haim Gaifman ,
Donald Pigozzi y Roger Maddux , as� como Chen Chung Chang y Jerome Keisler ,
autores de Model Theory (1973), [21] un texto cl�sico en el campo. [22] [23]
Tambi�n influy� fuertemente en las disertaciones de Alfred Lindenbaum, Dana Scotty
Steven Givant. Cinco de los estudiantes de Tarski eran mujeres, un hecho notable
dado que los hombres representaban una abrumadora mayor�a de estudiantes graduados
en ese momento. [23] Sin embargo, tuvo aventuras extramatrimoniales con al menos
dos de estos estudiantes. Despu�s de mostrarle otro trabajo de sus alumnas a un
colega, el colega lo public� �l mismo, lo que la llev� a dejar el posgrado y luego
mudarse a una universidad diferente y un asesor diferente. [24]
Tarski dio una conferencia en el University College de Londres (1950, 1966), el
Institut Henri Poincar� en Par�s (1955), el Instituto Miller de Investigaci�n
B�sica en Ciencias en Berkeley (1958-60), la Universidad de California en Los
�ngeles (1967), y la Pontificia Universidad Cat�lica de Chile (1974�75). Entre las
muchas distinciones obtenidas a lo largo de su carrera, Tarski fue elegido miembro
de la Academia Nacional de Ciencias de los Estados Unidos , la Academia Brit�nica y
la Academia Real de Artes y Ciencias de los Pa�ses Bajos en 1958, [25] recibi�
t�tulos honor�ficosde la Pontificia Universidad Cat�lica de Chile en 1975, de la
Universidad Paul C�zanne de Marsella en 1977 y de la Universidad de Calgary , as�
como de la Berkeley Citation en 1981. Tarski presidi� la Association for Symbolic
Logic , 1944-1946, y la International Uni�n por la Historia y la Filosof�a de la
Ciencia, 1956�57. Tambi�n fue editor honorario de Algebra Universalis . [26]
Matem�tico
Los intereses matem�ticos de Tarski eran excepcionalmente amplios. La recopilaci�n
de sus art�culos tiene unas 2.500 p�ginas, la mayor�a de ellas sobre matem�ticas,
no sobre l�gica. Para un resumen conciso de los logros matem�ticos y l�gicos de
Tarski por su ex alumno Solomon Feferman, vea "Interludios I-VI" en Feferman y
Feferman. [27]
El primer art�culo de Tarski, publicado cuando ten�a 19 a�os, fue sobre la teor�a
de conjuntos [ cita requerida ] , un tema al que volvi� a lo largo de su vida. En
1924, �l y Stefan Banach demostraron que, si uno acepta el axioma de elecci�n , una
bola se puede cortar en un n�mero finito de piezas y luego volver a ensamblar en
una bola de mayor tama�o, o alternativamente se puede volver a ensamblar en dos
bolas cuyo cada tama�o es igual al original. Este resultado ahora se llama la
paradoja de Banach-Tarski .
En Un m�todo de decisi�n para �lgebra y geometr�a elementales , Tarski mostr�,
mediante el m�todo de eliminaci�n de cuantificadores , que la teor�a de primer
orden de los n�meros reales bajo suma y multiplicaci�n es decidible . (Si bien este
resultado apareci� solo en 1948, se remonta a 1930 y fue mencionado en Tarski
(1931)). Este es un resultado muy curioso, porque Alonzo Church demostr� en 1936
que la aritm�tica de Peano (la teor�a de los n�meros naturales ) no es decidible .
La aritm�tica de Peano tambi�n est� incompleta por el teorema de incompletitud de
G�del . En sus teor�as indecidibles de 1953, Tarski y col. mostr� que muchos
sistemas matem�ticos, incluida la teor�a de la red , la geometr�a proyectiva
abstracta y las �lgebras de cierre , son indecidibles. La teor�a de los grupos
abelianos es decidible, pero la de los grupos no abelianos no lo es.
En las d�cadas de 1920 y 1930, Tarski sol�a ense�ar geometr�a en la escuela
secundaria . Usando algunas ideas de Mario Pieri , en 1926 Tarski ide� una
axiomatizaci�n original para la geometr�a euclidiana plana , una considerablemente
m�s concisa que la de Hilbert . Los axiomas de Tarski forman una teor�a de primer
orden desprovista de teor�a de conjuntos, cuyos individuos son puntos y que tienen
s�lo dos relaciones primitivas . En 1930, demostr� que esta teor�a era decidible
porque se puede mapear en otra teor�a que ya hab�a demostrado ser decidible, a
saber, su teor�a de primer orden de los n�meros reales.
En 1929 mostr� que gran parte de la geometr�a s�lida euclidiana podr�a reformularse
como una teor�a de primer orden cuyos individuos son esferas (una noci�n
primitiva ), una sola relaci�n binaria primitiva "est� contenida en" y dos axiomas
que, entre otras cosas, implican esa contenci�n ordena parcialmente las esferas.
Relajar el requisito de que todos los individuos sean esferas produce una
formalizaci�n de la mereolog�a mucho m�s f�cil de exponer que la variante de
Lesniewski . Cerca del final de su vida, Tarski escribi� una carta muy larga,
publicada como Tarski y Givant (1999), resumiendo su trabajo sobre geometr�a.
Cardinal Algebras estudi� �lgebras cuyos modelos incluyen la aritm�tica de n�meros
cardinales . Ordinal Algebras establece un �lgebra para la teor�a aditiva de tipos
de orden . La suma cardinal, pero no ordinal, conmuta.
En 1941, Tarski public� un importante art�culo sobre relaciones binarias , que
inici� el trabajo sobre �lgebra de relaciones y sus metamatem�ticas que ocuparon a
Tarski y sus estudiantes durante gran parte del resto de su vida. Si bien esa
exploraci�n (y el trabajo estrechamente relacionado de Roger Lyndon ) descubri�
algunas limitaciones importantes del �lgebra de relaciones, Tarski tambi�n mostr�
(Tarski y Givant 1987) que el �lgebra de relaciones puede expresar la mayor�a de la
teor�a axiom�tica de conjuntos y la aritm�tica de Peano . Para una introducci�n al
�lgebra de relaciones , vea Maddux (2006). A finales de la d�cada de 1940, Tarski y
sus estudiantes idearon �lgebras cil�ndricas , que son de l�gica de primer [Link]
que es el �lgebra booleana de dos elementos para la l�gica oracional cl�sica . Este
trabajo culmin� con las dos monograf�as de Tarski, Henkin y Monk (1971, 1985).
L�gico
El alumno de Tarski, Vaught, ha clasificado a Tarski como uno de los cuatro mejores
l�gicos de todos los tiempos, junto con Arist�teles, Gottlob Frege y Kurt G�del.
[7] [28] [29] Sin embargo, Tarski a menudo expres� una gran admiraci�n por Charles
Sanders Peirce , particularmente por su trabajo pionero en la l�gica de las
relaciones .
Tarski produjo axiomas de consecuencia l�gica y trabaj� en sistemas deductivos , el
�lgebra de la l�gica y la teor�a de la definibilidad. Sus m�todos sem�nticos, que
culminaron en la teor�a del modelo que �l y varios de sus estudiantes de Berkeley
desarrollaron en las d�cadas de 1950 y 1960, transformaron radicalmente las
metamatem�ticas de la teor�a de la prueba de Hilbert.
