Alfred Tarski

Filósofo y matemático estadounidense de origen polaco (Varsovia, 1902 - Berkeley, 1983).
Son importantes sus estudios en el campo de la investigación semántica y de la lógica matemática. Su concepción semántica de la verdad ha contribuido de forma decisiva a la axiomatización de los sistemas formales.

Obras destacadas

• Introducción a la lógica y a la metodología de las ciencias deductivas (1936).
• La concepción semántica de la verdad y los funalamentos de la semantica (1943-44).

Ver también

En el glosario: Lógica — Semántica.

En biografías: Adolf Fraenkel — Anatoly Maltsev — Andréi Kolmogórov — George Boole — Rudolf Carnap.

Listado completo de biografías

Apartados: ¿Cómo surge una idea? • ¿Existe la seguridad absoluta? • Consejos en la ergonomía informática • Consejos para aprender a programar • El auge de las redes sociales • En la búsqueda de archivos torrents • Entrevista laboral: cualquier cosa te llamamos • Estrategias para crear un sitio web profesional • Herramientas de respaldo y recuperación de archivos • Python, el lenguaje a aprender • Ten tu red WiFi segura • Una cursada diferente

---

Virus/gusanos: El origen de los virus • CIH • Happy99 • Hybris • ILoveYou • Life Stages • Melissa • Timofónica • ZippedFiles • Infecciones vía correo electrónico • Distintas vías de infección • Virus informáticos con historia

---

Historias: Acerca de paquetes ofimáticos • El CD • El MP3 • Evolución de la informática • Apple • Google • La evolución de los Disc Jockeys • Linux • La lógica • Microsoft • Navegadores de Internet • Redes neuronales artificiales • Surgimiento de la criptografía • Tarjetas gráficas

---

Videojuegos/consolas: Evolución de las consolas • Evolución de los videojuegos • Inventores de videojuegos • Jugando con la Xbox • SimCity