Sobre el estado del arte que estoy adelantando a la teoría de tipos, tengo todas estas preguntas relacionadas con la historia de los tipos.
- ¿De dónde vino la idea de tipo ? (Parece que todo comienza cuando Russell y Whitehead proponen una forma de evitar la contradicción que hoy conocemos como la paradoja de Russell, ¿estoy en lo cierto?)
- Antes de considerar el concepto de tipo, ¿había algo similar? (Tal vez un refinamiento de un conjunto, pero no encuentro una referencia distinta de Russell).
- ¿Quién fue la primera persona en ponerlo en términos formales? (¿Estaba Russell con este artículo de 1908 o?
type-theory
history
jonaprieto
fuente
fuente
Respuestas:
Depende de qué tan profundo quieras llegar. Creo que Russell fue el tipo que introdujo el concepto en un contexto específicamente teórico de conjuntos, pero el concepto en sí es tan antiguo como las colinas, es realmente la noción de universales y particulares expresados en una forma matemática / computacional moderna. No me sorprendería si Liebniz hiciera algo vagamente parecido a los tipos, si miras sus cosas de la manera correcta.
Es posible que tenga mejor suerte en el intercambio de Historia de las Matemáticas y las Ciencias.
fuente