formas

formas


En geometría, la forma de un objeto físico situado en un espacio, es una descripción geométrica de la parte del espacio ocupado por el objeto, según lo determinado por su límite exteriory sin tener en cuenta su ubicación y orientación en el espacio, el tamaño, y otras propiedades como el color, el contenido y la composición del material. 1
Las formas simples se pueden describirmediante objetos básicos de geometría tales como un conjunto de dos o más puntos, líneas rectas, curvas, planos, figuras planas (por ejemplo, un cuadrado o un círculo), figuras sólidas (por ejemplo, elcubo o la esfera). La mayoría de las formas que se encuentran en el mundo real son complejas. Algunas formas son tan arbitrarias, como las estructuras de las plantas y las costas, que deben seranalizadas mediante la geometría diferencial o los fractales.

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 ingenua deconjuntos 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 Russellcreando 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 más abajo en lajerarquía), por lo tanto evitando ciclos.
Alonzo Church, inventor del cálculo lambda, desarrolló una lógica de orden superior comúnmente llamada Teoría de Tipos de Church, para evitar la paradoja deKleen-Rosser afectando el cálculo lambda puro original. La teoría de tipos de Church es una variante del cálculo lambda en el cual las expresiones (también llamadas fórmulas o términos lambda) son clasificadasen 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...