Alfred Tarski

Alfred Tarski
Alfred Tarski.jpeg
Información personal
Nacimiento 14 de enero de 1902
Flag of Poland.svg  Polonia, Varsovia
Fallecimiento 26 de octubre de 1983, 81 años
Flag of the United States.svg  Estados Unidos, Berkeley
Lugar de sepultura Berkeley Ver y modificar los datos en Wikidata
Nacionalidad polaco
Religión Catolicismo Ver y modificar los datos en Wikidata
Educación
Alma máter
Supervisor doctoral Stanislaw Leśniewski Ver y modificar los datos en Wikidata
Alumno de
Información profesional
Ocupación lógico, matemático, filósofo
Empleador
Estudiantes doctorales Solomon Feferman, Richard Montague y Julia Robinson Ver y modificar los datos en Wikidata
Estudiantes Julia Robinson Ver y modificar los datos en Wikidata
Miembro de
Distinciones
[ editar datos en Wikidata]

Alfred Tarski ( 14 de enero de 190226 de octubre de 1983) -originalmente Alfred Teitelbaum- ( 1902- 1983) fue un lógico, matemático y filósofo polaco.

Nació el 14 de enero de 1902 en la ciudad de Varsovia, Polonia, y murió el 26 de octubre de 1983 en Berkeley, Estados Unidos.

De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo. Formó parte de la importante escuela polaca de lógica y filosofía hasta 1939, en que se estableció en Estados Unidos de América; la emigración le salvó de la suerte de la mayor parte de su familia, que pereció bajo la ocupación nazi de Polonia. Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial. Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos. Fue el autor de Introducción a la lógica y a la metodología de las ciencias deductivas en el año 1941 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944.

Matemáticas

En 1924 Tarski y Stefan Banach demostraron que una bola —en sentido topológico— puede dividirse en un número finito de piezas y recomponerse en dos bolas con el mismo tamaño que la original. Este resultado se conoce como paradoja de Banach-Tarski, si bien no se trata de una paradoja, sino de una consecuencia no intuitiva del axioma de elección.

Tarski formuló una teoría de los números reales que es decidible. El interés de este resultado estriba en que la teoría de la adición y la multiplicación para números naturales, según demostraron Church y Gödel, no es decidible; por tanto, en la teoría completa de los números reales no puede establecerse si un número real es natural —esto sería contradictorio con los resultados de Gödel y Church—. Tarski formuló además una versión concisa de la geometría euclídea del plano que es decidible si lo es su teoría de los números reales. En su obra de 1953 Teorías indecidibles, escrita con Mostowski y Robinson, mostró que muchas teorías matemáticas, como la teoría de retículos, la geometría proyectiva abstracta y la teoría de grupos no conmutativos, no son decidibles.

En los años 40 Tarski comenzó a desarrollar junto a sus discípulos el álgebra relacional, en la que pueden expresarse tanto la teoría axiomática de conjuntos como la aritmética de Peano. También desarrolló junto a sus discípulos las álgebras cilíndricas, que son a la lógica de primer orden lo que el álgebra booleana a la lógica proposicional.

Other Languages
български: Алфред Тарски
català: Alfred Tarski
čeština: Alfred Tarski
Deutsch: Alfred Tarski
Ελληνικά: Άλφρεντ Τάρσκι
English: Alfred Tarski
Esperanto: Alfred Tarski
euskara: Alfred Tarski
français: Alfred Tarski
Bahasa Indonesia: Alfred Tarski
íslenska: Alfred Tarski
italiano: Alfred Tarski
latviešu: Alfrēds Tarskis
Nederlands: Alfred Tarski
Piemontèis: Alfred Tarski
português: Alfred Tarski
română: Alfred Tarski
slovenčina: Alfred Tarski
slovenščina: Alfred Tarski
српски / srpski: Алфред Тарски
svenska: Alfred Tarski
Türkçe: Alfred Tarski
українська: Альфред Тарський
Yorùbá: Alfred Tarski