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

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.