Talk given at Online International Workshop on Gödel's Incompleteness Theorems , School of Philosophy, Wuhan University, August 16-20, 2021. Subscribe to Logic, Philosophy and Gödel . Evan Patterson on Categorical Logic 19:52 Statistical models. See his PhD thesis: The algebra and machine representation of statistical models : This dissertation takes steps toward digitizing and systematizing two major artefacts of data science, statistical models and data analyses. Using tools from algebra, particularly categorical logic, a precise analogy is drawn between models in statistics and logic, enabling statistical models to be seen as models of theories, in the logical sense. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with morphisms that formalize the relations between different statistical methods. Turning from mathematics to engineering, a software system for creating machine representations of data anal...