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 homotópica
Esto incluye, entre otras líneas de trabajo, la construcción de modelos homotópicos y en teorías de categorías de alto orden para las teorías de tipos intensionales; el uso de la teoría de tipos como lógica (o lenguaje interno) de la teoría de homotopía abstracta y teoría de categorías de orden superior; el desarrollo de matemáticas dentro de fundaciones basadas en teoría de tipos (incluyendo tanto matemática existente como la matemática nueva que los tipos homotópicos hacen posible); y la formalización de cada una de estas líneas en asistentes de demostración.