]> 2026-08-20T08:51:15+00:00 Philosophy of mathematics 14 en Philosophy of mathematics Bayesian probability 0 en Bayesian probability Computer-assisted proof 0 en Computer-assisted proof Hume's principle 0 en Hume's principle Object of the mind 0 en Object of the mind Logical harmony 0 en Logical harmony Logicism 0 en Logicism Functional decomposition 0 en Functional decomposition Logic 0 en Logic Mutually exclusive events 0 en Mutually exclusive events Quasi-empirical method 0 en Quasi-empirical method Bayesian probability 0 en Bayesian probability Computer-assisted proof 0 en Computer-assisted proof Functional decomposition 0 en Functional decomposition Hume's principle 0 en Hume's principle Logic 0 en Logic Logical harmony 0 en Logical harmony Logicism 0 en Logicism Mutually exclusive events 0 en Mutually exclusive events Object of the mind 0 en Object of the mind Quasi-empirical method 0 en Quasi-empirical method INST 102 en INST