Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

Viac o knihe

The paper explores the concept of methodological skepticism through the lens of Bayesian updating, demonstrating that the weakest coherent formal system, analyzed via ordinal methods, matches the strength of a system incorporating intuitionistic logic and finitist set theory. It highlights how this combined formal system is capable of constructing a linear bounded automaton, which effectively computes discrete Bayesian inference, bridging logic and computational theory.