Teoría de tipos

Teoría de tipos

En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría informal de conjuntos, o al estudio de tales formalismos en general. En la teoría de lenguajes de programación, una rama de las ciencias de la computación, la teoría de tipos puede referirse al diseño, análisis y estudio de los sistemas de tipos, aunque algunos científicos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.

Historia

Bertrand Russell inventó la primera teoría de tipos en respuesta a su descubrimiento donde la versión de Gottlob Frege de la teoría de conjuntos nativa es afectada por la paradoja de Russell. Este tipo de la teoría de tipos aparece primariamente en el Principia Mathematica de Whitehead y Russell. Esta teoría evita la paradoja de Russell creando una jerarquía de tipos, luego asignando cada entidad matemática a un tipo. Objetos de un tipo dado son creados exclusivamente por objetos de un tipo anterior (aquellos mas abajo en la jerarquía), por lo tanto evitando ciclos.


Alonzo Church, inventor del calculo lambda, desarrolló una lógica de orden superior comúnmente llamada Teoría de Tipos de Church, para evitar la paradoja de Kleen-Rosser afectando el calculo lambda puro original. La teoría de tipos de Church es una variante del calculo lambda en el cual las expresiones (también llamadas formulas o términos lambda) son clasificadas en tipos, y los tipos de expresiones restringen las maneras en que pueden ser combinadas. En otras palabras, es un cálculo lambda tipado. Hoy en día muchos otros cálculos están en uso, incluyendo la Intuisionistica teoría de tipos de Per Martin-Löf, el Sistema F de Jean-Yves Girard y el Cálculo de Construcciones. En el calculo lambda tipado, tipos juegan un papel similar al de los conjuntos en la teoría de conjuntos.


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Teoría de lenguajes de programación — Lambda en minúsculas. La teoría de lenguajes de programación es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multi… …   Wikipedia Español

  • Teoría de la computación — La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto… …   Wikipedia Español

  • Teoría de la decisión — La teoría de la decisión es una área interdisciplinaria de estudio, relacionada con casi todos los participantes en ramas de la ciencia, ingeniería principalmente la psicología del consumidor (basados en perspectivas cognitivo conductuales).… …   Wikipedia Español

  • Teoría del delito — Saltar a navegación, búsqueda La teoría del delito es un sistema de categorización por niveles, conformado por el estudio de los presupuestos jurídico penales de carácter general que deben concurrir para establecer la existencia de un delito, es… …   Wikipedia Español

  • Tipos de dinosaurios — Saltar a navegación, búsqueda Grupo de reptiles que apareció hace unos 230 millones de años (durante el triásico) y se extinguió hace unos 65 millones de años (a finales del cretácico). Se conocen por sus restos fósiles unas 350 especies… …   Wikipedia Español

  • Teoría del Caos — Saltar a navegación, búsqueda Diagrama de la trayectoria del sistema de Lorenz para los valores r = 28, σ = 10, b = 8/3 Teoría del caos es la denominación popular de la rama de las matemáticas y la física que trata… …   Wikipedia Español

  • Teoría Sociológica — Saltar a navegación, búsqueda Teoría sociológica proviene de la palabras griega, θεωρειν («observar»), y del prefijo latino socius («socio») y que significa «compañero, asociado», y del sufijo logia, del término del griego antiguo, λόγος (logos) …   Wikipedia Español

  • Tipos Psicológicos — Saltar a navegación, búsqueda Tipos Psicológicos es el título del sexto volumen de la Obra Completa de Carl Gustav Jung. La traducción directa del alemán al castellano de la Obra Completa está siendo elaborada por la Fundación Carl Gustav Jung de …   Wikipedia Español

  • Tipos psicológicos — (en alemán Psychologische Typen) es una obra de Carl Gustav Jung publicada inicialmente por Rascher Verlag, Zúrich, en 1921. Se corresponde al sexto volumen de su obra completa. En ella desarrolla sus ideas sobre la existencia de dos «actitudes»… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”