Historia de la estadística
En el siglo XX, las ideas de Laplace fueron desarrolladas posteriormente en dos direcciones, dando origen a las corrientes "objetivas" y "subjetivas" en la páctica bayesiana. En la corriente objetiva, el análisis estadístico depende solo del modelo asumido y el dato analizado. No hay necesidad de involucrar decisiones subjetivas. En contraste, los estadísticos “subjetivos” niegan la posibilidad de un análisis completamente objetivo en el caso general.
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 de conjuntos como fundamento de las matemáticas constructivas, 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 teóricos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.