Bookbot

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

En savoir plus sur le livre

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.

Achat du livre

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

Langue
Année de publication
2022
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer