Lista de cosas que llevan el nombre de Alfred Tarski

En la historia de las matemáticas , Alfred Tarski (1901–1983) es uno de los lógicos más importantes . Su nombre está asociado hoy a una serie de teoremas y conceptos en ese campo.

Teoremas

• Teorema de preservación de Łoś-Tarski
• Teorema de Knaster-Tarski (a veces denominado teorema del punto fijo de Tarski)
• Teorema de indefinibilidad de Tarski
• Teorema de Tarski-Seidenberg
• Algunos teoremas de punto fijo , generalmente variantes del teorema de punto fijo de Kleene , se denominan principio de punto fijo de Tarski-Kantorovitch o teorema de Tarski-Kantorovitch, aunque el uso de esta terminología es limitado.
• Teorema de Tarski

Otros trabajos relacionados con las matemáticas

• Sistema de axiomas de Bernays-Tarski
• Paradoja de Banach-Tarski
• Álgebra de Lindenbaum-Tarski
• Lógica de Łukasiewicz-Tarski
• Dualidad Jónsson-Tarski
• Álgebra de Jónsson-Tarski
• Traducción de Gödel–McKinsey–Tarski
• La teoría semántica de la verdad a veces se denomina definición de verdad de Tarski o definiciones de verdad de Tarski.
• La axiomatización de los reales de Tarski
• Axiomas de Tarski para la geometría plana
• El problema del círculo cuadrado de Tarski
• Problema de la función exponencial de Tarski
• Teoría de conjuntos de Tarski-Grothendieck
• El problema de álgebra de la escuela secundaria de Tarski
• Algoritmo de Tarski-Kuratowski
• Grupo de monstruos de Tarski
• El problema de la plancha de Tarski
• Los problemas de Tarski para los grupos libres
• Prueba de Tarski-Vaught
• El mundo de Tarski

Otro

• 13672 Tarski , un asteroide del cinturón principal